ÿØÿàJFIFÿþ ÿÛC       ÿÛC ÿÀÿÄÿÄ"#QrÿÄÿÄ&1!A"2qQaáÿÚ ?Øy,æ/3JæÝ¹È߲؋5êXw²±ÉyˆR”¾I0ó2—PI¾IÌÚiMö¯–þrìN&"KgX:Šíµ•nTJnLK„…@!‰-ý ùúmë;ºgµŒ&ó±hw’¯Õ@”Ü— 9ñ-ë.²1<yà‚¹ïQÐU„ہ?.’¦èûbß±©Ö«Âw*VŒ) `$‰bØÔŸ’ëXÖ-ËTÜíGÚ3ð«g Ÿ§¯—Jx„–’U/ÂÅv_s(Hÿ@TñJÑãõçn­‚!ÈgfbÓc­:él[ðQe 9ÀPLbÃãCµm[5¿ç'ªjglå‡Ûí_§Úõl-;"PkÞÞÁQâ¼_Ñ^¢SŸx?"¸¦ùY騐ÒOÈ q’`~~ÚtËU¹CڒêV  I1Áß_ÿÙ ;Pc@sdZdZdZdfdYZdefdYZdefdYZd efd YZd efd YZd efdYZdefdYZ defdYZ defdYZ defdYZ defdYZ defdYZdefdYZdefdYZdefd YZd!efd"YZd#efd$YZd%efd&YZd'efd(YZd)fd*YZd+efd,YZd-fd.YZd/efd0YZd1efd2YZd3fd4YZd5efd6YZd7efd8YZd9efd:YZd;efd<YZd=e fd>YZ!d?e fd@YZ"dAe fdBYZ#dCfdDYZ$dEfdFYZ%dGfdHYZ&dIS(Js Contains some experimental set constructions. In the current state, not to be used by the faint-hearted. It is likely due for some major refactoring and has probably many bugs, it was a long time since I run the tests. You don't get any other documentation than this right now. icCsiyt|dSWnQtk rdt|trZddjg|D]}t|^q@St|SXdS(Ntbriefs(%s)t,(tgetattrtAttributeErrort isinstancettupletjointbriefstrtstr(txtxi((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRs  *t SpecFamilycBsGeZdZdZdZdZdZdZdZRS(cCs/||_|j|j|j|g8_dS(N(tspecmodt defrefiningtAnythingt disjoints(tselft unisetmodR ((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt__init__s cCs|j||S(N(tSet(Rtarg((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt__call__scCs?t|tr(|jjj||fS|jj||SdS(N(RR tmodtfam_Andt_constfamt _and_ATOM(Rtatb((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytc_and!scCs||jj}|jj}x?|jD]4}y|j||dWnq%X|j|q%W|jjj|jj |S(Nsselect contains( R t_static_test_envRt mutnodesettnodest test_containstaddt fam_IdentityRt immnodeset(RRRtenvtrestbi((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_and_ID(s cCs<|jj}y|j||dSWntk r7tSXdS(Ns Spec contains(R RR!t TestErrortFalse(RRRR%((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt c_contains5s   cCs4|j}t||kr0||d d}n|S(Nis...(Rtlen(RRtmax_lenR ((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt c_getlimstr<s cCsd|jjt|jfS(Ns<%s(%s)>(t __class__t__name__RR(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt c_get_briefBs( R0t __module__RRRR(R+R.R1(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR s      tArgNamesFamilycBs5eZdZdZdZdZdZRS(cGs|j||S(N(R(Rtargs((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRTscCsq|jjj}|j|\}}}|dk rG|jd|n|dk rg|jd|nt|S(Ns*%ss**%s(R t_roottinspecttgetargstNonetappendR(RtcodeR6R4tvarargstvarkw((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt getargnamesWs  cCs9y |j}|j||kSWntk r4tSXdS(N(t func_codeR=RR*(RtfR4R:((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt func_argnames`s   cCsFy-|j}|j}|j|d|kSWntk rAtSXdS(Ni(tim_funcR>R=RR*(RtmR4R?R:((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt meth_argnamesgs    csfd}fd}jjj}||p||pt||jr{t|dr{||jpt||jrt|dr||jpt||j rt|dr||jpt|do||jS(Ncsj|jS(N(R@R(R?(RR(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytptcsj|jS(N(RCR(RB(RR(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRDqRERR( RR5ttypesRt InstanceTypethasattrRt ClassTypeRtTypeType(RRR R@RCRF((RRsC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR+os   (R0R2RR=R@RCR+(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR3Ss    tAttributeFamilycBs&eZddZdZdZRS(cCsU|dkr|jj}n't||jjsB|j|}n|j||fS(N(R8R tanyRRtUniSettc_fromtspecotup(Rtnamettype((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRs  cCs1|j\}}|j||}|j||S(N(Rt gengetattrR!(RRRR%RPRQR ((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytc_test_containsscCsPd|jdf}|jddk rB|d|jdj}n |d}|S(NsiiRRE(RR8R(RRR ((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytc_get_brieflimstrs  N(R0R2R8RRSRT(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRKs  tAdaptupleFamilycBs#eZdZdZdZRS(cOs*tj||||jdddS(NtnewcSs |jdS(Ni(R(R ((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRDRE(R Rt add_export(RRtk((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRscCsF|jj|\}}|jj|}|j||f||fS(N(R t_exodoctsetcastt specoargtup(RtfuncRQtdoc((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRscCs[|j\}}t|trEy||}WqK|jdSXn|}|j||S(Nscalling func failed(RRRtfailed_exc_infoR!(RRRR%R\RQR ((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRSs(R0R2RRRS(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRUs  tCartesianProductFamilycBs5eZdZdZdZdZdZRS(cGs|j||S(N(R(RRF((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRscCs0|j}t|dkr#|dStddS(Niis*Domain is defined on binary relations only(RR,t TypeError(RRRF((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytc_domains cCsg}xht|jD]W\}}t|j|}|s`|jd|dd|s`gSn|j|qW|jjj j j |S(Nscartesian productsthe argument #%d( t enumerateRtlistt get_examplestfailed_coverageR8R9RR5tguppytetct iterpermute(RRR%texstitaitex((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytc_get_examplesscCs1d}x$|jD]}|t|j}qW|S(Ni(RR,(RRtlRk((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytc_lenscCs|j}t|}t|t|krS|jdt|t|fn:x3t||D]"\}}|j||sctSqcWtSdS(Ns*cprod of length %d: argument has length %d(RRR,tfailedtzipR!R*tTrue(RRRR%RFtbstt((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRSs  &(R0R2RRaRmRoRS(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR_s    tSequenceFamilycBs#eZdZdZdZRS(cCs |j|S(N(tspecoarg(RRQ((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRscCs.x'|D]}|jj||stSqWtS(N(RR!R*Rr(RRRR%R ((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRSs ccsSxLt|jD];}x2|j|jj|jg|D] }|Vq<WqWdS(N(trangetmax_sequence_examples_lengthRdR tcprodR(RRR%RjR ((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRms,(R0R2RRSRm(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRus  t MappingFamilycBs5eZdZdZdZdZdZRS(cs0tj||jdfddS(NtarrowcsfdS(Ncsj|S(N(tc_arrow(R?(RR (sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRDRE((R (R(R sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRDRE(R RRW(RRRX((RsC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRscCs"|j\}}}t|||S(N(RtArrow(RRR?ttfttstret((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR|sc Gsg}g}d}d}|jj}xq|t|kr||}t|tr`|dkr|d7}|t|dkstdn|||}q|jdr|d7}|||}|jd|d t|f|j|q|dkrP|d7}|||}|jd t||j|jj |qtd |n*|jd t||j|||d7}q'Wd d j |d} t | } |jj |}|dkr|jj }n|j|| ||fS(Nis->is<The '->' specifier must be next to last in the argument listt=s %s=%args[%d]it*s *args[%d]sInvalid argument specifier: %rsargs[%d]slambda f: lambda *args: f(Rt)(R8R RZR,RRt SyntaxErrortendswithR9tsequenceRtevalRyRR( RR4Rtas_RRjRZRkRttfnR?((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRsF      !     cs@|j\}|fd}|j||S(NcsDy|}Wn n$Xdk r<|j|dStSdS(NsMapping Return Type(R8R!Rr(R%R4tr(R?R(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytgs (Rtforall(RRR\R%RR((R?RsC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRSs  cs;|j\}}}g|j|D]fd^q"S(NcsS(N((R4tkwds(R (sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD/RE(RRd(RRR%R?RR((R sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRm,s(R0R2RR|RRSRm(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRzs    ) tPredicateFamilycBseZdZdZRS(cCs|j|||fS(N(R(RRR]((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR3scCsB|j\}}|||s>|jd||j|fStS(Ns(pred: doc = %r; failed for element == %s(RRpRPRr(RRRR%tpredR]((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRS6s (R0R2RRS(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR2s tPowersetFamilycBs,eZdZdZdZdZRS(cGs'tj|||jdddS(NtunioncSs|jS(N(R(R ((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD?RE(R RRW(RR4((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR=scCs |j|S(N(Rv(Rtset((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRAscCs:|jj|jg}y|j|j}Wn|SX|S(N(R tNothingRRd(RRR%R ty((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRmDs csW||jjkr2|jd|jj|n|j|j|fddS(Ns%powerset.test_contains: not a set: %scs|j|dS(Ntpowerset(R!(R%R (R(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRDRRER(R RRptisoRR(RRRR%((RsC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRSNs  (R0R2RRRmRS(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR<s   t DocFamilycBseZddZdZRS(cCs^|dkr|jjj}n*||jjkrH|jjj|}n|j|||fS(N(R8R RMt NotNothingRtconvertR(RR]RQ((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRVs  cCs|j\}}|j||S(N(RR!(RRRR%R]RQ((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRS^sN(R0R2R8RRS(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRUs t RelOpFamilycBs/eZdZddZdZdZRS(cOsFtj||||jdd|jddi|_dS(NtdomaincSs |jdS(Ni(R(R ((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRDeRERwcSs |jdS(Ni(R(R ((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRDfRE(R RRWtmemo(RRRX((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRcsc Cs|jj|}|dkr'|}n|jj|}|jj|||f}|dkr|d krtd |}||_n|}|j|_|j||||f}||j|||fs>=tinsnot intissis notslambda x,y: x %s y( Rs<=s==s!=Rs>=Rsnot inRsis not( R RZR8RtgetRRPt func_nameR(RRtopRwR R\((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRms      cCst|j|j}|s8td|jddgSt|j|j}|sptd|jddgSg}xH|jjjj j ||D](}|j ||r|j |qqW|S(NtrelationRRw( RcRdRReR8RwR R5RfRgRhtcontainsR9(RRR%tdomtranRiRl((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRms%cCs,|j\}}}||s(|jStS(N(RRpRr(RRRR%tdRR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRSs  N(R0R2RR8RRmRS(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRbs  t EqualsFamilycBs#eZdZdZdZRS(cGs|s|jjS|j|S(N(R RRO(RR4((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRs cCs ||jkrtS|jdS(Ntequals(RRrRp(RRRR%((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRSscCs|jS(N(R(RRR%((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRms(R0R2RRSRm(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRs  t ExampleFamilycBs#eZdZdZdZRS(cGs|j|||fS(N(R(RRtexamples((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRscCs|j\}}|j||S(N(RR!(RRRR%RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRSscCs|j\}}|S(N(R(RRR%RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRms(R0R2RRSRm(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRs  tSynonymsFamilycBseZdZdZRS(cGs|j||S(N(R(Rtnames((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRscCs|j}|jjj}x-|D]%}|j||}|j|q"Wt|sk|jd|nt|dkr|jdt||fntS(NsSynonyms: no such names: %ris*Synonyms: %d different nodes for names: %r( RR RMRRR"R,RpRr(RRRR%RtmsRPR ((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRSs    (R0R2RRS(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRs tInstanceFamilycBs#eZdZdZdZRS(cCs?t||js;|jd|jj||jfntS(Ns+InstanceFamily: %s is not an instance of %s(RRRpR RRr(RRRR%((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRSs  cCs|j|jj|jS(N(RdR RZR(RRR%((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRmscCs8|jjg|jD]}t||jr|^qS(N(RR#R RR(RRRR'((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR(s(R0R2RSRmR((((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRs  tExpressionPredicateFamilycBseZdZdZRS(cCsd}|j||||fS(N(R8R(RRt expressionR\((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRsc Cs|j\}}}tddj||f}i}x*|D]"}|j||} | ||Wy||} Wn nX| s|jd|ntS(Ns lambda %s:%sRsFalse expression: %s(RRRRRpRr( RRRR%RRR\RRPR ((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRSs (R0R2RRS(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRs tExpressionSetFamilycBseZdZdZRS(cGsd}|j||||fS(N(R8R(RRRR\((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRsc Cs|j\}}}|jjddjdt||f}i|jd6}x*|D]"}|j||} | ||s     cCsU|j\}}|j|j|d}|rQ||}|j||d}n|S(Ns AbstractSet: not in arrow.sources AbstractSet: not in argument set(RR!R(RRRR%R{RRtR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRSSs  (R0R2RRRR!RS(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR%s    t ElemFamilycBseZdZdZRS(cCs |j|S(N(Rv(RR\((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR\scCs(|j}||}|j||dS(NR"(RR!(RRRR%R\R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRS_s  (R0R2RRS(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR"[s tIntersectionFamilycBseZdZdZRS(cCs|j||fS(N(RO(RRR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRescs+|j\}|j|fdS(Ncs|j|dS(Nt Intersection(R!(R%R (RR(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRDjs(RR(RRRR%R((RRsC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRShs(R0R2RRS(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR#ds RcBseZRS((R0R2(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRnsR)cBseZRS((R0R2(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR)qst CoverageErrorcBseZRS((R0R2(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR%tstLocalEnvcBs#eZdZddZdZRS(tADDicCs(||_||_d|_||_dS(N(t_modt_specR8Rtnodoc(RRRR*((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR{s   cCs|j}t|j|}|jj|jjjjj|j }|jj j |j ||j |j |j}|d}||j|<|S(N((R(RR)t _load_namesR5RfRgtCodetco_findloadednamesR>RVRRt func_defaultst func_closureR(Rtattribute_nameRR?RtnfR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRs *    (R0R2RRR(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR&ys tTestEnvcBseZdZeZeZdZeZdZdZ dZ dZ dZ dZ dZd Zd Zd Zd d ZdZdZdZddZdZdZddZddZddZddZRS(R'icCs||_g|_i|_|dk r||_}y |j}Wntk r]d}nXt||}||_||_ |j |j |_ ndS(NRE( RtmessagesRR8Rt LocalEnvExprRR&t_OBJ_RRt GlueTypeExprttopspec(RRtSpecRtlexR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRs         cCs|j}|jj}t||jrJ|jjd|}||jSg}d}|jj }|j x|D]}t ||} y | j } Wnt k rqvnX| j| j dkrS|j|jjjjj| } |jjj| j | | j| j| j} | d} |dkr7| }q\|j|j|| qvtdqvW|dk r||j|n|jjj|}|S(Nslambda LE:( %s )tINt_SELF_s#TestEnv.eval: invalid argument mode(R:(( RR5RFRt StringTypesRRR8RtkeystsortRR>Rt co_varnamest co_argcountR+RfRgR,R-RVRRR.R/R9tattrRRMRR(RRRRFR\tlstselfsetRRPR?tcoRR1RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRs@       $       cCsyt|}Wnxtk ry|j|}WnGtk rzt||jjjrk|j|}q{t|}nXt|}nX|S(N( titerR`RtKeyErrorRRRMRdRc(Rt collectiontitRl((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRds  cCsd|kr|}x|jdD]W}yt||}Wq"|jd|j||fd|j||fSXq"WnFyt||}Wn0trn|jd|j||fSX|S(Nt.sgetattr: %s has no attribute %rs , because %s has no attribute %rsattr: %s has no attribute %r(R RRpRPtDEBUG(RRRPR tsubname((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRs #!cCst|tr|j||St|trt|dkr^|d|jjkr^|dStg|D]}|j||^qhSn tddS(Niiis0gengetattr: I am picky, required string or tuple( RRRRR,RtquoteRRR`(RRt name_or_tupletnt((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRRs(,cCs|jj|dS(N(R3R9(Rtmessage((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytlog scCs:t||jjjr"t|Sd|jj|SdS(Ns%s(RRRMRR(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRP s cCsd|S(Ns%s((RRG((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt name_collscCsW|j|y|j|j|dWn)|jjjj}|j|nXdS(NsTop spec(tget_obj_examplesR!R7RR5tsystexc_infot dump_failure(RRttvt((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyttests  cCs|jj||}xh|D]`}|d}|d}|jj|g}x.|D]&}|j||j||dqRWqWdS(Niistesting example of set(Rt GetExamplesRt setdefaultR9R!(RRRlRtvsRtv((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRRs     ic Cs|\}}}g}|}xJ|dk rg|j}|j|jjjkr[|j|n|j}qWxI|D]A}|j} d| dfGHd| dfGHdG| dGHdGHqoW|r|j j j j |||ndS(Nsa = %rRsb = %rRs message = ROs-----( R8ttb_frametf_codeR!RAR>R9ttb_nexttf_localsRR5t tracebacktprint_exception( RRtnoraiseRQtvalueR`RcttbR?tlo((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRU*s"       cCs;y|j||d}Wntk r/ntSX|S(NR(R!R%R*(RRRR ((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR=s cCs|j||S(N(R!(RRRRO((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR!Fs cCsGy|j||Wntk r*ntSX|jd|SdS(Nstest_contains_not, from: %s(R!R%RrRp(RRRRO((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyttest_contains_notQs REcCs*|js&|jd|t|ntS(NsFailed:(tissilentRPR)R*(RRO((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRp[s  cCs0||jjkrtStd|||fdS(Ns0%s: no examples for collection = %s, message: %s(RRRrR%(RtforwhatRGR\RO((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyReascCsN|jjjj}|\}}}|jsJ|jd|||ntS(NsFailed:(RR5RSRTRgRPR*(RRORTRQRcR`((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR^fs   cCs|j|}d}xG|D]?}|||sQ|jd|j||fS|d7}qW|sy%t|}|dkrtnWq|jd|||qXntS(Nisforall: e = %s, from: %siR(RdRpRPR,R%ReRr(RRGR\RORlRRR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRns     cCs|j|}d}xs|D]k}xb|j|D]Q}||||sy|jd|j||j||fn|d7}q2WqW|s|jd|||ntS(Nis&forall_pairs: a = %s, b = %s, from: %sit forall_pairs(RdRpRPReRr(RRGR\RORRRR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRis  &c Cs|j|}d}x|D]}x|j|D]z}xq|j|D]`}|||||s|jd|j||j||j||fn|d7}qHWq2WqW|s|jd|||ntS(Nis.forall_triples: a = %s, b = %s, c=%s, from: %sitforall_triples(RdRpRPReRr( RRGR\RORRRRtc((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRjs  2c Csg}xct|D]U\}}y||}Wn,|j||jjjjfqnX|rtSqWx0|D](\}}d|GH|j|ddqsW|j|dS(Ns%forsome: exception at collection[%d]:Rbi( RbR9RR5RSRTRrRURp( RRGR\ROtfailuresRjR RRV((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytforsomes" (R0R2RR*t iscompleteRgRxR)RRRdRRRRPRPRQRWRRRURR!RfRpReR^RRiRjRm(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR2s4  8            t _GLUECLAMP_c BsTeZdLZdMZdNZdOZdZdZdZdZ dZ dZ dZ dZ dZdZdZdZdPdZdZdZdZdZdPdZd Zd!ZdPd"d#Zd$ZdPd%Zd&Zd'Zd(Z d)Z!d*Z"d+Z#d,Z$d-Z%d.Z&d/Z'd0Z(d1Z)d2Z*d3Z+d4Z,d5Z-d6Z.d7Z/d8Z0d9Z1d:Z2d;Z3d<Z4d=Z5d>Z6d?Z7d@Z8dAZ9dBZ:dCZ;dDZ<dEZ=dFZ>dGZ?dHZ@dIZAdJZBdKZCRS(Qt_loadedRtDocRRRZRtwrap_source_stringR+Rt _hiding_tag_s _parent:Uses_parent.Use:isos_parent.Use:NothingcCs |jjS(N(t_parenttAbstractAlgebra(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_AbstractAlgebraREcCs |jjS(N(RtRM(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_UniSetREcCs |jjS(N(RtRq(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_DocREcCs |jjS(N(RttView(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_ViewREcCs|jj|jjdS(Nsguppy.heapy.Spec(Rqt attributetroot(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get__origin_scCsa|j}|dkrny%|j||j|j|}Wn|jk r\dG|GHnX|S(Ntsetofsno wrap:(RqtwrapR{RtDocError(RRRPRq((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _wrapattr_s  % cCs|jS(N(Ru(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_AAscCs |jtS(N(RR(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_abstractsetscCs |jtS(N(RRU(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_adaptuplescCs|jS(N(R(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_anyscCs |jtS(N(RR3(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_argnamesscCs |jtS(N(RRK(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_attrscCs4|j}x$|D]}||j||M}qW|S(N(RLRA(RRRQR R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytattrss  cCsd}|j|dS(NcSs(y |r nWn|jdnXtS(Ns#boolean: 'if x' raised an exception(RpRr(R%R ((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRs tboolean(R (RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_booleans cCs|jddS(NcSs t|S(N(tcallable(R%R ((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRDRER(R (R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_callablesc s|jj}|jj|jjd}d}tgt|jD]}||f^qIjtgjj D]\}}||f^q}fdfd}fd}d}d} d} d } tgjj D]\}}||f^qjtgt|jD]}||f^q@| |j i Ris%riR(iRr(iR(i R(iR(R,tlambdef(RR?tlsourcetlnode(RRR(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRW>s)I+(R0R2RW((RRR(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR=scst|dkrt||||Sj|}j|dd}|}j|}j|}|S(NRt line_infoi(RRt ast2tuplet tuple2astt compileast(RtfilenametmodeR4tastRRD(RtparserR(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytcompile_Qs ( RRRRRRRRR(( R5ttokenRRtdictRwtN_TOKENStupdateRRtNAMERtLPAR(RRRRRcRPRRRRRRttokR((RRRRRRRsC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_compiles:     . /    ./     cCs |jtS(N(RR_(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_cprod_scCs|jjj|S(N(RMtbyclodotdictof(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRbscCs |jtS(N(RR(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_docescCs+|j|jj}t|}|GH|S(N(R]RtshortestR(RRR]tdo((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytdocofhs icBs~|rd}nd}|j|d|}|j|jjjjj|}|dk rq|j}||Une ||S(NRRRE( RR+R5RfRgR,R-R8RR(RRtinitR*RRDR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRns $   cCsKidd6}x7tjD],}|jdr9|d}nd||s s (RtstringRRqtanontTypetFunctionR>tco_namet co_filenameR R tco_firstlinenoR5R6tgetblockRtgetdoc( RRRRtlinestlnumR6tblockR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRYs    cCs |jtS(N(RR(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_expredscCsd}|j|dS(NcSs;ytd|Wn"tk r6|jd|nXtS(Ns lambda : %ssNot a valid expression: %r(RRRpRr(R%R ((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRs  R(R (RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_expressions cCs |jtS(N(RR(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_expsetscCs |jtS(N(RR(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_equalsscOs|jj||||S(N(RMtfam_mixin_argatom(RRR4R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRscCs |jjS(N(RMRs(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get__hiding_tag_scCs |jtS(N(RR(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_instancescCs |jtS(N(RR#(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_intersectionscCst||jjS(N(R&t_Specification_R4(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_LEscCs|jS(N(R(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_SPLEscCs |jtS(N(RRz(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_mappingscCs |jtS(N(RR(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_matchesscCs t||S(N(R2(RR8((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt mkTestEnvscCs|jd|S(NcSsdS(Ni((RR ((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRDRE(R (RRP((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytnewtypescCs |jjS(N(tUseR(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_nothingscCs*|jd|j||jj@|j@S(Nt partition(R]t union_equalsRtnonemptytset_of_disjoint_sets(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRs cCs |jtS(N(RR(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_predicatescCs |jtS(N(RR(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_powersetscCs |jjS(N(RMR(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_AnythingscCsgS(N((R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_quotescCs |jtS(N(RR(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_recurselfscCs dddY}|j|S(Nt RelationSpeccBs}eZdddddgZd Zd Zd ZdZdZdZe Z dZ dZ dZ dZRS(t1tpaxbt2tpaxat3tdefioptfuopt4tdefipairt5t defitriplecSs|j|j|j|jS(N(R~RyR(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_spec_1scSs|j|j|j|jS(N(R~RyR(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_spec_2sc Ss?|j|j|jf>|jddddddddd d BS( NRs<=s==s!=Rs>=Rsnot inRsis not(RRR(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_spec_3scSs|j|j|jjS(N(RyRRR(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_spec_4scSs|j|j|jj|jS(N(RyRRR(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_spec_5scSs |jtS(N(RR(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get__relop!scSs |j|fS(N(R(RRR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt map_3_to_4%REcSs|j|j|S(N(t_relopR(RRR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt map_3_to_2&REcSs|\}}|j||S(N(R (RRt.2RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt map_4_to_2's cSs"|\}}}|j|||S(N(R (RRR RRtB((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt map_5_to_1(s (RR(RR(RRR(RR(RR(R0R2RRRRRRRRt map_2_to_1R R R R(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRs           ((trepcat(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_relations "cCs|jjjjS(N(RRRR(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_relop,scCs t||S(N(R(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR/scCs |jtS(N(RRu(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_sequence2scCs|j|jjS(N(tinstanceRM(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_set5scCsd}|j|dS(NcSs|j|ddS(NcSs||kp|j|S(N(tdisjoint(R%RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD:REsa == b or a.disjoint(b)(Ri(R%R ((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR9ssset of disjoint sets(R (RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_set_of_disjoint_sets8s cCsdt||jjs`|jj|}|jj||jj|jj|jd|}n|S(NRZ(RRMRRqRtcallfuncR{R(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRZ>s cCs|jS(N(R(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_setofFscCs |jdS(N(RR8(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get__static_test_envIscCs |jtS(N(RR(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_synonymsLscCs |jtS(N(RR(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_tupleformOscCs |jjS(N(RR(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_TypeRscCs.|j|jd|j||j|S(NR(tegRARR(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRUscCs|jj||_|S(N(RqRR(RR\R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRrYs(Rp( RRqRRRZRRrR+R(Rs(s _parent:Uses_parent.Use:isos_parent.Use:NothingN(DR0R2t _chgable_t_nowrap_t _preload_t _imports_RvRwRxRzR}RRRRRRRR8RRRRRRRRRRR+RRRYRRRRRRRRRRRRRRRRRRRRRRRRRRRRZRRRRRRRr(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRos              h                             .            N('t__doc__RJRR R3RKRUR_RuRzRRRRRRRRRRRRRRR}RRRRRR"R#t ExceptionRR)R%R&R2Ro(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt sL ;/)J  8 '6