403Webshell
Server IP : 192.158.238.246  /  Your IP : 3.17.173.228
Web Server : LiteSpeed
System : Linux uniform.iwebfusion.net 4.18.0-553.27.1.lve.1.el8.x86_64 #1 SMP Wed Nov 20 15:58:00 UTC 2024 x86_64
User : jenniferflocom ( 1321)
PHP Version : 8.1.32
Disable Function : NONE
MySQL : OFF  |  cURL : ON  |  WGET : ON  |  Perl : ON  |  Python : ON  |  Sudo : OFF  |  Pkexec : OFF
Directory :  /opt/alt/python37/lib64/python3.7/site-packages/guppy/heapy/__pycache__/

Upload File :
current_dir [ Writeable ] document_root [ Writeable ]

 

Command :

[ Back ]     

Current File : /opt/alt/python37/lib64/python3.7/site-packages/guppy/heapy/__pycache__/Spec.cpython-37.opt-1.pyc
B

�][��@s6dZdZdd�ZGdd�d�ZGdd�de�ZGdd	�d	e�ZGd
d�de�ZGdd
�d
e�ZGdd�de�ZGdd�de�Z	Gdd�de�Z
Gdd�de�ZGdd�de�ZGdd�de�Z
Gdd�de�ZGdd�de�ZGdd�de�ZGd d!�d!e�ZGd"d#�d#e�ZGd$d%�d%e�ZGd&d'�d'e�ZGd(d)�d)e�ZGd*d+�d+�ZGd,d-�d-e�ZGd.d/�d/�ZGd0d1�d1e�ZGd2d3�d3e�ZGd4d5�d5�ZGd6d7�d7e�ZGd8d9�d9e�ZGd:d;�d;e�ZGd<d=�d=e�ZGd>d?�d?e �Z!Gd@dA�dAe �Z"GdBdC�dCe �Z#GdDdE�dE�Z$GdFdG�dG�Z%GdHdI�dI�Z&dJS)Ka
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.

�cCsJy
t|d�Stk
rDt|t�r<dd�dd�|D��St|�SXdS)N�briefz(%s)�,cSsg|]}t|��qS�)�briefstr)�.0Zxirr�C/opt/alt/python37/lib64/python3.7/site-packages/guppy/heapy/Spec.py�
<listcomp>szbriefstr.<locals>.<listcomp>)�getattr�AttributeError�
isinstance�tuple�join�str)�xrrrrs

rc@sDeZdZdd�Zdd�Zdd�Zdd�Zd	d
�Zdd�Zd
d�Z	dS)�
SpecFamilycCs&||_|�|j�|j|g8_dS)N)�specmodZdefrefining�AnythingZ	disjoints)�selfZ	unisetmodrrrr�__init__szSpecFamily.__init__cCs|�||�S)N)�Set)r�argrrr�__call__szSpecFamily.__call__cCs.t|t�r|jj�||f�S|j�||�SdS)N)rr�mod�fam_And�_cons�famZ	_and_ATOM)r�a�brrr�c_and s
zSpecFamily.c_andc	Csj|jj}|j��}x@|jD]6}y|�||d�Wntk
rDYqX|�|�qW|jj�	|j�
|��S)Nzselect contains)r�_static_test_envr�
mutnodeset�nodes�
test_contains�	Exception�add�fam_IdentityrZ
immnodeset)rrr�env�res�birrr�_and_ID&s
zSpecFamily._and_IDcCs0|jj}y|�||d�Stk
r*dSXdS)Nz
Spec containsF)rrr"�	TestError)rrrr&rrr�
c_contains2s
zSpecFamily.c_containscCs*|j}t|�|kr&|d|d�d}|S)N�z...)r�len)rrZmax_lenrrrr�c_getlimstr9szSpecFamily.c_getlimstrcCsd|jjt|j�fS)Nz<%s(%s)>)�	__class__�__name__rr)rrrrr�c_get_brief?szSpecFamily.c_get_briefN)
r0�
__module__�__qualname__rrrr)r+r.r1rrrrrsrc@s4eZdZdd�Zdd�Zdd�Zdd�Zd	d
�ZdS)�ArgNamesFamilycGs|�||�S)N)r)r�argsrrrrDszArgNamesFamily.__call__cCsN|jjj}|�|�\}}}|dk	r0|�d|�|dk	rF|�d|�t|�S)Nz*%sz**%s)r�_root�inspectZgetargs�appendr)r�coder7r5ZvarargsZvarkwrrr�getargnamesGs
zArgNamesFamily.getargnamescCs.y|j}|�|�|kStk
r(dSXdS)NF)�__code__r:r
)r�fr5r9rrr�
func_argnamesPs
zArgNamesFamily.func_argnamescCs<y"|j}|j}|�|�dd�|kStk
r6dSXdS)NrF)�__func__r;r:r
)r�mr5r<r9rrr�
meth_argnamesWszArgNamesFamily.meth_argnamescs���fdd�}��fdd�}�jjj}||�p�||�p�t|t�rTt|d�rT||j�p�t|t�rrt|d�rr||j�p�t|d�o�||j�S)Ncs��|�j�S)N)r=r)r<)rrrrr=`�z0ArgNamesFamily.c_contains.<locals>.func_argnamescs��|�j�S)N)r@r)r?)rrrrr@arAz0ArgNamesFamily.c_contains.<locals>.meth_argnamesrr)rr6�typesr�type�hasattrrr)rrrr=r@rBr)rrrr+_s







zArgNamesFamily.c_containsN)r0r2r3rr:r=r@r+rrrrr4Cs
	r4c@s&eZdZddd�Zdd�Zdd�ZdS)	�AttributeFamilyNcCs8|dkr|jj}nt||jj�s*|�|�}|�||f�S)N)r�anyrr�UniSetZc_from�specotup)r�namerCrrrrqs


zAttributeFamily.__call__cCs"|j\}}|�||�}|�||�S)N)r�
gengetattrr")rrrr&rIrCrrrr�c_test_containsys
zAttributeFamily.c_test_containscCs@d|jdf}|jddk	r4|d|jdj}n|d}|S)Nz<AttributeFamily(%r%%s>�rr�)rr)rrrrrr�c_get_brieflimstr~s
z!AttributeFamily.c_get_brieflimstr)N)r0r2r3rrKrNrrrrrEps
rEc@s$eZdZdd�Zdd�Zdd�ZdS)�AdaptupleFamilycOs&tj|f|�|�|�ddd��dS)N�newcSs
|jdS)NrL)r)rrrr�<lambda>�rAz*AdaptupleFamily.__init__.<locals>.<lambda>)rr�
add_export)rr�krrrr�szAdaptupleFamily.__init__cCs0|j�|�\}}|j�|�}|�||f||f�S)N)r�_exodoc�setcast�specoargtup)r�funcrC�docrrrr�szAdaptupleFamily.__call__cCsN|j\}}t|t�r>y||�}WqBtk
r:|�d�SXn|}|�||�S)Nzcalling func failed)rrrr#�failed_exc_infor")rrrr&rWrCrrrrrK�s

zAdaptupleFamily.c_test_containsN)r0r2r3rrrKrrrrrO�srOc@s4eZdZdd�Zdd�Zdd�Zdd�Zd	d
�ZdS)�CartesianProductFamilycGs|�||�S)N)r)rrBrrrr�szCartesianProductFamily.__call__cCs&|j}t|�dkr|dStd��dS)N�rLz*Domain is defined on binary relations only)rr-�	TypeError)rrrBrrr�c_domain�szCartesianProductFamily.c_domaincCsbg}xJt|j�D]<\}}t|�|��}|sB|�d|dd|�sBgS|�|�qW|jjjj	j
|�S)Nzcartesian productzthe argument #%d)�	enumerater�list�get_examples�failed_coverager8rr6�guppy�etc�iterpermute)rrr&�exs�i�ai�exrrr�c_get_examples�sz%CartesianProductFamily.c_get_examplescCs&d}x|jD]}|t|j�}qW|S)Nr)rr-)rr�lrgrrr�c_len�szCartesianProductFamily.c_lencCsj|j}t|�}t|�t|�kr:|�dt|�t|�f�n,x&t||�D]\}}|�||�sFdSqFWdSdS)Nz*cprod of length %d: argument has length %dFT)rrr-�failed�zipr")rrrr&rBZbs�trrrrK�sz&CartesianProductFamily.c_test_containsN)r0r2r3rr]rirkrKrrrrrZ�s

rZc@s$eZdZdd�Zdd�Zdd�ZdS)�SequenceFamilycCs
|�|�S)N)�specoarg)rrCrrrr�szSequenceFamily.__call__cCs$x|D]}|j�||�sdSqWdS)NFT)rr")rrrr&rrrrrK�s
zSequenceFamily.c_test_containsccsBx<t|j�D].}x(|�|jj|jg|��D]
}|Vq,WqWdS)N)�range�max_sequence_examples_lengthr`r�cprodr)rrr&rfrrrrri�s zSequenceFamily.c_get_examplesN)r0r2r3rrKrirrrrro�sroc@s4eZdZdd�Zdd�Zdd�Zdd�Zd	d
�ZdS)�
MappingFamilycs*tj�f|�|���d�fdd��dS)N�arrowcs��fdd�S)Ncs���|�S)N)�c_arrow)r<)rrrrrQ�rAz:MappingFamily.__init__.<locals>.<lambda>.<locals>.<lambda>r)r)r)rrrQ�rAz(MappingFamily.__init__.<locals>.<lambda>)rrrR)rrrSr)rrr�szMappingFamily.__init__cCs|j\}}}t|||�S)N)r�Arrow)rrr<�tf�ts�retrrrrv�szMappingFamily.c_arrowcGs�g}g}d}d}|jj}�x|t|�k�r6||}t|t��r|dkrt|d7}|t|�dksftd��|||�}n�|�d�r�|d7}|||�}|�d|dd�t|�f�|�|�nN|dkr�|d7}|||�}|�d	t|��|�|j�|��ntd
|��n |�dt|��|�||��|d7}qWdd
�	|�d}	t
|	�}
|jj|�}|dk�rp|jj}|�
||
||f�S)NrLz->rz<The '->' 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�))rrUr-rr�SyntaxError�endswithr8Zsequencer
�evalrsrr)rr5ry�as_rzrfrUrgrn�fnr<rrrr�sD

