bg[dZdZdZGddZGddeZGddeZGd d eZGd d eZGd deZGddeZ GddeZ GddeZ GddeZ GddeZ GddeZGddeZGddeZGdd eZGd!d"eZGd#d$eZGd%d&eZGd'd(eZGd)d*ZGd+d,eZGd-d.ZGd/d0eZGd1d2eZGd3d4ZGd5d6eZGd7d8eZGd9d:eZGd;de Z!Gd?d@e Z"GdAdBe Z#GdCdDZ$GdEdFZ%GdGdHZ&dIS)Ja 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. c t|dS#t$rKt|tr$ddd|DzcYSt |cYSwxYw)Nbriefz(%s),c,g|]}t|S)briefstr).0xis c/builddir/build/BUILD/cloudlinux-venv-1.0.7/venv/lib64/python3.11/site-packages/guppy/heapy/Spec.py zbriefstr..s&@&@&@x||&@&@&@)getattrAttributeError isinstancetuplejoinstrxs r rrsq'"""  a   CSXX&@&@a&@&@&@AAB B B B1vv sAA'A'&A'c8eZdZdZdZdZdZdZdZdZ dS) SpecFamilycj||_||j|xj|gzc_dSN)specmod defrefiningAnything disjoints)self unisetmodrs r __init__zSpecFamily.__init__s6  +,,, 4& r c.|||SrSetrargs r __call__zSpecFamily.__call__sxxc"""r ct|tr!|jj||fS|j||Sr)rrmodfam_And_consfam _and_ATOMrabs r c_andzSpecFamily.c_and sG a $ $ )8#))1a&11 15??1a(( (r cH|jj}|j}|jD]?} |||d||0#t$rY+>s+C+CDDDsA A*)A*cl|jj} |||dS#t$rYdSwxYw)Nz Spec containsF)rr2r5 TestErrorrr.r/r:s r c_containszSpecFamily.c_contains2sKl+ $$Q?;; ;   55 s % 33cZ|j}t||kr|d|dz dz}|S)Nz...)rlen)rr.max_lenrs r c_getlimstrzSpecFamily.c_getlimstr9s5 G q66G  *719* e#Ar cLd|jjdt|jdS)N<(z)>) __class____name__rr%)rr.s r c_get_briefzSpecFamily.c_get_brief?s&!^444hquooooFFr N) rK __module__ __qualname__r r&r0r=rArFrLrr r rrs!!! ###))) E E E GGGGGr rc,eZdZdZdZdZdZdZdS)ArgNamesFamilyc.|||Srr"rargss r r&zArgNamesFamily.__call__Dsxxd###r c|jjj}||\}}}||d|z||d|zt |S)Nz*%sz**%s)r_rootinspectgetargsappendr)rcoderVrSvarargsvarkws r getargnameszArgNamesFamily.getargnamesGsk,$,!(!6!6w   KK ( ( (   KK ' ' 'T{{r cf |j}|||kS#t$rYdSwxYw)NF)__code__r\r)rfrSrYs r func_argnameszArgNamesFamily.func_argnamesPsI :D##D))T1 1   55 s " 00c |j}|j}||dd|kS#t$rYdSwxYw)NrF)__func__r^r\r)rmrSr_rYs r meth_argnameszArgNamesFamily.meth_argnamesWsY  A:D##D))!""-5 5   55 s .1 ??cfd}fd}jjj}||p||pt|tot |do||jpTt|tot |do||jpt |do||jS)Nc:|jSr)r`r%)r_r.rs r r`z0ArgNamesFamily.c_contains..func_argnames`T%7%715%A%AAr c:|jSr)rdr%)rcr.rs r rdz0ArgNamesFamily.c_contains..meth_argnamesargr r r&)r(rUtypesrtypehasattrr r&)rr.rr`rdris`` r rAzArgNamesFamily.c_contains_sAAAAAAAAAAAA$ a  , a   ,At$$-!Z((,- ++ , At$$-!Z((,- ++ ,J''+qz** r N)rKrMrNr&r\r`rdrArr r rPrPCs_$$$r rPc"eZdZddZdZdZdS)AttributeFamilyNc| |jj}n/t||jjs||}|||fSr)ranyrr(UniSetc_fromspecotup)rnamerjs r r&zAttributeFamily.__call__qsP <<#DDdDHO44 ){{4((}}dD\***r cn|j\}}|||}|||Sr)r% gengetattrr5)rr.r/r:rsrjrs r c_test_containszAttributeFamily.c_test_containsys6U d NN1d # #!!!S)))r c~d|jdd}|jd|d|jdjzz}n|dz}|S)Nzrr)r%r)rr.rs r c_get_brieflimstrz!AttributeFamily.c_get_brieflimstr~sI)*q 3 58 Sq'(AABAr r)rKrMrNr&rvrzrr r rmrmpsF++++*** r rmc eZdZdZdZdZdS)AdaptupleFamilyc^tj|g|Ri||dddS)Nnewc|jdSNrxr%rs r z*AdaptupleFamily.__init__..s qr rr add_exportrr.ks r r zAdaptupleFamily.__init__sAD*1****** 1122222r c|j|\}}|j|}|||f||fSr)r_exodocsetcast specoargtup)rfuncrjdocs r r&zAdaptupleFamily.__call__sNL((.. c|##D))t sDk:::r c|j\}}t|tr, ||}n'#t$r|dcYSwxYw|}|||S)Nzcalling func failed)r%rrr7failed_exc_infor5)rr.r/r:rrjrs r rvzAdaptupleFamily.c_test_containssU d a    BD!H B B B**+@AAAAA BA!!!S)))s'A A NrKrMrNr r&rvrr r r|r|sA333;;; * * * * *r r|c,eZdZdZdZdZdZdZdS)CartesianProductFamilyc.|||Srr")rris r r&zCartesianProductFamily.__call__xxe$$$r cd|j}t|dkr|dStd)Nrxz*Domain is defined on binary relations only)r%rD TypeError)rr.ris r c_domainzCartesianProductFamily.c_domains0 u::??8ODEEEr c&g}t|jD]]\}}t||}|s|d|dd|zsgcS||^|jjjj j |S)Nzcartesian productzthe argument #%d) enumerater%list get_examplesfailed_coveragerXr(rUguppyetc iterpermute)rr.r:exsiaiexs r c_get_examplesz%CartesianProductFamily.c_get_examplessqu%%  EArc&&r**++B **+>DJ\_`J`aaIII JJrNNNN3tx~#'3S99r cLd}|jD]}|t|jz}|SNr)r%rD)rr.lrs r c_lenzCartesianProductFamily.c_lens0 %  BCKKAAr c<|j}t|}t|t|kr6|dt|t|fzdSt ||D]\}}|||sdSdS)Nz*cprod of length %d: argument has length %dFT)r%rrDfailedzipr5)rr.r/r:ribsts r rvz&CartesianProductFamily.c_test_containss 1XX u::R JJCE CGG,- . . . . .E2 ! !1q#..! 55!4r N)rKrMrNr&rrrrvrr r rrsb%%%FFF : : :     r rc eZdZdZdZdZdS)SequenceFamilyc,||Srspecoarg)rrjs r r&zSequenceFamily.__call__}}T"""r cL|D] }|j||sdS!dS)NFTr%r5)rr.r/r:rs r rvzSequenceFamily.c_test_containss<  A5&&q#.. uu tr c#Kt|jD]4}||jj|jg|zD]}|V5dSr)rangemax_sequence_examples_lengthrrcprodr%)rr.r:rrs r rzSequenceFamily.c_get_examplessls788  A%%&8dl&815'!)&DEE     r NrKrMrNr&rvrrr r rrsA### r rc,eZdZdZdZdZdZdZdS) MappingFamilycdtjg|Ri|dfddS)NarrowcfdS)Nc0|Sr)c_arrow)r_rrs r rz:MappingFamily.__init__....sT\\!Q5G5Gr r)rrs`r rz(MappingFamily.__init__..s+G+G+G+G+Gr rrs` r r zMappingFamily.__init__sHD*1****** !G!G!G!GHHHHHr c:|j\}}}t|||Sr)r%Arrow)rr.r_tftsrets r rzMappingFamily.c_arrows!e BRa   r cng}g}d}d}|jj}|t|kr||}t|tr4|dkr=|dz }|t|dz kst d|||}n4|dr[|dz }|||}|d|ddt|fz||n|dkri|dz }|||}|d t|z||j|nUt d |z|d t|z||||dz }|t|kd d |zdz} t| } |jj |}| |jj }| || ||fS)Nrxz->rz' specifier must be next to last in the argument list=z %s=%args[%d]*z *args[%d]zInvalid argument specifier: %rzargs[%d]zlambda f: lambda *args: f(r))rrrDrr SyntaxErrorendswithrXsequencerevalrrr#) rrSras_rrrrrfnr_s r r&zMappingFamily.__call__s8  ,&#d))mmaB"c"" '::FAD ! ++)Z\\\!'$q'**CC[[%% MFAQ((AJJ~CRC#b''0BBCCCIIaLLLL3YYFAQ((AJJ{SWW4555IIdl33A667777%&F&KLLL :B/000 ''"++&&& FA3#d))mm6*#((3-- 7 ; HH T\  $ ;,'Cxxq"cl+++r cj|j\}|fd}|||S)Ncd |}||dSdS#t$rwxYw)NzMapping Return TypeT)r5r7)r:rSrr_rs r gz(MappingFamily.c_test_contains..g sX AtH ?,,S!5JKKK4    s# /r%forall)rr.rr:rrr_rs @@r rvzMappingFamily.c_test_containssRU 2s AdGG zz"a   r cV|j\}}}d||DS)Ncg|]fdS)cSrr)rSkwdsrs r rz9MappingFamily.c_get_examples...sar r)r rs @r r z0MappingFamily.c_get_examples..s#GGGA''''GGGr )r%r)rr.r:r_rrs r rzMappingFamily.c_get_exampless1U 2sGG1A1A#1F1FGGGGr N)rKrMrNr rr&rvrrr r rrshIII!!!&,&,&,P!!!&HHHHHr rceZdZdZdZdS)PredicateFamilyc2||||fSrr")rr%rs r r&zPredicateFamily.__call__"sxxsCj)))r c|j\}}|||s.|d|d||SdS)Nz pred: doc = z; failed for element == T)r%rrs)rr.r/r:predrs r rvzPredicateFamily.c_test_contains%sUE ctC|| _:::CCCQTQYQYZ[Q\Q\Q\]^^ ^tr NrKrMrNr&rvrr r rr!s2***r rc&eZdZdZdZdZdZdS)PowersetFamilycXtj|g|R|dddS)Nunionc|jSrrrs r rz)PowersetFamily.__init__../s15r rrRs r r zPowersetFamily.__init__-s7D(4(((( 11111r c,||Srrrsets r r&zPowersetFamily.__call__1s}}S!!!r c|jj|jg} ||j}n#t$r|cYSwxYw|Sr)rNothingr%rr7)rr.r:rys r rzPowersetFamily.c_get_examples4sZ \ !15 )   ''AA   HHH s 0 ??c||jjvr0|d|j|z|j||fddS)Nz%powerset.test_contains: not a set: %sc2||dS)Npowersetr5)r:rrs r rz0PowersetFamily.c_test_contains..CsC,=,=c1j,Q,Qr r)rrrisor%rrr.r/r:rs @r rvzPowersetFamily.c_test_contains>slDL$$$ JJ>|''**+ , , ,ezz!QQQQS]^^^r NrKrMrNr r&rrvrr r rr,sU222"""_____r rceZdZddZdZdS) DocFamilyNc||jjj}n-||jjvr|jj|}||||fSr)rrp NotNothingrconvertr#)rrrjs r r&zDocFamily.__call__GsV <<&1DD4<+++|*22488xxsDk***r cB|j\}}|||Srr)rr.r/r:rrjs r rvzDocFamily.c_test_containsOs#E T!!!S)))r rrrr r rrFs7++++*****r rc(eZdZdZddZdZdZdS) RelOpFamilyctj|g|Ri||dd|ddi|_dS)Ndomainc|jdSrrrs r rz&RelOpFamily.__init__..Ws AE!Hr rc|jdS)Nrrrs r rz&RelOpFamily.__init__..Xs 158r )rr rmemors r r zRelOpFamily.__init__Us`D*1****** "4"4555 !3!3444  r NcZ|j|}||}n|j|}|j|||f}|R|dvrt d|z}||_n|}|j|_|||||f}||j|||f<|S)N) rH<===!=>>=innot inisis notzlambda x,y: x %s y)rrrgetrrsrKr#)rroprrrs r r&zRelOpFamily.__call___s%%f-- =EEL((//E IMM62u- . . 9WWW02566  M e455A-.DIvr5) *r ct||j}|std|jddgSt||j}|std|jddgSg}|jjjj ||D]-}| ||r| |.|S)Nrelationrr) rrrrrrrUrrrcontainsrX)rr.r:domranrrs r rzRelOpFamily.c_get_examplesqs3##AH--..  J$ A A AI3##AG,,--  Jw ? ? ?I,$*.::3DD  B||Ar""  2 r cN|j\}}}||s|SdS)NTr%r)rr.r/r:dr rs r rvzRelOpFamily.c_test_containss052qr1v ::<< tr rrrr r rrTsU$&r rc eZdZdZdZdZdS) EqualsFamilycH|s |jjS||Sr)rrrrrRs r r&zEqualsFamily.__call__s' (<' '}}T"""r cB||jvrdS|dS)NTequalsrr@s r rvzEqualsFamily.c_test_containss$ ::4zz(###r c|jSrrrr.r:s r rzEqualsFamily.c_get_exampless u r Nrrr r rrsA### $$$ r rc eZdZdZdZdZdS) ExampleFamilyc2||||fSrr")rrexampless r r&zExampleFamily.__call__sxxsHo...r cB|j\}}|||Srr)rr.r/r:rrs r rvzExampleFamily.c_test_containss# X  C(((r c|j\}}|Srr)rr.r:rrs r rzExampleFamily.c_get_exampless Xr Nrrr r rrsA///)))r rceZdZdZdZdS)SynonymsFamilyc.|||Srr")rnamess r r&zSynonymsFamily.__call__rr cr|j}|jj}|D]-}|||}||.t |s|d|zt |dkr'|dt ||fzdS)NzSynonyms: no such names: %rrz*Synonyms: %d different nodes for names: %rT)r%rrpr3rr6rDr)rr.r/r:r%msrsrs r rvzSynonymsFamily.c_test_containss \ + + - -  D At$$A FF1IIII2ww > JJ4u< = = = r77Q;; JJCB'( ) ) )tr Nrrr r r#r#s2%%%     r r#c eZdZdZdZdZdS)InstanceFamilyct||js8|d|j|d|jdS)NzInstanceFamily: z is not an instance of T)rr%rrrr@s r rvzInstanceFamily.c_test_containssW!QU## - JJJ   ####QUU, - - -tr cf||j|jSr)rrrr%rs r rzInstanceFamily.c_get_exampless( 4 4QU ; ;<<g|]}t|j|Sr)rr%)r r<r.s r r z*InstanceFamily._and_ID..s*&U&U&Ubz"ae?T?T&Ur&U&U&Ur )r(r8r4r-s ` r r=zInstanceFamily._and_IDs,$tx$&U&U&U&UAG&U&U&UVVr N)rKrMrNrvrr=rr r r)r)sF ===WWWWWr r)ceZdZdZdZdS)ExpressionPredicateFamilyc8d}|||||fSrr")rr% expressionrs r r&z"ExpressionPredicateFamily.__call__"xxuj$7888r c|j\}}}tdd|d|}i}|D]}|||} | ||<|di|} | s|d|zdS)Nlambda r:zFalse expression: %sTr)r%rrrr rr.r/r:r%r1rrrsrs r rvz)ExpressionPredicateFamily.c_test_containss"#%z4tchhuoooozzBCC   D At$$AAdGG DII1II < JJ- : ; ; ;tr Nrrr r r/r/s2999     r r/ceZdZdZdZdS)ExpressionSetFamilyc8d}|||||fSrr")rr1r%rs r r&zExpressionSetFamily.__call__r2r c d|j\}}}|jdddt |zd|d}d|ji}|D]}|||} | ||<|d i|} || |d|dd|dS) Nr4rLEz:(rr<zexpset(z, r)r%rrrrr<rr5r6s r rvz#ExpressionSetFamily.c_test_containss"#%z4|   HHWU5\\) * * * *JJJ"899 36N  D At$$AAdGG DII1II  AA:::sxxPU'WXXXr Nrrr r r8r8s7999 Y Y Y Y Yr r8c eZdZdZdZdZdS) MatchesFamilyc\tj|g|Ri||jjj|_dSr)rr rrUsrers r r zMatchesFamily.__init__s6D*1******<%)r c`||j||fSr)rr@compile)rregexps r r&zMatchesFamily.__call__s* 0 0 8 86)DDDr cx|j}|j||}||dSdS)Nz Did not matchT)r%r@matchr)rr.r/r: regexpobjrcs r rvzMatchesFamily.c_test_containss:E HNN9a ( ( 9::o.. .tr Nrrr r r>r>sD***EEEr r>c"eZdZdZddZdZdS)RecurSelfFamilycdtj|g|Ri|Gdd|j}||_dS)NceZdZdZdS)+RecurSelfFamily.__init__..RecurSpec)rrecursion_levelrecursion_limitNrKrMrN __slots__rr r RecurSpecrKsDIIIr rP)rr r#rP)rr.rrPs r r zRecurSelfFamily.__init__sdD*1****** E E E E E E E E#r cN|||}||_d|_|Sr)rPrMrL)rexprrMss r r&zRecurSelfFamily.__call__s* NN4 & &+r c |j}n6#t$r)|j}|d|zx}|_YnwxYw||jj} |||d}|stn#t$r|||}|j } ||j kr&| d|j z||_ cYS|dz|_ |||d}||_ n #||_ wxYwYnwxYw|S)Nzlambda self:%szrecur with Nothing, ok to failzrecurself: recursion_level = %srrecur) rrr%rrrr5r?r7rLrMr) rr.r/r:rrSrTrrls r rvzRecurSelfFamily.c_test_contains sX >6DD > > >5DHH%5%<== =D1666 > D% & & '""1a)IJJB   ' ' 'QA"B '***::&G!J[&[\\ %'!!!!)+QA%&&q!W55$&!!B!&&&&!! ' sB 0== A77C='C.;C=!C.&C=. C77C=<C=N)rQrrr r rHrHsF### r rHceZdZdS)DummyNrKrMrNrr r rYrY#Dr rYceZdZdZdZdS)TupleformFamilyc0|||fSrrr)rformrs r r&zTupleformFamily.__call__(s}}dC[)))r ct|j\}}t|}t|t|kr4|dt|t|fzSt }t ||D]\}} t ||| |||dS)Nz+tupleform: wrong length: got %d expected %d tupleform)r%rrDrrYrsetattrr5) rr.r/r:r`rbtobrsvals r rvzTupleformFamily.c_test_contains+sE c 1XX r77c$ii  ::KsSUwwX[\`XaXaNbbcc c WWT2 # #ID# Bc " " " "  b+666r Nrrr r r]r]'s2*** 7 7 7 7 7r r]c eZdZdZdZdZdS)rc0||_||_||_dSr)categorysourcetarget)rrirjrks r r zArrow.__init__;s    r cl|j|}|j||Srrivalidatecomposerothers r ofzArrow.of@s1 &&u--}$$T5111r cl|j|}|j||Srrmrps r tozArrow.toFs1 &&u--}$$UD111r N)rKrMrNr rrrtrr r rr:sA 222 22222r rceZdZdZdZdS) IdentityArrowc@t||||dSr)rr )rriobjects r r zIdentityArrow.__init__Ns  tXvv66666r c|Srrrrs r r&zIdentityArrow.__call__Qsr N)rKrMrNr r&rr r rvrvMs2777r rvceZdZdZdS) FunctionArrowcNt||||||_dSr)rr r&)rrirjrkfunctions r r zFunctionArrow.__init__Vs% tXvv666  r N)rKrMrNr rr r r|r|Us#!!!!!r r|c.eZdZdZdZdZdZdZdZdS)RepresentationCategoryNct|t}|||||_dSr)familyRepresentationObjectFamilyinit2_fam)rr(specr+s r r zRepresentationCategory.__init___s3jj344 $ r c ||uSrrrps r __eq__zRepresentationCategory.__eq__ds u}r c:tt|Sr)hashidrs r __hash__zRepresentationCategory.__hash__gsBtHH~~r cN|j|}||j|<|Sr)r getobject__dict__rrsrs r __getattr__z"RepresentationCategory.__getattr__js( I   % % dr ) rKrMrN_derive_origin__origin_r rrrrr r rr[sZOH r rcDeZdZdZdZdZdZdZdZdZ dZ d Z d S) rc||_i|_i|_i|_|d|j|j}Gdd|}||_Gdd|}|||_dS)N fromuniversalceZdZdZdS)>RepresentationObjectFamily.init2..RepresentationObject)rtfromNrNrr r RepresentationObjectr{s$IIIr rceZdZdZdZdS)DRepresentationObjectFamily.init2..RepresentationCategorySpecc,||_|j|_dSr)rcat_cat)rr+s r r zMRepresentationObjectFamily.init2..RepresentationCategorySpec.__init__s G r ct|jd|zr2t|d|z|jj}||j|<|St |)Nz_get_%s)rkrJrrrrrrs r rzPRepresentationObjectFamily.init2..RepresentationCategorySpec.__getattr__s]4>9t+;<<7i$&677 8IJJA*+DM$'H$T***r N)rKrMrNr rrr r RepresentationCategorySpecrs2 $ $ $ + + + + +r r)robjectsspecsarrowsrrr#r)rrrr#rrs r rz RepresentationObjectFamily.init2qs    );<<<h % % % % %3 % % %( + + + + + + + +/.t44 r cD||f}||jvr |j|Str)r SpecError)rrcoddcs r getarrowz#RepresentationObjectFamily.getarrows)3Z   ;r? "r c||jvr |j|S||}||jvr"|j||j|<|j|S||}|x|j|<|j|<|Sr)r normonamer)rrsnormnameos r rz$RepresentationObjectFamily.getobjects 4<  <% %>>$'' t| # #!%h!7DL <) ) DNN677 Xd!3r c|j}||jvr |j|St|jd|zd}|||j}||j|<|St d|z)Nz _get_spec_%szgetspec: No spec of %r)r%rrrrr)robjrsgssps r getspecz"RepresentationObjectFamily.getspecsvw 4:  :d# # TY 5t < < >DL!!B!DJt I047888r c |j}d|z}|jvr j|Si tj| |<t jD]}|drd|vs|d\}}|dd}||krFtj|tjtj||fd |< fd}d|z}j |d|z} | j |<|} Gd d t} | j| | } | j|<| S) Nz%s.fromuniversalmap__to_c&j|Sr)r)rr_rs r rz:RepresentationObjectFamily.fromuniversal..sqqq/A/Ar c2 |\}}n%#t$r|dcYSwxYwt|dd}|ur|dSt|dd}|vr|dS|||dS)NzNot a sequence with length 2r+z#Tag is not an object of this familyr%z%Object is not a source of this targetz&Value is not an element of this object)r7rrr5)r:eOAr+name_Srs r pz3RepresentationObjectFamily.fromuniversal..ps B11 B B Bzz"@AAAAA B!UD))C$zz"GHHHAud++EA~~zz"IJJJ$$Q+STT Ts  ++z %s.universalzSpecification-set for %rc eZdZdZdZdZdS):RepresentationObjectFamily.fromuniversal..AlphaSumcNt||||||_dSr)rr _S)rrirjrkrs r r zCRepresentationObjectFamily.fromuniversal..AlphaSum.__init__s%tXvv>>>r cV|j|jj|Sr)rrjr+rrzs r __getitem__zFRepresentationObjectFamily.fromuniversal..AlphaSum.__getitem__s!wt{88;;<.AlphaSum.__call__s*A"tAE{1~~%r N)rKrMrNr rr&rr r AlphaSumrsA     = = = & & & & &r r)r%rrvrdirr startswithsplitrr|r predicaterr)rrkrs arrownameanrTrruninamePrjrrrr_s` @@r rz(RepresentationObjectFamily.fromuniversalsz&-  # #;y) ) &11$di.. C CBMM&)) fll88F##DAq!""ADyyDIr**$TXwtx/C/CV%A%A%A%A%ACC! U U U U U U!4' L " "1&@7&J K K 7g & & & & &u & & &66155!& I r ct|jdd}|L|jjD]?}d}|D]8}|r|}||kr||ccSt d|z9@|S)N_isos_z*No numeric object name corresponding to %r)rrrisdigitr)ronisosrnnns r rz$RepresentationObjectFamily.normonamesty(D11  Y% O OOOAyy{{Bww>#%IIIII'H2MOOOO r cj||}Gdd}|||_|S)Nc$eZdZdZdZdZdZdS)/RepresentationObjectFamily.__call__..Torjc||_dSrr)rrjs r r z8RepresentationObjectFamily.__call__..To.__init__s $ r cL|jj|j|Sr)rjr+r)rrks r r&z8RepresentationObjectFamily.__call__..To.__call__ s{// VDDDr ct|j}|j}||}|||Sr)rjr+rr)rrsrjr+rks r rz;RepresentationObjectFamily.__call__..To.__getattr__s5jt,,||FF333r N)rKrMrNrOr r&rrr r TorsI!I % % % E E E 4 4 4 4 4r r)rrt)rrsrrs r r&z#RepresentationObjectFamily.__call__sQ MM$   4 4 4 4 4 4 4 4r!uur cZ||}|||dS)Nz7RepresentationObjectFamily: not in object specification)rr5rs r rvz*RepresentationObjectFamily.c_test_containss*ll1oo  a)bcccr cV||}||Sr)rr)rr.r:rs r rz)RepresentationObjectFamily.c_get_exampless%ll1oo$$$r N) rKrMrNrrrrrrr&rvrrr r rrps555: 5 5 5 9 9 9AAAF   *ddd%%%%%r rc,eZdZdZdZdZdZdZdS)AbstractSetFamilycdtj|g|Ri|Gdd|j}||_dS)NceZdZdZdZdS)/AbstractSetFamily.__init__..AbstractSet)_memoc>||_||_d|_i|_dSr)r+r%rr)rr+r%s r r z8AbstractSetFamily.__init__..AbstractSet.__init__'s" $  r N)rKrMrNrOr rr r AbstractSetr$s( I     r r)rr r#)rr.rrs r r zAbstractSetFamily.__init__!s\D*1******     $(   r cB|||f}i|_|Sr)rrr)rrrrs r r&zAbstractSetFamily.__call__.s# MM5#, ' 'r c|j|ur'|j\}}|j\}}||ur||||zS|j||Sr)r+r% _rand_ATOM)rr.r/aasaabsbs r r0zAbstractSetFamily.c_and3sZ 5D==UFBUFBRxxtBR(((u1%%%r c||jvr |j|S|j\}||jfd}|j|d|z}||j|<|S)Nc~||d}|r"|}||d}|SNz AbstractSet: not in arrow.sourcez AbstractSet: not in argument set)r5rr)r:rrrpararrowrsrcsets r rz'AbstractSetFamily.c_getattr2..pCsZ!!=??A @HQKK%%>@@Hr zAbstract set attribute: %r)rr%rjrr) rr.r/rrrTrrrs @@@r c_getattr2zAbstractSetFamily.c_getattr2;s <<71: U s8 ( ( ( ( ( ( ( L " "1&BQ&F G G r c|j\}}||j|d}|r"||}|||d}|Sr)r%r5rj)rr.r/r:rrrrs r rvz!AbstractSetFamily.c_test_containsRsaU s    L!? A A  NaA!!#q*LMMAr N)rKrMrNr r&r0rrvrr r rr s_    &&&.r rceZdZdZdZdS) ElemFamilyc,||Srr)rrs r r&zElemFamily.__call__]rr cT|j}||}|||dS)Nrr)rr.r/r:rrTs r rvzElemFamily.c_test_contains`s.u DGG  A|444r Nrrr r rr\s2###55555r rceZdZdZdZdS)IntersectionFamilyc0|||fSrr_)rrr~s r r&zIntersectionFamily.__call__gs}}fh/000r cN|j\}||fdS)NcD||dS)N Intersectionr)r:rr/r~s r rz4IntersectionFamily.c_test_contains..ls%++HHQKKNKKr r)rr.r/r:rr~s ` @r rvz"IntersectionFamily.c_test_containsjsI5zz&#L#L#L#L#LMM Mr Nrrr r rrfs7111MMMMMr rceZdZdS)rNrZrr r rrpr[r rceZdZdS)r?NrZrr r r?r?tr[r r?ceZdZdS) CoverageErrorNrZrr r rrxr[r rc eZdZdZddZdZdS)LocalEnvADDrc>||_||_d|_||_dSr)_mod_specrnodoc)rr(rr s r r zLocalEnv.__init__s"    r cb|j}t|j|}|j|jjjj|j }|jj |j ||j |j |j}|d}||j|<|S)Nr)r rr  _load_namesrUrrCodeco_findloadednamesr^ri FunctionTyperK __defaults__ __closure__r)rattribute_namer(r_rnfrs r rzLocalEnv.__getattr__si DJ / / I ! ! IO  $ 7 7 C C E E Y_ ) ) J J N M  BrFF() n%r N)r)rKrMrNrr rrr r rr|s<O     r rceZdZdZdZdZdZeZdZdZ dZ dZ dZ d Z d Zd Zd Zd ZddZdZdZdZddZdZdZddZddZddZddZdS)TestEnvr Frc ||_g|_i|_|k|x|_} |j}n#t $rd}YnwxYwt ||}||_||_| |j |_ dSdS)Nry) r(messagesrr LocalEnvExprrr_OBJ_r<r GlueTypeExprtopspec)rr(Specrlexr<s r r zTestEnv.__init__s   #tvv %DI '!    #s##BBHDG99T%677DLLL  s2 AAc|j}|jj}t|tfr-|jd|z}||jSg}d}t|j }| |D]}t||} | j } n#t$rY(wxYw| jd| jdkr||jjjj| } |jj| j | | j| j| j} | d} |dkr| }|||| t7d||||jj|}|S)Nzlambda LE:( %s ))INr_SELF_z#TestEnv.eval: invalid argument mode)r(rUrirrrr<rrkeyssortrr^r co_varnames co_argcountrrrrrrrKrrrXattrrrpr)r*)rrSr(rirlsselfsetr%rsr_corrrTrs r rz TestEnv.evalsh  dSF # # !8==!5!<==D4== T]''))**  G GDd##A Z!    ~or~o.'99OOIO',??CCEEY_11JJNM ## BrFF8##GGIIchhtQ//0000 EFFF   IIg    J  $ $R ( (s+B33 C?Cc, t|}n#t$ru |j|}nT#t$rGt ||jjjr||}nt|}YnwxYwt|}YnwxYw|Sr) iterrrKeyErrorrr(rprr)r collectionitrs r rzTestEnv.get_exampless j!!BB    *]:. * * *j$(/*@AA*#0066BBj))B  * bBBB  s0 B +BAA<9B;A<<BBc d|vr|}|dD]o} t||}#t$rO|d||d|d||d|zcYcSwxYwnX t||}nF#t$r9t r|d||d|cYSwxYw|S)N.z getattr: z has no attribute z , because zattr: )rrr7rrsDEBUG)rrrsrsubnames r rzTestEnv.getattrsQ $;;A::c?? f ff7++AA fff;;;DIIVYNNNN\`\`'a'aNRiiXYllll\c\c'd(effffffff f \C&& \ \ \{{{TYYs^^^^UYUY#Z[[[[[ \s#0AB B BAC"!C"c:t|tr|St|trKt |dkr|djjur|dStfd|DStd)Nrrxrc<g|]}|Sr)ru)r ntrrs r r z&TestEnv.gengetattr.. s'OOO2dooc266OOOr z0gengetattr: I am picky, required string or tuple)rrrrrDr(quoter)rr name_or_tuples`` r ruzTestEnv.gengetattrs mS ) ) P<<]33 3  u - - P=!!Q&&=+;tx~+M+M$Q''OOOOOOOOPPPNOO Or c:|j|dSr)rrXrmessages r logz TestEnv.log s W%%%%%r ct||jjjrt|Sd|j|zSNz%s)rr(rprr)rrs r rsz TestEnv.names? c48?1 2 2 ,s88O$(,,s+++ +r c d|zSr?r)rr/s r name_collzTestEnv.name_colls j  r c|| ||j|ddS#t$r<|jjj}||YdSwxYw)NzTop spec) get_obj_examplesr5rr7r(rUsysexc_info dump_failure)rrtvts r testz TestEnv.tests c""" #   t|S* = = = = = # # #(.$--//C   c " " " " " " #s5AA;:A;c|j||}|D]`}|dd}|d}|j|g}|D].}|||||d/adS)Nrrxztesting example of set)r GetExamplesr setdefaultrXr5)rrrrvsrTvs r rCzTestEnv.get_obj_examples!s Y " "4 - - C CA122B!A ((B//A C C ""1a)ABBBB C  C Cr rxc|\}}}g}|}|=|j}|j|jjjur|||j}|=|D]^}|j} td| dtd| dtd| dtd_|r(|j j j |||dS)Nza = r.zb = r/z message = r<z-----) tb_framef_coder5rbr^rXtb_nextf_localsprintr(rU tracebackprint_exception) rxxx_todo_changeme3noraiserjvaluerTrtbr_los r rFzTestEnv.dump_failure+s#5 ui n Ax4-6??? AB n   AB Ebgg' ( ( ( Ebgg' ( ( ( ,9 . . . 'NNNN   HN $ 4 4T5) L L L L L r cn |||d}n#t$rt$rYdSwxYw|S)NrF)r5rr7)rr.r/rs r rzTestEnv.contains?s\ ""1a44AA       55 s 22c.|||Srrrr.r/r<s r r5zTestEnv.test_containsHsq$'''r c ||||d|zS#t$rt$rYdSwxYw)Nztest_contains_not, from: %sT)r5rrr7r]s r test_contains_notzTestEnv.test_contains_notKso H OOAt $ $ $ ;;%..00!)eY}  HHY( ) ) )$u++ ur cP||}d}|D]C}|||s0|d||d|cS|dz }D|sF t|}|dkrtn(#t $r|d|||YnwxYwdS)Nrxz forall: e = , from: rrT)rrrsrDrr7r)rr/rr<rrrr.s r rzTestEnv.forallis   z * *   A4a== Y{{{1ww#WXXXXX FAA J J OOq55'' J J J$$Xz4IIIII Jts!A>>"B#"B#c N||}d}|D]p}||D]X}||||sD|d||d||d||dz }Yq|s|d|||dS)Nrxzforall_pairs: a = , b = rgr forall_pairsTrrrsr)rr/rr<rrr.r/s r rjzTestEnv.forall_pairs{s ++   A&&z22  tD!Q''>KKK ! diillllGG!=>>>Q    L  T7 K K Ktr c ||}d}|D]}||D]}||D]o}|||||sZ|d||d||d||d||dz }p|s|d|||dS) Nrxzforall_triples: a = riz, c=rgrforall_triplesTrk) rr/rr<rrr.r/cs r rmzTestEnv.forall_tripless ++   A&&z22  **:66A4aA..P  IIaLLLL$))A,,,, ! gg%OPPPFAA    N  !1:tW M M Mtr ctg}t|D]_\}} ||}nH#t$r;|||jjjfYVwxYw|rdS`|D].\}}td|z||d/| |dS)NTz%forsome: exception at collection[%d]:r)rW) rr7rXr(rUrDrErSrFr) rr/rr<failuresrrr/rGs r forsomezTestEnv.forsomesj))  DAq DGG   DHN$6$?$?$A$A BCCC  tt   . .HQ 9A= > > >   c1  - - - - Gs $AA)(A)N)rx)ry)rKrMrNr iscompleterbrr?r rrrrur=rsrArHrCrFrr5r_rrrrrjrmrqrr r rrsOJH#$ I888 333j   $ P P P&&&,,, !!!###CCC((((HHH +++ $              r rceZdZdZdZdZdZdZdZdZ dZ d Z d Z d Z d Zd ZdZdBdZdZdZdZdZdBdZdZdZdCdZdZdBdZdZdZdZdZd Z d!Z!d"Z"d#Z#d$Z$d%Z%d&Z&d'Z'd(Z(d)Z)d*Z*d+Z+d,Z,d-Z-d.Z.d/Z/d0Z0d1Z1d2Z2d3Z3d4Z4d5Z5d6Z6d7Z7d8Z8d9Z9d:Z:d;Z;d<ZZ>d?Z?d@Z@dAZAdS)D _GLUECLAMP_)_loaded) rDocrrrrBwrap_source_stringrr) _hiding_tag_)z _parent:Usez_parent.Use:isoz_parent.Use:Nothingc|jjSr)_parentrprs r _get_UniSetz_GLUECLAMP_._get_UniSets $,"55r c|jjSr)rzrvrs r _get_Docz_GLUECLAMP_._get_Docs t|//r c|jjSr)rzViewrs r _get_Viewz_GLUECLAMP_._get_Views  11r cL|j|jjdS)Nzguppy.heapy.Spec)rv attributerootrs r _get__origin_z_GLUECLAMP_._get__origin_sx!!$(-1CDDDr c|j}|dkr ||||j|}nA#|j$r4t dtd|YnwxYw|S)NsetofrTzno wrap:)rvwraprrDocError __import__ print_excrS)rrrsrvs r _wrapattr_z_GLUECLAMP_._wrapattr_sh 7??  $((3 dmT B BCCCC| $ $ $ { # # - - / / / *d # # # # # $ s/A;A>=A>c6|tSr)rrrs r _get_abstractsetz_GLUECLAMP_._get_abstractsets{{,---r c6|tSr)rr|rs r _get_adaptuplez_GLUECLAMP_._get_adaptuple{{?+++r c|jSr)rrs r _get_anyz_GLUECLAMP_._get_anys  }r c6|tSr)rrPrs r _get_argnamesz_GLUECLAMP_._get_argnames{{>***r c6|tSr)rrmrs r _get_attrz_GLUECLAMP_._get_attrrr NcP|j}|D]}||||z}|Sr)ror()rr%rjrrs r attrsz_GLUECLAMP_.attrss7 H $ $A 1d## #AAr c4d}||dS)NcZ |r n%#t$r|dYnwxYwdS)Nz#boolean: 'if x' raised an exceptionT)r7rr:rs r rz#_GLUECLAMP_._get_boolean..psQ B B B B @AAAAA B4s ((booleanrrrs r _get_booleanz_GLUECLAMP_._get_booleans'   ~~a+++r c0|ddS)Nc t|Sr)callablers r rz+_GLUECLAMP_._get_callable..s Xa[[r rrrs r _get_callablez_GLUECLAMP_._get_callables~~88*EEEr c L |jj}|jj |jjd d t fdt |jD t fdtj D fd fd}fddd }d }d }t fd tj Dt fd t |jD||j <dD]}|t||<||j <fd G fdd| fd}|S)Nc|Srrnoder_s r mapchildren_idz0_GLUECLAMP_._get_compile..mapchildren_idsKr cD|dgfd|ddDzS)Nrxc&g|] }|Srr)r rr_s r r zI_GLUECLAMP_._get_compile..mapchildren_default..s!777!777r rrrs `r mapchildren_defaultz5_GLUECLAMP_._get_compile..mapchildren_defaults1G97777d122h7777 7r cg|]}|fSrr)r rXrs r r z,_GLUECLAMP_._get_compile..s H H He^ $ H H Hr cg|] \}}|f Srr)r rXrsrs r r z,_GLUECLAMP_._get_compile..s9*\*\*\.9eT,12E*F*\*\*\r c4|d||Srr)rr_mapchildren_dispatchs r mapchildrenz-_GLUECLAMP_._get_compile..mapchildrens0'Q0q99 9r ctjD]-\}}t ||rt ||j|<.fdS)Nc4|d|Srr)r_visitrs r rz9_GLUECLAMP_._get_compile..visitor.._visitsZQtAwZf%=%==r )copyrsym_nameitemsrkrrb)CrXrsrrrsymbols @@r visitorz)_GLUECLAMP_._get_compile..visitors$))++A#FO$9$9$;$;<< 9 9 t1d##9&q$//8AeH = = = = = =Mr cR|ddD]}|d||dS)Nrrxr)rrrrecover_source_dispatchs r recover_source_nodez5_GLUECLAMP_._get_compile..recover_source_node sC!""X 4 4-'!-a3333 4 4r c|r!|ddkr|d||ddSNrrI rrXrrs r recover_source_tokenz6_GLUECLAMP_._get_compile..recover_source_token sA QrUc\\ HHT!W     r c~|r|ddvr|d||ddS)Nr)r2rIrrrrs r recover_source_namez5_GLUECLAMP_._get_compile..recover_source_namesC QrU*,, HHT!W     r c<||ddSrrrs r recover_source_tight_leftz;_GLUECLAMP_._get_compile..recover_source_tight_lefts HHT!W     r c|rC|ddds!|ddks|d||ddSr)isalnumrXrs r recover_source_lparz5_GLUECLAMP_._get_compile..recover_source_lpars` !B%*,,.. !B%3,, HHT!W     r cg|] \}}|f Srr)r rXrsrs r r z,_GLUECLAMP_._get_compile..s9(Z(Z(Z,7E4*/0C(D(Z(Z(Zr cg|]}|fSrr)r rXrs r r z,_GLUECLAMP_._get_compile.."sSSSE5./SSSr ) RPARLSQBRSQBCOLONCOMMASEMIDOTLBRACERBRACEcbg}|d||d|S)Nrxry)r)rrrs r recover_sourcez0_GLUECLAMP_._get_compile..recover_source-s4A , #DG ,T1 5 5 5771:: r ceZdZfdZdS)._GLUECLAMP_._get_compile..wrap_lambdefc#Ft|dkr|ddjkrk|d}|d|}dddddd d d d d dddddddd|ffdddddddd d d d d ddddd|zffffffffffffffffdfffffffffffffS||S)Nrrrxi$i%i&i'i)i*i+i,i-i.i/i0)1)rrwi4)rIi=i>) rrrCz%r)r)rDlambdef)rr_lsourcelnoderrrs r rHz3_GLUECLAMP_._get_compile..wrap_lambdef.test3st99>>d1gajFN&B&B,nT!W55G'KQ33EcC#cC#ILsUXZzVY[cfiloruw|q}k~AJgjmpsvy|@CFILORUX[Y\_behknqtwxz~AHzHvxpyjzd{^|X}W~QK@EAByCsDmEgFfGIQVRUSOTIUHVBW.compile_Esv~~vx=====++f%%C##C1#55D;t\22D""4((C""3''BIr )rUtokenrrdictrN_TOKENSupdaterrrNAMErLPAR)rrrrrrtokrrrrrrrrrrrrs @@@@@@@@@@@r _get_compilez_GLUECLAMP_._get_compiles  ""    8 8 8 $ H H H H%2G2G H H H J J ##D*\*\*\*\=A&/BWBWBYBY=Z=Z*\*\*\%]%] ^ ^ ^ : : : : :       4 4 4 4 4               #'(Z(Z(Z(Z;?@U@U@W@W;X;X(Z(Z(Z#[#[&& SSSSU5>=R=RSSS T T V V V/B +/ 9 9C 9 $Gs%%  /B +       , , , , , , , , , , , ,"w|,,        r c6|tSr)rrrs r _get_cprodz_GLUECLAMP_._get_cprodSs{{1222r c@|jj|Sr)rpbyclododictofrs r rz_GLUECLAMP_.dictofVs{"))#...r c6|tSr)rrrs r _get_docz_GLUECLAMP_._get_docYs{{9%%%r c|j|jz}t|}t ||Sr)rrshortestrrS)rrrdos r docofz_GLUECLAMP_.docof\s7w&0022 XX b  r rxc"|rd}nd}||d|}||jjjj|}|$|}t||t||S)Nrrry) rBrrUrrrrrexecr)rrSinitr rr+rs r rz_GLUECLAMP_.evalbs  DDD \\$D ) )   TZ-16II"MM N N  A qMMMB{{r ctddi}tjD]&}|dr |dd}d||<'|S)NrUr_get_)rtrr)rr%rs r _get_all_namesz_GLUECLAMP_._get_all_namespsN! %  A||G$$ abbEE!HH r c|+d|jvr!|jD]}t||d|_n |j}|D]}||vrt|||j}|jjd|d<|S)Nrur __builtins__)r all_namesrrur __globals__)rr%rallrsrs r rz_GLUECLAMP_._load_namesxs = --%%AD!$$$$  .C ( (3;;D$''' M ,8H.r c6|tSr)rrrs r _get_egz_GLUECLAMP_._get_eg{{=)))r c6|tSr)rrrs r _get_elemz_GLUECLAMP_._get_elems{{:&&&r cn||jjvr1||}||j|fS||jjvr|jjdkr|jj dr|jj }| d}|jj }|j j}t||d|||d}d|}||j|fS||j|fS)Nzz  )r<stringrrvanonTypeFunctionr^co_name co_filenamerrco_firstlinenorUrVrSgetblockrgetdoc) rrSrrlineslnumrVblockrjs r rz_GLUECLAMP_._exodocs 47> ! ! $AdhmmD))) )di(((m#z11m'22>BB2*BHHTNNE=/Dj(G %,   $$U455\22EYYu%%F000 0... .r c6|tSr)rr/rs r _get_expredz_GLUECLAMP_._get_expreds{{4555r c4d}||dS)Nc~ td|zn(#t$r|d|zYnwxYwdS)Nz lambda : %szNot a valid expression: %rT)rrrrs r rz&_GLUECLAMP_._get_expression..ps[ =]Q&'''' = = = 7!;<<<<< =4s "::r1rrs r _get_expressionz_GLUECLAMP_._get_expressions'    ~~a...r c6|tSr)rr8rs r _get_expsetz_GLUECLAMP_._get_expsets{{.///r c6|tSr)rrrs r _get_equalsz_GLUECLAMP_._get_equalss{{<(((r c0|jj||g|Ri|Sr)rpfam_mixin_argatom)rr+rSrs r rz_GLUECLAMP_.familys),t{,S$FFFFFFFr c|jjSr)rprxrs r _get__hiding_tag_z_GLUECLAMP_._get__hiding_tag_s {''r c6|tSr)rr)rs r _get_instancez_GLUECLAMP_._get_instancerr c6|tSr)rrrs r _get_intersectionz_GLUECLAMP_._get_intersections{{-...r c6t||jjSr)r_Specification_rrs r _get_LEz_GLUECLAMP_._get_LEsd2?@@@r c|jSrr;rs r _get_SPLEz_GLUECLAMP_._get_SPLEs wr c6|tSr)rrrs r _get_mappingz_GLUECLAMP_._get_mappingrr c6|tSr)rr>rs r _get_matchesz_GLUECLAMP_._get_matchesrr c"t||Sr)r)rrs r mkTestEnvz_GLUECLAMP_.mkTestEnvstT"""r c0|d|S)NcdSrr)rrs r rz%_GLUECLAMP_.newtype..s1r r)rrss r newtypez_GLUECLAMP_.newtypes~~nnd333r c|jjSr)Userrs r _get_nothingz_GLUECLAMP_._get_nothings xr c~|d|||jjz|jzS)N partition)r union_equalsr<nonemptyset_of_disjoint_setsrs r rBz_GLUECLAMP_.partitionsCxx ))#..()12 r c6|tSr)rrrs r _get_predicatez_GLUECLAMP_._get_predicaterr c6|tSr)rrrs r _get_powersetz_GLUECLAMP_._get_powersetrr c|jjSr)rprrs r _get_Anythingz_GLUECLAMP_._get_Anythings {##r cgSrrrs r _get_quotez_GLUECLAMP_._get_quotes r c6|tSr)rrHrs r _get_recurselfz_GLUECLAMP_._get_recurselfrr cFGdd}||S)NcVeZdZgdZdZdZdZdZdZdZ e Z dZ d Z d Zd Zd S) /_GLUECLAMP_._get_relation..RelationSpec))1paxb)2paxa)3defiopfuop)4defipair)5 defitriplech|||j|jSrrrrrrs r _get_spec_1z;_GLUECLAMP_._get_relation..RelationSpec._get_spec_1s&wwqwwqz1:>>???r ch|||j|jSrr_r`s r _get_spec_2z;_GLUECLAMP_._get_relation..RelationSpec._get_spec_2s& AJ ? ?@@Ar c l|j|j|jfz|ddddddddd d zS) NrHrrrrrrrr r )rrrr`s r _get_spec_3z;_GLUECLAMP_._get_relation..RelationSpec._get_spec_3sD aj!*%==dD$T4SWYabbcdr cL||j|jjSrrrrrYr`s r _get_spec_4z;_GLUECLAMP_._get_relation..RelationSpec._get_spec_4swwqudin555r cX||j|jj|jSrrgr`s r _get_spec_5z;_GLUECLAMP_._get_relation..RelationSpec._get_spec_5 s wwqudinae<<.RelationSpec._get__relop sxx ,,,r c|j|fSr)rrrrYs r map_3_to_4z:_GLUECLAMP_._get_relation..RelationSpec.map_3_to_4s1:t2D+Dr c8||j|Sr)_reloprrns r map_3_to_2z:_GLUECLAMP_._get_relation..RelationSpec.map_3_to_2s$++aj$2O2O+Or c|j|SrrqrrrSs r map_4_to_2z:_GLUECLAMP_._get_relation..RelationSpec.map_4_to_2+$+t2D+Dr c|j|Srrtrus r map_5_to_1z:_GLUECLAMP_._get_relation..RelationSpec.map_5_to_1rwr N)rKrMrNrrarcrerhrjrlr map_2_to_1rorrrvryrr r RelationSpecrRsF @ @ @ B B B d d d 6 6 6 = = = - - -J D D D O O O D D D D D D D Dr r{)repcat)rr{s r _get_relationz_GLUECLAMP_._get_relationsG E E E E E E E ED{{<(((r c.|jjjjSr)rrXrtrVrs r _get_relopz_GLUECLAMP_._get_relops}#&++r c"t||Sr)r)rrs r r|z_GLUECLAMP_.repcats%dD111r c6|tSr)rrrs r _get_sequencez_GLUECLAMP_._get_sequencerr c@||jjSr)instancerprs r _get_setz_GLUECLAMP_._get_set s}}T[/000r c4d}||dS)Nc2||ddS)Nc8||kp||Sr)disjoint)r:r.r/s r rzB_GLUECLAMP_._get_set_of_disjoint_sets..p..%sa9P1::a==r za == b or a.disjoint(b))rjrs r rz0_GLUECLAMP_._get_set_of_disjoint_sets..p$s%##A'P'P$=?? ?r zset of disjoint setsrrs r _get_set_of_disjoint_setsz%_GLUECLAMP_._get_set_of_disjoint_sets#s( ? ? ?~~a!7888r c t||jjsl|j|}|j||j|j|jd|}|S)Nr)rrprrvrcallfuncrrr$s r rz_GLUECLAMP_.setcast)sz#t{122 +%%c**C(--TX%6%6""4=)<<&&C r c|jSr)rrs r _get_setofz_GLUECLAMP_._get_setof1s }r c,|dSr)r:rs r _get__static_test_envz!_GLUECLAMP_._get__static_test_env4s~~d###r c6|tSr)rr#rs r _get_synonymsz_GLUECLAMP_._get_synonyms7rr c6|tSr)rr]rs r _get_tupleformz_GLUECLAMP_._get_tupleform:rr c|jjSr)r?rrs r _get_Typez_GLUECLAMP_._get_Type=s x}r c||d||||S)Nr)egr(rrrs r rCz_GLUECLAMP_.union_equals@sCwwtyy$++c*:*:;;}}S))++ +r cD|j||_|Sr)rvrjr)rrrs r rwz_GLUECLAMP_.wrap_source_stringDs,,  r rr)BrKrMrN _chgable__nowrap_ _preload_ _imports_r{r}rrrrrrrrrrrrrrrrrrrr rrr r#r%r'rr+r-r/r2r4r6r8r:r=r@rBrGrIrKrMrOr}rr|rrrrrrrrrrCrwrr r rtrtsI&H II 655///111EEE   ...,,,+++,,, ,,,FFFeeeN333////&&&        ***'''///&666///000)))GGG(((+++///AAA******###444   ,,,+++$$$,,,,),),)\,,,222+++111999 $$$+++,,,+++r rtN)'__doc__r3rrrPrmr|rrrrrrrrrr#r)r/r8r>rHrYr]rrvr|rrrrrr7rr?rrrrtrr r rs: )G)G)G)G)G)G)G)GX*****Z***Zj.*****j***,'''''Z'''T     Z    GHGHGHGHGHJGHGHGHTj_____Z___4 * * * * * * * *44444*444n     :        J   Z$ W W W W WZ W W W $YYYYY*YYY"     J    %%%%%j%%%P        77777j777&22222222&E!!!!!E!!! *m%m%m%m%m%m%m%m%`99999 999x55555555MMMMMMMM                     I   2NNNNNNNNb``````````r