zMappingFamily.__call__cs.|j\�}��|����fdd�}|�||�S)NcsBy�|�}Wntk
r"�YnX�dk	r:|��|d�SdSdS)NzMapping Return TypeT)r#r")r&r5�r)r<rzrr�g
sz(MappingFamily.c_test_contains.<locals>.g)r�forall)rrrWr&ryr�r)r<rzrrKszMappingFamily.c_test_containscCs |j\}}}dd�|�|�D�S)Ncsg|]��fdd��qS)cs�S)Nr)r5�kwds)rrrrQrAz9MappingFamily.c_get_examples.<locals>.<listcomp>.<lambda>r)rr)rrrsz0MappingFamily.c_get_examples.<locals>.<listcomp>)rr`)rrr&r<ryrzrrrriszMappingFamily.c_get_examplesN)r0r2r3rrvrrKrirrrrrt�s
(rtc@seZdZdd�Zdd�ZdS)�PredicateFamilycCs|�|||f�S)N)r)rrrXrrrr"szPredicateFamily.__call__cCs0|j\}}|||�s,|�d||�|�f�SdS)Nz(pred: doc = %r; failed for element == %sT)rrlrI)rrrr&ZpredrXrrrrK%s

zPredicateFamily.c_test_containsN)r0r2r3rrKrrrrr�!sr�c@s,eZdZdd�Zdd�Zdd�Zdd�Zd	S)
�PowersetFamilycGs$tj|f|��|�ddd��dS)N�unioncSs|jS)N)r)rrrrrQ/rAz)PowersetFamily.__init__.<locals>.<lambda>)rrrR)rr5rrrr-szPowersetFamily.__init__cCs
|�|�S)N)rp)r�setrrrr1szPowersetFamily.__call__cCs8|jj|jg}y|�|j�}Wntk
r2|SX|S)N)r�Nothingrr`r#)rrr&r�yrrrri4szPowersetFamily.c_get_examplescs>||jjkr"|�d|j�|��|j�|�|�fdd�d�S)Nz%powerset.test_contains: not a set: %scs|��|d�S)N�powerset)r")r&r)r�rrrQCrAz0PowersetFamily.c_test_contains.<locals>.<lambda>r�)rr�rl�isorr�)rrrr&r)r�rrK>s
zPowersetFamily.c_test_containsN)r0r2r3rrrirKrrrrr�,s
r�c@seZdZddd�Zdd�ZdS)�	DocFamilyNcCs>|dkr|jjj}n||jjkr.|jj�|�}|�|||f�S)N)rrGZ
NotNothingr��convertr)rrXrCrrrrGs
zDocFamily.__call__cCs|j\}}|�||�S)N)rr")rrrr&rXrCrrrrKOs
zDocFamily.c_test_contains)N)r0r2r3rrKrrrrr�Fs
r�c@s.eZdZdd�Zd
dd�Zdd�Zdd	�ZdS)�RelOpFamilycOs<tj|f|�|�|�ddd��|�ddd��i|_dS)N�domaincSs
|jdS)NrL)r)rrrrrQWrAz&RelOpFamily.__init__.<locals>.<lambda>rqcSs
|jdS)Nr[)r)rrrrrQXrA)rrrR�memo)rrrSrrrrUszRelOpFamily.__init__NcCs�|j�|�}|dkr|}n|j�|�}|j�|||f�}|dkr�|dkr\td|�}||_n|}|j|_|�||||f�}||j|||f<|S)N)
�<z<=z==z!=�>z>=�inznot in�iszis notzlambda x,y: x %s y)rrUr��getr�rIr0r)rr��oprqrrWrrrr_szRelOpFamily.__call__cCs�t|�|j��}|s(td|jdd�gSt|�|j��}|sPtd|jdd�gSg}x2|jjjj�	||�D]}|�
||�rj|�|�qjW|S)N�relationr�rq)r_r`r�rarqrr6rbrcrd�containsr8)rrr&�domZranrerhrrrriqszRelOpFamily.c_get_examplescCs |j\}}}||�s|��SdS)NT)rrl)rrrr&�dr�r�rrrrK�szRelOpFamily.c_test_contains)N)r0r2r3rrrirKrrrrr�Ts

r�c@s$eZdZdd�Zdd�Zdd�ZdS)�EqualsFamilycGs|s|jjS|�|�S)N)rr�rH)rr5rrrr�szEqualsFamily.__call__cCs||jkrdS|�d�S)NT�equals)rrl)rrrr&rrrrK�s
zEqualsFamily.c_test_containscCs|jS)N)r)rrr&rrrri�szEqualsFamily.c_get_examplesN)r0r2r3rrKrirrrrr��sr�c@s$eZdZdd�Zdd�Zdd�ZdS)�
ExampleFamilycGs|�|||f�S)N)r)rr��examplesrrrr�szExampleFamily.__call__cCs|j\}}|�||�S)N)rr")rrrr&r�r�rrrrK�s
zExampleFamily.c_test_containscCs|j\}}|S)N)r)rrr&r�r�rrrri�s
zExampleFamily.c_get_examplesN)r0r2r3rrKrirrrrr��sr�c@seZdZdd�Zdd�ZdS)�SynonymsFamilycGs|�||�S)N)r)r�namesrrrr�szSynonymsFamily.__call__cCsr|j}|jj��}x"|D]}|�||�}|�|�qWt|�sL|�d|�t|�dkrn|�dt|�|f�dS)NzSynonyms: no such names: %rrz*Synonyms: %d different nodes for names: %rT)rrrGr r	r$r-rl)rrrr&r�ZmsrIrrrrrK�s
zSynonymsFamily.c_test_containsN)r0r2r3rrKrrrrr��sr�c@s$eZdZdd�Zdd�Zdd�ZdS)�InstanceFamilycCs,t||j�s(|�d|j�|�|jf�dS)Nz+InstanceFamily: %s is not an instance of %sT)rrrlrr�)rrrr&rrrrK�szInstanceFamily.c_test_containscCs|�|j�|j��S)N)r`rrUr)rrr&rrrri�szInstanceFamily.c_get_examplescs|jj�fdd�|jD��S)Ncsg|]}t|�j�r|�qSr)rr)rr()rrrr�sz*InstanceFamily._and_ID.<locals>.<listcomp>)rr%r!)rrrr)rrr)�szInstanceFamily._and_IDN)r0r2r3rKrir)rrrrr��sr�c@seZdZdd�Zdd�ZdS)�ExpressionPredicateFamilycCsd}|�||||f�S)N)r)rr��
expressionrWrrrr�sz"ExpressionPredicateFamily.__call__c
Csh|j\}}}tdd�|�|f�}i}x |D]}|�||�}	|	||<q,W|f|�}	|	sd|�d|�dS)Nzlambda %s:%srzFalse expression: %sT)rr�r
r	rl)
rrrr&r�r�rWr�rIrrrrrK�s

z)ExpressionPredicateFamily.c_test_containsN)r0r2r3rrKrrrrr��sr�c@seZdZdd�Zdd�ZdS)�ExpressionSetFamilycGsd}|�||||f�S)N)r)rr�r�rWrrrr�szExpressionSetFamily.__call__c
	Cs�|j\}}}|j�dd�dt|��|f�}d|ji}x |D]}|�||�}	|	||<q>W|f|�}	|�|	|d|d�|�f�S)Nzlambda %s:(%s)r)�LEr�zexpset(%s, %s))rrr�r
rr�r	r")
rrrr&r�r�rWr�rIrrrrrK�s


z#ExpressionSetFamily.c_test_containsN)r0r2r3rrKrrrrr��sr�c@s$eZdZdd�Zdd�Zdd�ZdS)�
MatchesFamilycOs"tj|f|�|�|jjj|_dS)N)rrrr6�sre)rrrSrrrr�szMatchesFamily.__init__cCs|�|j�|�|f�S)N)rVr��compile)rZregexprrrr�szMatchesFamily.__call__cCs*|j}|j�||�}|dkr&|�d�SdS)Nz
Did not matchT)rr��matchrl)rrrr&Z	regexpobjr?rrrrK�s

zMatchesFamily.c_test_containsN)r0r2r3rrrKrrrrr��sr�c@s&eZdZdd�Zd	dd�Zdd�ZdS)
�RecurSelfFamilycOs.tj|f|�|�Gdd�d|j�}||_dS)Nc@seZdZdZdS)z+RecurSelfFamily.__init__.<locals>.RecurSpec)rW�recursion_level�recursion_limitN)r0r2r3�	__slots__rrrr�	RecurSpec�sr�)rrrr�)rrrSr�rrrr�szRecurSelfFamily.__init__�
cCs|�||�}||_d|_|S)NrL)r�r�r�)r�exprr��srrrrszRecurSelfFamily.__call__c	Cs�y
|j}Wn.tk
r8|j}|�d|�}|_YnX||jj�}y|�||d�}|s^t�Wnbtk
r�||�}|j	}z6||j
kr�|�d|j
�S|d|_	|�||d�}Wd||_	XYnX|S)Nzlambda self:%szrecur with Nothing, ok to failzrecurself: recursion_level = %srZrecur)rWr
rr�rr�r"r*r#r�r�rl)	rrrr&rWr�r�rxZrlrrrrK
s(


zRecurSelfFamily.c_test_containsN)r�)r0r2r3rrrKrrrrr��s
r�c@seZdZdS)�DummyN)r0r2r3rrrrr�#sr�c@seZdZdd�Zdd�ZdS)�TupleformFamilycCs|�||f�S)N)rH)r�formr�rrrr(szTupleformFamily.__call__c
Cst|j\}}t|�}t|�t|�kr<|�dt|�t|�f�St�}x"t||�D]\}}	t|||	�qNW|�||d�S)Nz+tupleform: wrong length: got %d expected %dZ	tupleform)rrr-rlr�rm�setattrr")
rrrr&r�r�ZbtZobrI�valrrrrK+s
zTupleformFamily.c_test_containsN)r0r2r3rrKrrrrr�'sr�c@s$eZdZdd�Zdd�Zdd�ZdS)rwcCs||_||_||_dS)N)�category�source�target)rr�r�r�rrrr;szArrow.__init__cCs|j�|�}|j�||�S)N)r��validate�compose)r�otherrrr�of@szArrow.ofcCs|j�|�}|j�||�S)N)r�r�r�)rr�rrr�toFszArrow.toN)r0r2r3rr�r�rrrrrw:srwc@seZdZdd�Zdd�ZdS)�
IdentityArrowcCst�||||�dS)N)rwr)rr��objectrrrrNszIdentityArrow.__init__cCs|S)Nr)rrrrrrQszIdentityArrow.__call__N)r0r2r3rrrrrrr�Msr�c@seZdZdd�ZdS)�
FunctionArrowcCst�||||�||_dS)N)rwrr)rr�r�r��functionrrrrVszFunctionArrow.__init__N)r0r2r3rrrrrr�Usr�c@s4eZdZdZdZdd�Zdd�Zdd�Zdd	�ZdS)
�RepresentationCategoryNcCs |�t�}|�||�||_dS)N)�family�RepresentationObjectFamily�init2�_fam)rr�specrrrrr_s
zRepresentationCategory.__init__cCs||kS)Nr)rr�rrr�__eq__dszRepresentationCategory.__eq__cCstt|��S)N)�hash�id)rrrr�__hash__gszRepresentationCategory.__hash__cCs|j�|�}||j|<|S)N)r��	getobject�__dict__)rrIr�rrr�__getattr__js
z"RepresentationCategory.__getattr__)	r0r2r3�_derive_origin_�_origin_rr�r�r�rrrrr�[sr�c@sTeZdZdd�Zdd�Zdd�Zdd�Zd	d
�Zdd�Zd
d�Z	dd�Z
dd�ZdS)r�cCs`||_i|_i|_i|_|�d|j�|j}Gdd�d|�}||_Gdd�d|�}||�|_dS)N�
fromuniversalc@seZdZdZdS)z>RepresentationObjectFamily.init2.<locals>.RepresentationObject)r��fromN)r0r2r3r�rrrr�RepresentationObject{sr�c@seZdZdd�Zdd�ZdS)zDRepresentationObjectFamily.init2.<locals>.RepresentationCategorySpeccSs||_|j|_dS)N)r��cat�_cat)rrrrrr�szMRepresentationObjectFamily.init2.<locals>.RepresentationCategorySpec.__init__cSs@t|jd|�r4t|d|�|jj�}||j|<|St|��dS)Nz_get_%s)rDr/r	r�rr�r
)rrIr�rrrr��s

zPRepresentationObjectFamily.init2.<locals>.RepresentationCategorySpec.__getattr__N)r0r2r3rr�rrrr�RepresentationCategorySpec�sr�)r��objects�specs�arrowsrRr�rr�)rr�r�rr�r�rrrr�qsz RepresentationObjectFamily.init2cCs$||f}||jkr|j|St�dS)N)r��	SpecError)rr�ZcodZdcrrr�getarrow�s

z#RepresentationObjectFamily.getarrowcCsb||jkr|j|S|�|�}||jkrB|j||j|<|j|S||�}||j|<|j|<|S)NzNo such object: %r)r��	normonamer�)rrIZnormname�orrrr��s




z$RepresentationObjectFamily.getobjectcCs\|j}||jkr|j|St|jd|d�}|dk	rL||j�}||j|<|Std|��dS)Nz_get_spec_%szgetspec: No spec of %r)rr�r	r�rr�)r�objrIZgsZsprrr�getspec�s



z"RepresentationObjectFamily.getspecc
s|j}d|}|�jkr"�j|Si�t�j|��|<xzt�j�D]l}|�d�rBd|ksZqB|�d�\}}|dd�}||krBt�j|��t	�jt�j|�|��fdd���|<qBW��fdd�}d	|}�j
�|d
|�}	|	�j|<�|�}
Gdd�dt
�}|�j|
|��}|�j|<|S)
Nz%s.fromuniversalZmap_Z_to_�cs��j|�S)N)r)r)r<rrrrQ�rAz:RepresentationObjectFamily.fromuniversal.<locals>.<lambda>csry|\}}Wntk
r&|�d�SXt|dd�}|�k	rF|�d�St|dd�}|�krd|�d�S|�||d�S)NzNot a sequence with length 2rz#Tag is not an object of this familyrz%Object is not a source of this targetz&Value is not an element of this object)r#rlr	r")r&�e�O�ArZname_)�Srrr�p�s

z3RepresentationObjectFamily.fromuniversal.<locals>.pz%s.universalzSpecification-set for %rc@s$eZdZdd�Zdd�Zdd�ZdS)z:RepresentationObjectFamily.fromuniversal.<locals>.AlphaSumcSst�||||�||_dS)N)rwr�_S)rr�r�r�r�rrrr�szCRepresentationObjectFamily.fromuniversal.<locals>.AlphaSum.__init__cSs|j|jj�|�S)N)r�r�rr�)rrrrr�__getitem__�szFRepresentationObjectFamily.fromuniversal.<locals>.AlphaSum.__getitem__cSs|\}}||j|�S)N)r)rZxxx_todo_changemer��Errrr�szCRepresentationObjectFamily.fromuniversal.<locals>.AlphaSum.__call__N)r0r2r3rr�rrrrr�AlphaSum�sr�)rr�r�r��dirr��
startswith�splitr	r�r�	predicater�rw)
rr�rIZ	arrownameZanr�rnr�Zuniname�Pr�r�rur)r�r<rrr��s0






z(RepresentationObjectFamily.fromuniversalcCsjt|jdd�}|dk	rfxN|jjD]B}d}x8|D]0}|��r>|}||kr.|dk	rR|Std|��q.Wq W|S)N�_isos_z*No numeric object name corresponding to %r)r	r�r��isdigitr�)r�onZisosrjZnn�nrrrr��s
z$RepresentationObjectFamily.normonamecCs&|�|�}Gdd�d�}||�|_|S)Nc@s(eZdZdZdd�Zdd�Zdd�ZdS)	z/RepresentationObjectFamily.__call__.<locals>.To)r�cSs
||_dS)N)r�)rr�rrrrsz8RepresentationObjectFamily.__call__.<locals>.To.__init__cSs|jj�|j|�S)N)r�rr�)rr�rrrrsz8RepresentationObjectFamily.__call__.<locals>.To.__call__cSs"|j}|j}|�|�}|�||�S)N)r�rr�r�)rrIr�rr�rrrr�s
z;RepresentationObjectFamily.__call__.<locals>.To.__getattr__N)r0r2r3r�rrr�rrrr�Tosr�)rpr�)rrIr�r�rrrrs

z#RepresentationObjectFamily.__call__cCs|�|�}|�||d�S)Nz7RepresentationObjectFamily: not in object specification)r�r")rrrr&r�rrrrKs
z*RepresentationObjectFamily.c_test_containscCs|�|�}|�|�S)N)r�r`)rrr&r�rrrris
z)RepresentationObjectFamily.c_get_examplesN)r0r2r3r�r�r�r�r�r�rrKrirrrrr�ps
Cr�c@s4eZdZdd�Zdd�Zdd�Zdd�Zd	d
�ZdS)�AbstractSetFamilycOs.tj|f|�|�Gdd�d|j�}||_dS)Nc@seZdZdZdd�ZdS)z/AbstractSetFamily.__init__.<locals>.AbstractSet)�_memocSs||_||_d|_i|_dS)N)rrr�r�)rrrrrrr'sz8AbstractSetFamily.__init__.<locals>.AbstractSet.__init__N)r0r2r3r�rrrrr�AbstractSet$sr�)rrr)rrrSr�rrrr!szAbstractSetFamily.__init__cCs|�||f�}i|_|S)N)rHr�)rrur�r�rrrr.szAbstractSetFamily.__call__cCsB|j|kr4|j\}}|j\}}||kr4||||@�S|j�||�S)N)rrZ
_rand_ATOM)rrrZaaZsaZabZsbrrrr3s


zAbstractSetFamily.c_andcs\||jkr|j|S|j\}�||��j����fdd�}|j�|d|�}||j|<|S)Ncs,|��|d�}|r(�|�}|��|d�}|S)Nz AbstractSet: not in arrow.sourcez AbstractSet: not in argument set)r"r�r�)r&rrnr�)�pararrowr��srcsetrrr�Cs

z'AbstractSetFamily.c_getattr2.<locals>.pzAbstract set attribute: %r)r�rr�rr�)rrrrur�r�r)r�r�r�r�
c_getattr2;s



zAbstractSetFamily.c_getattr2cCs8|j\}}|�|j|d�}|r4||�}|�||d�}|S)Nz AbstractSet: not in arrow.sourcez AbstractSet: not in argument set)rr"r�)rrrr&rur�rnr�rrrrKRs
z!AbstractSetFamily.c_test_containsN)r0r2r3rrrr�rKrrrrr� s

r�c@seZdZdd�Zdd�ZdS)�
ElemFamilycCs
|�|�S)N)rp)rrWrrrr]szElemFamily.__call__cCs|j}||�}|�||d�S)Nr�)rr")rrrr&rWr�rrrrK`szElemFamily.c_test_containsN)r0r2r3rrKrrrrr�\sr�c@seZdZdd�Zdd�ZdS)�IntersectionFamilycCs|�||f�S)N)rH)rr�r�rrrrgszIntersectionFamily.__call__cs |j\}�|�|��fdd��S)Ncs|��|��d�S)NZIntersection)r")r&r)rr�rrrQlsz4IntersectionFamily.c_test_contains.<locals>.<lambda>)rr�)rrrr&r�r)rr�rrKjs
z"IntersectionFamily.c_test_containsN)r0r2r3rrKrrrrrfsrc@seZdZdS)r�N)r0r2r3rrrrr�psr�c@seZdZdS)r*N)r0r2r3rrrrr*tsr*c@seZdZdS)�
CoverageErrorN)r0r2r3rrrrrxsrc@s"eZdZdZddd�Zdd�ZdS)	�LocalEnv�ADDrcCs||_||_d|_||_dS)N)�_mod�_specr��nodoc)rrr�rrrrrszLocalEnv.__init__cCsb|j}t|j|�}|j�|jjjj�|j	��}|jj
�|j	||j|j
|j�}|d�}||j|<|S)Nr)rr	r�_load_namesr6rbrc�Code�co_findloadednamesr;rB�FunctionTyper0�__defaults__�__closure__r�)rZattribute_namerr<r��nfr�rrrr��s
zLocalEnv.__getattr__N)r)r0r2r3r�rr�rrrrr|s
rc@s�eZdZdZdZdZdZeZdd�Zdd�Z	dd	�Z
d
d�Zdd
�Zdd�Z
dd�Zdd�Zdd�Zdd�Zd1dd�Zdd�Zdd�Zdd �Zd2d"d#�Zd$d%�Zd&d'�Zd3d(d)�Zd4d*d+�Zd5d,d-�Zd6d.d/�Zd0S)7�TestEnvrFr[cCsr||_g|_i|_|dk	rn|�|_}y
|j}Wntk
rHd}YnXt||�}||_||_|�	|j
�|_dS)NrM)r�messagesr�r��LocalEnvExprr
rZ_OBJ_r�r�ZGlueTypeExpr�topspec)rr�Specr�Zlexr�rrrr�s


zTestEnv.__init__c	Cs.|j}|jj}t|tf�r4|j�d|�}||j�Sg}d}t|j�	��}|�
�x�|D]�}t||�}	y
|	j}
Wnt
k
r�wXYnX|
jd|
j�dkr�|�|jjjj�|
��}|jj�|	j||	j|	j|	j�}|d�}
|dkr�|
}n|�|�||
��qXtd��qXW|dk	�r|�|�|jj�|�}|S)Nzlambda LE:(
%s
))�INrZ_SELF_z#TestEnv.eval: invalid argument mode)rr6rBrrr�r�r_r��keys�sortr	r;r
�co_varnames�co_argcountrrbrcrr	r
r0rrr8�attrr�rGrr)rr�rrBrWZlsZselfsetr�rIr<�cor�r
r�r�rrrr��sB





zTestEnv.evalcCsvyt|�}Wndtk
rpy|j|}Wn8tk
rbt||jjj�rV|�|�}nt|�}YnXt|�}YnX|S)N)	�iterr\r��KeyErrorrrrGr`r_)r�
collection�itrhrrrr`�szTestEnv.get_examplescCs�d|krl|}x�|�d�D]N}yt||�}Wqtk
rd|�d|�|�|fd|�|�|f�SXqWn>yt||�}Wn.tk
r�tr��|�d|�|�|f�SX|S)N�.zgetattr: %s has no attribute %rz ,
because %s has no attribute %rzattr: %s has no attribute %r)r�r	r#rlrI�DEBUG)rr�rIrZsubnamerrrr	�szTestEnv.getattrcsjt|t�r���|�St|t�r^t|�dkrD|d�jjkrD|dSt��fdd�|D��Sntd��dS)Nr[rLrcsg|]}���|��qSr)rJ)r�nt)r�rrrr	sz&TestEnv.gengetattr.<locals>.<listcomp>z0gengetattr: I am picky, required string or tuple)rrr	rr-rZquoter\)rr�Z
name_or_tupler)r�rrrJs

zTestEnv.gengetattrcCs|j�|�dS)N)rr8)r�messagerrr�log
szTestEnv.logcCs,t||jjj�rt|�Sd|j�|�SdS)Nz%s)rrrGrr�)rr�rrrrIszTestEnv.namecCsd|S)Nz%sr)rrrrr�	name_collszTestEnv.name_collcCsP|�|�y|�|j|d�Wn,tk
rJ|jjj��}|�|�YnXdS)NzTop spec)	�get_obj_examplesr"rr#rr6�sys�exc_info�dump_failure)rr��tvtrrr�tests
zTestEnv.testcCsh|j�||�}xT|D]L}|dd�}|d}|j�|g�}x$|D]}|�|�|�||d�q@WqWdS)NrrLztesting example of set)r�ZGetExamplesr��
setdefaultr8r")rr�rhr�Zvsr��vrrrr$!s


zTestEnv.get_obj_examplesrLc
Cs�|\}}}g}|}x2|dk	rD|j}|j|jjjkr<|�|�|j}qWxL|D]D}|j}	td|	df�td|	df�td|	d�td�qLW|r�|j	j
j�|||�n�dS)Nza = %rrzb = %rrz
message = r!z-----)
�tb_frame�f_coder"r>r;r8�tb_next�f_locals�printrr6�	traceback�print_exception)
rZxxx_todo_changeme3�noraiserC�valuer1r_�tbr<�lorrrr'+s"




zTestEnv.dump_failurecCs@y|�||d�}Wn(tk
r(�Yntk
r:dSX|S)Nr�F)r"rr#)rrrrrrrr�?szTestEnv.containscCs|�||�S)N)r")rrrr!rrrr"HszTestEnv.test_containscCsLy|�||�Wn(tk
r&�Yn"tk
r8dSX|�d|�SdS)NTztest_contains_not, from: %s)r"rr#rl)rrrr!rrr�test_contains_notKszTestEnv.test_contains_notrMcCs |js|�d|�t|��dS)NzFailed:F)�issilentr"r*)rr!rrrrlUszTestEnv.failedcCs&||jjkrdStd|||f��dS)NTz0%s: no examples for collection = %s, message: %s)rr�r)rZforwhatrrWr!rrrra[szTestEnv.failed_coveragecCs8|jjj��}|\}}}|js4|�d|�||��dS)NzFailed:F)rr6r%r&r8r")rr!r&rCr4r1rrrrYas
zTestEnv.failed_exc_infoc	Cs�|�|�}d}x6|D].}|||�s:|�d|�|�|f�S|d7}qW|s�yt|�}|dkr`t�Wn$tk
r�|�d|||�YnXdS)NrLzforall: e = %s, from: %srr�T)r`rlrIr-rr#ra)rrrWr!rhr�r�rrrrr�is


zTestEnv.forallc	Cs||�|�}d}xT|D]L}xF|�|�D]8}||||�sT|�d|�|�|�|�|f�|d7}q$WqW|sx|�d|||�dS)NrLz&forall_pairs: a = %s, b = %s, from: %sr�forall_pairsT)r`rlrIra)rrrWr!r�r�rrrrrr9{s

zTestEnv.forall_pairsc	Cs�|�|�}d}xr|D]j}xd|�|�D]V}xP|�|�D]B}|||||�sn|�d|�|�|�|�|�|�|f�|d7}q4Wq$WqW|s�|�d|||�dS)NrLz.forall_triples: a = %s, b = %s, c=%s, from: %sr�forall_triplesT)r`rlrIra)	rrrWr!r�r�rr�crrrr:�s

"zTestEnv.forall_triplesc		Cs�g}xXt|�D]L\}}y||�}Wn.tk
rP|�||jjj��f�wYnX|rdSqWx*|D]"\}}td|�|j|dd�qdW|�	|�dS)NTz%forsome: exception at collection[%d]:r)r3)
r^r#r8rr6r%r&r0r'rl)	rrrWr!Zfailuresrfrrr(rrr�forsome�szTestEnv.forsomeN)rL)rM)rM)rM)rM)rM)r0r2r3r�Z
iscompleter8rrr*rr�r`r	rJr"rIr#r)r$r'r�r"r7rlrarYr�r9r:r<rrrrr�s45

	




rc@s�eZdZdZdZdZdZdd�Zdd�Zd	d
�Z	dd�Z
d
d�Zdd�Zdd�Z
dd�Zdd�Zdd�Zd}dd�Zdd�Zdd�Zd d!�Zd"d#�Zd~d$d%�Zd&d'�Zd(d)�Zdd+d,�Zd-d.�Zd�d/d0�Zd1d2�Zd3d4�Zd5d6�Zd7d8�Zd9d:�Z d;d<�Z!d=d>�Z"d?d@�Z#dAdB�Z$dCdD�Z%dEdF�Z&dGdH�Z'dIdJ�Z(dKdL�Z)dMdN�Z*dOdP�Z+dQdR�Z,dSdT�Z-dUdV�Z.dWdX�Z/dYdZ�Z0d[d\�Z1d]d^�Z2d_d`�Z3dadb�Z4dcdd�Z5dedf�Z6dgdh�Z7didj�Z8dkdl�Z9dmdn�Z:dodp�Z;dqdr�Z<dsdt�Z=dudv�Z>dwdx�Z?dydz�Z@d{d|�ZAdS)��_GLUECLAMP_)�_loaded)	r��Docr�r�rUr��wrap_source_stringrr�)�_hiding_tag_)z_parent:Usez_parent.Use:isoz_parent.Use:NothingcCs|jjS)N)�_parentrG)rrrr�_get_UniSet�rAz_GLUECLAMP_._get_UniSetcCs|jjS)N)rBr?)rrrr�_get_Doc�rAz_GLUECLAMP_._get_DoccCs|jjS)N)rBZView)rrrr�	_get_View�rAz_GLUECLAMP_._get_ViewcCs|j�|jjd�S)Nzguppy.heapy.Spec)r?�	attribute�root)rrrr�
_get__origin_�sz_GLUECLAMP_._get__origin_cCsZ|j}|dkry|�||�|j|��}Wn,|jk
rTtd���td|�YnX|S)N�setofr1zno wrap:)r?�wraprFr�ZDocError�
__import__�	print_excr0)rr�rIr?rrr�
_wrapattr_�sz_GLUECLAMP_._wrapattr_cCs
|�t�S)N)r�r�)rrrr�_get_abstractset�sz_GLUECLAMP_._get_abstractsetcCs
|�t�S)N)r�rO)rrrr�_get_adaptuple�sz_GLUECLAMP_._get_adaptuplecCs|jS)N)r�)rrrr�_get_any�sz_GLUECLAMP_._get_anycCs
|�t�S)N)r�r4)rrrr�
_get_argnames�sz_GLUECLAMP_._get_argnamescCs
|�t�S)N)r�rE)rrrr�	_get_attr�sz_GLUECLAMP_._get_attrNcCs(|j}x|D]}||�||�M}qW|S)N)rFr)rr�rCrr�rrr�attrs�s
z_GLUECLAMP_.attrscCsdd�}|�|d�S)NcSs,y|rWntk
r&|�d�YnXdS)Nz#boolean: 'if x' raised an exceptionT)r#rl)r&rrrrr��sz#_GLUECLAMP_._get_boolean.<locals>.p�boolean)r�)rr�rrr�_get_boolean�sz_GLUECLAMP_._get_booleancCs|�dd�d�S)NcSst|�S)N)�callable)r&rrrrrQ�rAz+_GLUECLAMP_._get_callable.<locals>.<lambda>rV)r�)rrrr�
_get_callable�sz_GLUECLAMP_._get_callablecsb|jj}|jj�|jj�	dd��dd��t�fdd�t|j�D�����t�fdd�t�	j	�
��D����fdd	����	fd
d�}�fdd
��dd��dd�}dd�}dd�}t�fdd�t�	j	�
��D�����t�fdd�t|j�D���|�|j<xdD]}|�t||�<�qW|�|j
<�fdd��G���	fdd�d��
|�
��
���
fdd�}|S)NcSs|S)Nr)�noder<rrr�mapchildren_id�sz0_GLUECLAMP_._get_compile.<locals>.mapchildren_idcs$|dg�fdd�|dd�D�S)NrLcsg|]}�|��qSrr)rr�)r<rrr�szI_GLUECLAMP_._get_compile.<locals>.mapchildren_default.<locals>.<listcomp>rr)rXr<r)r<r�mapchildren_default�sz5_GLUECLAMP_._get_compile.<locals>.mapchildren_defaultcsg|]}|�f�qSrr)rr4)rYrrr�sz,_GLUECLAMP_._get_compile.<locals>.<listcomp>csg|]\}}|�f�qSrr)rr4rI)rZrrr�scs�|d||�S)NrLr)rXr<)�mapchildren_dispatchrr�mapchildren�sz-_GLUECLAMP_._get_compile.<locals>.mapchildrencsP����x4t�j���D]"\}}t||�rt||�j�|<qW��fdd���S)Ncs�|d|��S)NrLr)rX)�_visitr�rrr]rAz9_GLUECLAMP_._get_compile.<locals>.visitor.<locals>._visit)�copyr_�sym_name�itemsrDr	r>)�Cr4rI)r[�symbol)r]r�r�visitors
z)_GLUECLAMP_._get_compile.<locals>.visitorcs,x&|dd�D]}�|d||�qWdS)NrrLr)rXrjr�)�recover_source_dispatchrr�recover_source_node	sz5_GLUECLAMP_._get_compile.<locals>.recover_source_nodecSs,|r|ddkr|�d�|�|d�dS)Nr|�(� r)r8)rXrjrrr�recover_source_token
s
z6_GLUECLAMP_._get_compile.<locals>.recover_source_tokencSs,|r|ddkr|�d�|�|d�dS)Nr|)rrfrgr)r8)rXrjrrr�recover_source_names
z5_GLUECLAMP_._get_compile.<locals>.recover_source_namecSs|�|d�dS)Nr)r8)rXrjrrr�recover_source_tight_leftsz;_GLUECLAMP_._get_compile.<locals>.recover_source_tight_leftcSs@|r.|ddd���s.|ddks.|�d�|�|d�dS)Nr|rfrgr)�isalnumr8)rXrjrrr�recover_source_lpars$
z5_GLUECLAMP_._get_compile.<locals>.recover_source_lparcsg|]\}}|�f�qSrr)rr4rI)rerrrscsg|]}|�f�qSrr)rr4)rhrrr"s)	�RPAR�LSQB�RSQB�COLON�COMMA�SEMI�DOT�LBRACE�RBRACEcs g}�|d||�d�|�S)NrLrM)r
)rXrj)rdrr�recover_source-sz0_GLUECLAMP_._get_compile.<locals>.recover_sourcecseZdZ���fdd�ZdS)z._GLUECLAMP_._get_compile.<locals>.wrap_lambdefc#s�t|�dkr�|dd�jkrƈ|d�}�|d|�}dddddd	d
ddd
dddddddd|ffdddddddd	d
ddd
ddddd|ffffffffffffffffdfffffffffffffS�||�S)Nr[rrLi$i%i&i'i)i*i+i,i-i.i/i0)i1)rr@i4)�rfi=i>)�ri1r,z%r)�r~)r-Zlambdef)rXr<ZlsourceZlnode)r\rvrbrrr)3s2z3_GLUECLAMP_._get_compile.<locals>.wrap_lambdef.testN)r0r2r3r)r)r\rvrbrr�wrap_lambdef2srzcsT|dkrt|||f|��S��|�}�j|dd�}�|��}��|�}��|�}|S)Nr�r)Z	line_info)r�r�Z	ast2tupleZ	tuple2astZ
compileast)r��filename�moder5ZastrXr)r\�parserrzrr�compile_Es



z*_GLUECLAMP_._get_compile.<locals>.compile_)r6�tokenr}rb�dictrq�N_TOKENS�updater_r_r`�NAMEr	�LPAR)rrrcrirjrl�tokr~r)r\rZr[rYr}rvrdrerhrbrzr�_get_compile�s:	


z_GLUECLAMP_._get_compilecCs
|�t�S)N)r�rZ)rrrr�
_get_cprodSsz_GLUECLAMP_._get_cprodcCs|jj�|�S)N)rGZbyclodo�dictof)rr�rrrr�Vsz_GLUECLAMP_.dictofcCs
|�t�S)N)r�r�)rrrr�_get_docYsz_GLUECLAMP_._get_doccCs$|j|j��}t|�}t|�|S)N)rXr�Zshortestrr0)rr�rXZdorrr�docof\sz_GLUECLAMP_.docofrLcCsX|r
d}nd}|�|d|�}|�|jjjj�|��}|dk	rN|��}t||�t	||�S)Nr�r�rM)
r�rr6rbrcrr	r^�execr�)rr�Zinitrr|rr�rrrr�bs
z_GLUECLAMP_.evalcCs:ddi}x,tjD]"}|�d�r*|dd�}d||<qW|S)Nr6rZ_get_�)r=r�r�)rr�rrrr�_get_all_namesps
z_GLUECLAMP_._get_all_namescCst|dkr4d|jkrZx|jD]}t||�qWd|_n&|j}x|D]}||kr@t||�q@W|j}|jjd|d<|S)Nr>r�__builtins__)r�Z	all_namesr	r>r�__globals__)rr�r�allrIr�rrrrxs

z_GLUECLAMP_._load_namescCs
|�t�S)N)r�r�)rrrr�_get_eg�sz_GLUECLAMP_._get_egcCs
|�t�S)N)r�r�)rrrr�	_get_elem�sz_GLUECLAMP_._get_elemc	Cs�||jjkr&|�|�}||j�|�fS||jjkr�|jjdkr�|jj	�
d�r�|jj	}|�d�}|jj}|j
j}t||d��|�||d��}d�|�}||j�|�fS||j�|�fSdS)Nz<lambda>z<!SPECEVAL!>�
)r��stringr�r?Zanon�TypeZFunctionr;�co_name�co_filenamer�r��co_firstlinenor6r7r0Zgetblockr
Zgetdoc)	rr�r�r��lines�lnumr7�blockr�rrrrT�s


z_GLUECLAMP_._exodoccCs
|�t�S)N)r�r�)rrrr�_get_expred�sz_GLUECLAMP_._get_expredcCsdd�}|�|d�S)NcSs8ytd|�Wn"tk
r2|�d|�YnXdS)Nzlambda : %szNot a valid expression: %rT)r�rrl)r&rrrrr��s
z&_GLUECLAMP_._get_expression.<locals>.pr�)r�)rr�rrr�_get_expression�sz_GLUECLAMP_._get_expressioncCs
|�t�S)N)r�r�)rrrr�_get_expset�sz_GLUECLAMP_._get_expsetcCs
|�t�S)N)r�r�)rrrr�_get_equals�sz_GLUECLAMP_._get_equalscOs|jj||f|�|�S)N)rGZfam_mixin_argatom)rrr5r�rrrr��sz_GLUECLAMP_.familycCs|jjS)N)rGrA)rrrr�_get__hiding_tag_�sz_GLUECLAMP_._get__hiding_tag_cCs
|�t�S)N)r�r�)rrrr�
_get_instance�sz_GLUECLAMP_._get_instancecCs
|�t�S)N)r�r)rrrr�_get_intersection�sz_GLUECLAMP_._get_intersectioncCst||jj�S)N)rZ_Specification_r)rrrr�_get_LE�sz_GLUECLAMP_._get_LEcCs|jS)N)r�)rrrr�	_get_SPLE�sz_GLUECLAMP_._get_SPLEcCs
|�t�S)N)r�rt)rrrr�_get_mapping�sz_GLUECLAMP_._get_mappingcCs
|�t�S)N)r�r�)rrrr�_get_matches�sz_GLUECLAMP_._get_matchescCs
t||�S)N)r)rrrrr�	mkTestEnv�sz_GLUECLAMP_.mkTestEnvcCs|�dd�|�S)NcSsdS)Nrr)r�rrrrrQ�rAz%_GLUECLAMP_.newtype.<locals>.<lambda>)r�)rrIrrr�newtype�sz_GLUECLAMP_.newtypecCs|jjS)N)�User�)rrrr�_get_nothing�sz_GLUECLAMP_._get_nothingcCs |�d|�|�|jj@|j@�S)N�	partition)rX�union_equalsr�ZnonemptyZset_of_disjoint_sets)rr�rrrr��sz_GLUECLAMP_.partitioncCs
|�t�S)N)r�r�)rrrr�_get_predicate�sz_GLUECLAMP_._get_predicatecCs
|�t�S)N)r�r�)rrrr�
_get_powerset�sz_GLUECLAMP_._get_powersetcCs|jjS)N)rGr)rrrr�
_get_Anything�sz_GLUECLAMP_._get_AnythingcCsgS)Nr)rrrr�
_get_quote�sz_GLUECLAMP_._get_quotecCs
|�t�S)N)r�r�)rrrr�_get_recurself�sz_GLUECLAMP_._get_recurselfcCsGdd�d�}|�|�S)Nc@sneZdZdddddgZdd�Zdd	�Zd
d�Zdd
�Zdd�Zdd�Z	e
Zdd�Zdd�Z
dd�Zdd�ZdS)z/_GLUECLAMP_._get_relation.<locals>.RelationSpec)�1Zpaxb)�2�paxa)�3�defiop�fuop)�4Zdefipair)�5Z
defitriplecSs|�|�|j|j��S)N)rIrsr)rr�rrr�_get_spec_1�sz;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get_spec_1cSs|�|�|j|j��S)N)rIrsr)rr�rrr�_get_spec_2�sz;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get_spec_2c
Ss.|j|j|jf>|�ddddddddd	d
�
BS)Nr�z<=z==z!=r�z>=r�znot inr�zis not)rTrr�)rr�rrr�_get_spec_3sz;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get_spec_3cSs|�|j|jj�S)N)rsr�r�r�)rr�rrr�_get_spec_4sz;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get_spec_4cSs|�|j|jj|j�S)N)rsr�r�r�)rr�rrr�_get_spec_5	sz;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get_spec_5cSs
|�t�S)N)r�r�)rr�rrr�_get__relopsz;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get__relopcSs
|j|fS)N)r)rr�r�rrr�
map_3_to_4rAz:_GLUECLAMP_._get_relation.<locals>.RelationSpec.map_3_to_4cSs|�|j|�S)N)�_relopr)rr�r�rrr�
map_3_to_2rAz:_GLUECLAMP_._get_relation.<locals>.RelationSpec.map_3_to_2cSs
|j|�S)N)r�)rr�r5rrr�
map_4_to_2rAz:_GLUECLAMP_._get_relation.<locals>.RelationSpec.map_4_to_2cSs
|j|�S)N)r�)rr�r5rrr�
map_5_to_1rAz:_GLUECLAMP_._get_relation.<locals>.RelationSpec.map_5_to_1N)r0r2r3r�r�r�r�r�r�r�r�Z
map_2_to_1r�r�r�r�rrrr�RelationSpec�s r�)�repcat)rr�rrr�
_get_relation�s
"z_GLUECLAMP_._get_relationcCs|jjjjS)N)r�r�r�r�)rrrr�
_get_relopsz_GLUECLAMP_._get_relopcCs
t||�S)N)r�)rr�rrrr�sz_GLUECLAMP_.repcatcCs
|�t�S)N)r�ro)rrrr�
_get_sequencesz_GLUECLAMP_._get_sequencecCs|�|jj�S)N)�instancerG)rrrr�_get_set sz_GLUECLAMP_._get_setcCsdd�}|�|d�S)NcSs|�|dd�d�S)NcSs||kp|�|�S)N)Zdisjoint)r&rrrrrrQ%rAzB_GLUECLAMP_._get_set_of_disjoint_sets.<locals>.p.<locals>.<lambda>za == b or a.disjoint(b))r9)r&rrrrr�$sz0_GLUECLAMP_._get_set_of_disjoint_sets.<locals>.pzset of disjoint sets)r�)rr�rrr�_get_set_of_disjoint_sets#sz%_GLUECLAMP_._get_set_of_disjoint_setsc	CsBt||jj�s>|j�|�}|j�||j�|j�|jd�|��}|S)NrU)rrGr�r?rJZcallfuncrFr�)rrrrrrU)sz_GLUECLAMP_.setcastcCs|jS)N)r�)rrrr�
_get_setof1sz_GLUECLAMP_._get_setofcCs
|�d�S)N)r�)rrrr�_get__static_test_env4sz!_GLUECLAMP_._get__static_test_envcCs
|�t�S)N)r�r�)rrrr�
_get_synonyms7sz_GLUECLAMP_._get_synonymscCs
|�t�S)N)r�r�)rrrr�_get_tupleform:sz_GLUECLAMP_._get_tupleformcCs|jjS)N)r�r�)rrrr�	_get_Type=sz_GLUECLAMP_._get_TypecCs |�|�d|�|��|�|��S)Nr�)Zegrr�r�)rr�rrrr�@sz_GLUECLAMP_.union_equalscCs|j�|�|_|S)N)r?r�r�)rrWrrrrr@Dsz_GLUECLAMP_.wrap_source_string)N)N)NrL)N)Br0r2r3Z	_chgable_Z_nowrap_Z	_preload_Z	_imports_rCrDrErHrMrNrOrPrQrRrSrUrWr�r�r�r�r�r�r�rr�r�rTr�r�r�r�r�r�r�r�r�r�r�r�r�r�r�r�r�r�r�r�r�r�r�r�r�r�r�rUr�r�r�r�r�r�r@rrrrr=�s~

g


	.r=N)'�__doc__rrrr4rErOrZrortr�r�r�r�r�r�r�r�r�r�r�r�r�r�rwr�r�r�r�r�r�rr#r�r*rrrr=rrrr�<module>sP	,-*J7(1<



Youez - 2016 - github.com/yon3zu
LinuXploit