HEX
Server: LiteSpeed
System: Linux standart9.isimtescil.net 3.10.0-962.3.2.lve1.5.26.7.el7.x86_64 #1 SMP Wed Oct 2 07:53:12 EDT 2019 x86_64
User: karalev (5310)
PHP: 8.2.29
Disabled: NONE
$ pwd: /opt/alt/python37/lib64/python3.7/site-packages/guppy/heapy/__pycache__/
Upload Files
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�envZres�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)
r/�
__module__�__qualname__rrrr(r*r-r0rrrrrs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�coder6r4ZvarargsZvarkwrrr�getargnamesGs
zArgNamesFamily.getargnamescCs.y|j}|�|�|kStk
r(dSXdS)NF)�__code__r9r
)r�fr4r8rrr�
func_argnamesPs
zArgNamesFamily.func_argnamescCs<y"|j}|j}|�|�dd�|kStk
r6dSXdS)NrF)�__func__r:r9r
)r�mr4r;r8rrr�
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?ar@z0ArgNamesFamily.c_contains.<locals>.meth_argnamesrr)rr5�typesr�type�hasattrrr)rrrr<r?rAr)rrrr*_s







zArgNamesFamily.c_containsN)r/r1r2rr9r<r?r*rrrrr3Cs
	r3c@s&eZdZddd�Zdd�Zdd�ZdS)	�AttributeFamilyNcCs8|dkr|jj}nt||jj�s*|�|�}|�||f�S)N)r�anyrr�UniSetZc_from�specotup)r�namerBrrrrqs


zAttributeFamily.__call__cCs"|j\}}|�||�}|�||�S)N)r�
gengetattrr")rrrr&rHrBrrrr�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)r/r1r2rrJrMrrrrrDps
rDc@s$eZdZdd�Zdd�Zdd�ZdS)�AdaptupleFamilycOs&tj|f|�|�|�ddd��dS)N�newcSs
|jdS)NrK)r)rrrr�<lambda>�r@z*AdaptupleFamily.__init__.<locals>.<lambda>)rr�
add_export)rr�krrrr�szAdaptupleFamily.__init__cCs0|j�|�\}}|j�|�}|�||f||f�S)N)r�_exodoc�setcast�specoargtup)r�funcrB�docrrrr�szAdaptupleFamily.__call__cCsN|j\}}t|t�r>y||�}WqBtk
r:|�d�SXn|}|�||�S)Nzcalling func failed)rrrr#�failed_exc_infor")rrrr&rVrBrrrrrJ�s

zAdaptupleFamily.c_test_containsN)r/r1r2rrrJrrrrrN�srNc@s4eZdZdd�Zdd�Zdd�Zdd�Zd	d
�ZdS)�CartesianProductFamilycGs|�||�S)N)r)rrArrrr�szCartesianProductFamily.__call__cCs&|j}t|�dkr|dStd��dS)N�rKz*Domain is defined on binary relations only)rr,�	TypeError)rrrArrr�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_coverager7rr5�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�lrfrrr�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&rAZbs�trrrrJ�sz&CartesianProductFamily.c_test_containsN)r/r1r2rr\rhrjrJrrrrrY�s

rYc@s$eZdZdd�Zdd�Zdd�ZdS)�SequenceFamilycCs
|�|�S)N)�specoarg)rrBrrrr�szSequenceFamily.__call__cCs$x|D]}|j�||�sdSqWdS)NFT)rr")rrrr&rrrrrJ�s
zSequenceFamily.c_test_containsccsBx<t|j�D].}x(|�|jj|jg|��D]
}|Vq,WqWdS)N)�range�max_sequence_examples_lengthr_r�cprodr)rrr&rerrrrrh�s zSequenceFamily.c_get_examplesN)r/r1r2rrJrhrrrrrn�srnc@s4eZdZdd�Zdd�Zdd�Zdd�Zd	d
�ZdS)�
MappingFamilycs*tj�f|�|���d�fdd��dS)N�arrowcs��fdd�S)Ncs���|�S)N)�c_arrow)r;)rrrrrP�r@z:MappingFamily.__init__.<locals>.<lambda>.<locals>.<lambda>r)r)r)rrrP�r@z(MappingFamily.__init__.<locals>.<lambda>)rrrQ)rrrRr)rrr�szMappingFamily.__init__cCs|j\}}}t|||�S)N)r�Arrow)rrr;�tf�ts�retrrrru�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)NrKz->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�))rrTr,rr�SyntaxError�endswithr7Zsequencer
�evalrrrr)rr4rx�as_ryrerTrfrm�fnr;rrrr�sD

zMappingFamily.__call__cs.|j\�}��|����fdd�}|�||�S)NcsBy�|�}Wntk
r"�YnX�dk	r:|��|d�SdSdS)NzMapping Return TypeT)r#r")r&r4�r)r;ryrr�g
sz(MappingFamily.c_test_contains.<locals>.g)r�forall)rrrVr&rxr�r)r;ryrrJszMappingFamily.c_test_containscCs |j\}}}dd�|�|�D�S)Ncsg|]��fdd��qS)cs�S)Nr)r4�kwds)rrrrPr@z9MappingFamily.c_get_examples.<locals>.<listcomp>.<lambda>r)rr)rrrsz0MappingFamily.c_get_examples.<locals>.<listcomp>)rr_)rrr&r;rxryrrrrhszMappingFamily.c_get_examplesN)r/r1r2rrurrJrhrrrrrs�s
(rsc@seZdZdd�Zdd�ZdS)�PredicateFamilycCs|�|||f�S)N)r)rrrWrrrr"szPredicateFamily.__call__cCs0|j\}}|||�s,|�d||�|�f�SdS)Nz(pred: doc = %r; failed for element == %sT)rrkrH)rrrr&ZpredrWrrrrJ%s

zPredicateFamily.c_test_containsN)r/r1r2rrJrrrrr�!sr�c@s,eZdZdd�Zdd�Zdd�Zdd�Zd	S)
�PowersetFamilycGs$tj|f|��|�ddd��dS)N�unioncSs|jS)N)r)rrrrrP/r@z)PowersetFamily.__init__.<locals>.<lambda>)rrrQ)rr4rrrr-szPowersetFamily.__init__cCs
|�|�S)N)ro)r�setrrrr1szPowersetFamily.__call__cCs8|jj|jg}y|�|j�}Wntk
r2|SX|S)N)r�Nothingrr_r#)rrr&r�yrrrrh4s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�rrrPCr@z0PowersetFamily.c_test_contains.<locals>.<lambda>r�)rr�rk�isorr�)rrrr&r)r�rrJ>s
zPowersetFamily.c_test_containsN)r/r1r2rrrhrJrrrrr�,s
r�c@seZdZddd�Zdd�ZdS)�	DocFamilyNcCs>|dkr|jjj}n||jjkr.|jj�|�}|�|||f�S)N)rrFZ
NotNothingr��convertr)rrWrBrrrrGs
zDocFamily.__call__cCs|j\}}|�||�S)N)rr")rrrr&rWrBrrrrJOs
zDocFamily.c_test_contains)N)r/r1r2rrJrrrrr�Fs
r�c@s.eZdZdd�Zd
dd�Zdd�Zdd	�ZdS)�RelOpFamilycOs<tj|f|�|�|�ddd��|�ddd��i|_dS)N�domaincSs
|jdS)NrK)r)rrrrrPWr@z&RelOpFamily.__init__.<locals>.<lambda>rpcSs
|jdS)NrZ)r)rrrrrPXr@)rrrQ�memo)rrrRrrrrUszRelOpFamily.__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)rrTr��getr�rHr/r)rr��oprprrVrrrr_szRelOpFamily.__call__cCs�t|�|j��}|s(td|jdd�gSt|�|j��}|sPtd|jdd�gSg}x2|jjjj�	||�D]}|�
||�rj|�|�qjW|S)N�relationr�rp)r^r_r�r`rprr5rarbrc�containsr7)rrr&�domZranrdrgrrrrhqszRelOpFamily.c_get_examplescCs |j\}}}||�s|��SdS)NT)rrk)rrrr&�dr�r�rrrrJ�szRelOpFamily.c_test_contains)N)r/r1r2rrrhrJrrrrr�Ts

r�c@s$eZdZdd�Zdd�Zdd�ZdS)�EqualsFamilycGs|s|jjS|�|�S)N)rr�rG)rr4rrrr�szEqualsFamily.__call__cCs||jkrdS|�d�S)NT�equals)rrk)rrrr&rrrrJ�s
zEqualsFamily.c_test_containscCs|jS)N)r)rrr&rrrrh�szEqualsFamily.c_get_examplesN)r/r1r2rrJrhrrrrr��sr�c@s$eZdZdd�Zdd�Zdd�ZdS)�
ExampleFamilycGs|�|||f�S)N)r)rr��examplesrrrr�szExampleFamily.__call__cCs|j\}}|�||�S)N)rr")rrrr&r�r�rrrrJ�s
zExampleFamily.c_test_containscCs|j\}}|S)N)r)rrr&r�r�rrrrh�s
zExampleFamily.c_get_examplesN)r/r1r2rrJrhrrrrr��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)rrrFr r	r$r,rk)rrrr&r�ZmsrHrrrrrJ�s
zSynonymsFamily.c_test_containsN)r/r1r2rrJrrrrr��sr�c@s$eZdZdd�Zdd�Zdd�ZdS)�InstanceFamilycCs,t||j�s(|�d|j�|�|jf�dS)Nz+InstanceFamily: %s is not an instance of %sT)rrrkrr�)rrrr&rrrrJ�szInstanceFamily.c_test_containscCs|�|j�|j��S)N)r_rrTr)rrr&rrrrh�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)r/r1r2rJrhr(rrrrr��sr�c@seZdZdd�Zdd�ZdS)�ExpressionPredicateFamilycCsd}|�||||f�S)N)r)rr��
expressionrVrrrr�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	rk)
rrrr&r�r�rVr�rHrrrrrJ�s

z)ExpressionPredicateFamily.c_test_containsN)r/r1r2rrJrrrrr��sr�c@seZdZdd�Zdd�ZdS)�ExpressionSetFamilycGsd}|�||||f�S)N)r)rr�r�rVrrrr�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�rVr�rHrrrrrJ�s


z#ExpressionSetFamily.c_test_containsN)r/r1r2rrJrrrrr��sr�c@s$eZdZdd�Zdd�Zdd�ZdS)�
MatchesFamilycOs"tj|f|�|�|jjj|_dS)N)rrrr5�sre)rrrRrrrr�szMatchesFamily.__init__cCs|�|j�|�|f�S)N)rUr��compile)rZregexprrrr�szMatchesFamily.__call__cCs*|j}|j�||�}|dkr&|�d�SdS)Nz
Did not matchT)rr��matchrk)rrrr&Z	regexpobjr>rrrrJ�s

zMatchesFamily.c_test_containsN)r/r1r2rrrJrrrrr��sr�c@s&eZdZdd�Zd	dd�Zdd�ZdS)
�RecurSelfFamilycOs.tj|f|�|�Gdd�d|j�}||_dS)Nc@seZdZdZdS)z+RecurSelfFamily.__init__.<locals>.RecurSpec)rV�recursion_level�recursion_limitN)r/r1r2�	__slots__rrrr�	RecurSpec�sr�)rrrr�)rrrRr�rrrr�szRecurSelfFamily.__init__�
cCs|�||�}||_d|_|S)NrK)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)rVr
rr�rr�r"r)r#r�r�rk)	rrrr&rVr�r�rwZrlrrrrJ
s(


zRecurSelfFamily.c_test_containsN)r�)r/r1r2rrrJrrrrr��s
r�c@seZdZdS)�DummyN)r/r1r2rrrrr�#sr�c@seZdZdd�Zdd�ZdS)�TupleformFamilycCs|�||f�S)N)rG)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,rkr�rl�setattrr")
rrrr&r�r�ZbtZobrH�valrrrrJ+s
zTupleformFamily.c_test_containsN)r/r1r2rrJrrrrr�'sr�c@s$eZdZdd�Zdd�Zdd�ZdS)rvcCs||_||_||_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)r/r1r2rr�r�rrrrrv:srvc@seZdZdd�Zdd�ZdS)�
IdentityArrowcCst�||||�dS)N)rvr)rr��objectrrrrNszIdentityArrow.__init__cCs|S)Nr)rrrrrrQszIdentityArrow.__call__N)r/r1r2rrrrrrr�Msr�c@seZdZdd�ZdS)�
FunctionArrowcCst�||||�||_dS)N)rvrr)rr�r�r��functionrrrrVszFunctionArrow.__init__N)r/r1r2rrrrrr�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__)rrHr�rrr�__getattr__js
z"RepresentationCategory.__getattr__)	r/r1r2�_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)r/r1r2r�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)rCr.r	r�rr�r
)rrHr�rrrr��s

zPRepresentationObjectFamily.init2.<locals>.RepresentationCategorySpec.__getattr__N)r/r1r2rr�rrrr�RepresentationCategorySpec�sr�)r��objects�specs�arrowsrQr�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�)rrHZnormname�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�objrHZgsZsprrr�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;rrrrP�r@z: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#rkr	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)rvr�_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)r/r1r2rr�rrrrr�AlphaSum�sr�)rr�r�r��dirr��
startswith�splitr	r�r�	predicater�rv)
rr�rHZ	arrownameZanr�rmr�Zuniname�Pr�r�rtr)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�)rZonZisosriZnn�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�)rrHr�rr�rrrr�s
z;RepresentationObjectFamily.__call__.<locals>.To.__getattr__N)r/r1r2r�rrr�rrrr�Tosr�)ror�)rrHr�r�rrrrs

z#RepresentationObjectFamily.__call__cCs|�|�}|�||d�S)Nz7RepresentationObjectFamily: not in object specification)r�r")rrrr&r�rrrrJs
z*RepresentationObjectFamily.c_test_containscCs|�|�}|�|�S)N)r�r_)rrr&r�rrrrhs
z)RepresentationObjectFamily.c_get_examplesN)r/r1r2r�r�r�r�r�r�rrJrhrrrrr�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)r/r1r2r�rrrrr�AbstractSet$sr�)rrr)rrrRr�rrrr!szAbstractSetFamily.__init__cCs|�||f�}i|_|S)N)rGr�)rrtr�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&rrmr�)�pararrowr��srcsetrrr�Cs

z'AbstractSetFamily.c_getattr2.<locals>.pzAbstract set attribute: %r)r�rr�rr�)rrrrtr�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&rtr�rmr�rrrrJRs
z!AbstractSetFamily.c_test_containsN)r/r1r2rrrr�rJrrrrr� s

r�c@seZdZdd�Zdd�ZdS)�
ElemFamilycCs
|�|�S)N)ro)rrVrrrr]szElemFamily.__call__cCs|j}||�}|�||d�S)Nr�)rr")rrrr&rVr�rrrrJ`szElemFamily.c_test_containsN)r/r1r2rrJrrrrr�\sr�c@seZdZdd�Zdd�ZdS)�IntersectionFamilycCs|�||f�S)N)rG)rr�r�rrrrgszIntersectionFamily.__call__cs |j\}�|�|��fdd��S)Ncs|��|��d�S)NZIntersection)r")r&r)rr�rrrPlsz4IntersectionFamily.c_test_contains.<locals>.<lambda>)rr�)rrrr&r�r)rr�rrJjs
z"IntersectionFamily.c_test_containsN)r/r1r2rrJrrrrr�fsr�c@seZdZdS)r�N)r/r1r2rrrrr�psr�c@seZdZdS)r)N)r/r1r2rrrrr)tsr)c@seZdZdS)�
CoverageErrorN)r/r1r2rrrrr�xsr�c@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_namesr5rarb�Code�co_findloadednamesr:rA�FunctionTyper/�__defaults__�__closure__r�)rZattribute_namerr;r��nfr�rrrr��s
zLocalEnv.__getattr__N)r)r/r1r2r�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�TestEnvrFrZcCsr||_g|_i|_|dk	rn|�|_}y
|j}Wntk
rHd}YnXt||�}||_||_|�	|j
�|_dS)NrL)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)rr5rArrr�r�r^r��keys�sortr	r:r
�co_varnames�co_argcountrrarbrrrr/r	r
r7�attrr�rFrr)rr�rrArVZlsZselfsetr�rHr;�cor�rr�r�rrrr��sB





zTestEnv.evalcCsvyt|�}Wndtk
rpy|j|}Wn8tk
rbt||jjj�rV|�|�}nt|�}YnXt|�}YnX|S)N)	�iterr[r��KeyErrorrrrFr_r^)r�
collection�itrgrrrr_�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#rkrH�DEBUG)rr�rHrZsubnamerrrr	�szTestEnv.getattrcsjt|t�r���|�St|t�r^t|�dkrD|d�jjkrD|dSt��fdd�|D��Sntd��dS)NrZrKrcsg|]}���|��qSr)rI)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�rrrIs

zTestEnv.gengetattrcCs|j�|�dS)N)r
r7)r�messagerrr�log
szTestEnv.logcCs,t||jjj�rt|�Sd|j�|�SdS)Nz%s)rrrFrr�)rr�rrrrHszTestEnv.namecCsd|S)Nz%sr)rrrrr�	name_collszTestEnv.name_collcCsP|�|�y|�|j|d�Wn,tk
rJ|jjj��}|�|�YnXdS)NzTop spec)	�get_obj_examplesr"rr#rr5�sys�exc_info�dump_failure)rr��tvtrrr�tests
zTestEnv.testcCsh|j�||�}xT|D]L}|dd�}|d}|j�|g�}x$|D]}|�|�|�||d�q@WqWdS)NrrKztesting example of set)r�ZGetExamplesr��
setdefaultr7r")rr�rgr�Zvsr��vrrrr"!s


zTestEnv.get_obj_examplesrKc
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 = rz-----)
�tb_frame�f_coder"r=r:r7�tb_next�f_locals�printrr5�	traceback�print_exception)
rZxxx_todo_changeme3�noraiserB�valuer/r^�tbr;�lorrrr%+s"




zTestEnv.dump_failurecCs@y|�||d�}Wn(tk
r(�Yntk
r:dSX|S)Nr�F)r"r�r#)rrrrrrrr�?szTestEnv.containscCs|�||�S)N)r")rrrrrrrr"HszTestEnv.test_containscCsLy|�||�Wn(tk
r&�Yn"tk
r8dSX|�d|�SdS)NTztest_contains_not, from: %s)r"r�r#rk)rrrrrrr�test_contains_notKszTestEnv.test_contains_notrLcCs |js|�d|�t|��dS)NzFailed:F)�issilentr r))rrrrrrkUszTestEnv.failedcCs&||jjkrdStd|||f��dS)NTz0%s: no examples for collection = %s, message: %s)rr�r�)rZforwhatrrVrrrrr`[szTestEnv.failed_coveragecCs8|jjj��}|\}}}|js4|�d|�||��dS)NzFailed:F)rr5r#r$r6r )rrr$rBr2r/rrrrXas
zTestEnv.failed_exc_infoc	Cs�|�|�}d}x6|D].}|||�s:|�d|�|�|f�S|d7}qW|s�yt|�}|dkr`t�Wn$tk
r�|�d|||�YnXdS)NrKzforall: e = %s, from: %srr�T)r_rkrHr,r�r#r`)rrrVrrgr�r�rrrrr�is


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

zTestEnv.forall_pairsc	Cs�|�|�}d}xr|D]j}xd|�|�D]V}xP|�|�D]B}|||||�sn|�d|�|�|�|�|�|�|f�|d7}q4Wq$WqW|s�|�d|||�dS)NrKz.forall_triples: a = %s, b = %s, c=%s, from: %sr�forall_triplesT)r_rkrHr`)	rrrVrr�r�rr�crrrr8�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)r1)
r]r#r7rr5r#r$r.r%rk)	rrrVrZfailuresrerrr&rrr�forsome�szTestEnv.forsomeN)rK)rL)rL)rL)rL)rL)r/r1r2r�Z
iscompleter6rqr)rr�r_r	rIr rHr!r'r"r%r�r"r5rkr`rXr�r7r8r:rrrrr�s45

	




rc@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�rTr��wrap_source_stringrr�)�_hiding_tag_)z_parent:Usez_parent.Use:isoz_parent.Use:NothingcCs|jjS)N)�_parentrF)rrrr�_get_UniSet�r@z_GLUECLAMP_._get_UniSetcCs|jjS)N)r@r=)rrrr�_get_Doc�r@z_GLUECLAMP_._get_DoccCs|jjS)N)r@ZView)rrrr�	_get_View�r@z_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�setofr/zno wrap:)r=�wraprDr�ZDocError�
__import__�	print_excr.)rr�rHr=rrr�
_wrapattr_�sz_GLUECLAMP_._wrapattr_cCs
|�t�S)N)r�r�)rrrr�_get_abstractset�sz_GLUECLAMP_._get_abstractsetcCs
|�t�S)N)r�rN)rrrr�_get_adaptuple�sz_GLUECLAMP_._get_adaptuplecCs|jS)N)r�)rrrr�_get_any�sz_GLUECLAMP_._get_anycCs
|�t�S)N)r�r3)rrrr�
_get_argnames�sz_GLUECLAMP_._get_argnamescCs
|�t�S)N)r�rD)rrrr�	_get_attr�sz_GLUECLAMP_._get_attrNcCs(|j}x|D]}||�||�M}qW|S)N)rEr)rr�rBrr�rrr�attrs�s
z_GLUECLAMP_.attrscCsdd�}|�|d�S)NcSs,y|rWntk
r&|�d�YnXdS)Nz#boolean: 'if x' raised an exceptionT)r#rk)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&rrrrrP�r@z+_GLUECLAMP_._get_callable.<locals>.<lambda>rT)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)NrKcsg|]}�|��qSrr)rr�)r;rrr�szI_GLUECLAMP_._get_compile.<locals>.mapchildren_default.<locals>.<listcomp>rr)rVr;r)r;r�mapchildren_default�sz5_GLUECLAMP_._get_compile.<locals>.mapchildren_defaultcsg|]}|�f�qSrr)rr2)rWrrr�sz,_GLUECLAMP_._get_compile.<locals>.<listcomp>csg|]\}}|�f�qSrr)rr2rH)rXrrr�scs�|d||�S)NrKr)rVr;)�mapchildren_dispatchrr�mapchildren�sz-_GLUECLAMP_._get_compile.<locals>.mapchildrencsP����x4t�j���D]"\}}t||�rt||�j�|<qW��fdd���S)Ncs�|d|��S)NrKr)rV)�_visitr�rrr[r@z9_GLUECLAMP_._get_compile.<locals>.visitor.<locals>._visit)�copyr^�sym_name�itemsrCr	r=)�Cr2rH)rY�symbol)r[r�r�visitors
z)_GLUECLAMP_._get_compile.<locals>.visitorcs,x&|dd�D]}�|d||�qWdS)NrrKr)rVrir�)�recover_source_dispatchrr�recover_source_node	sz5_GLUECLAMP_._get_compile.<locals>.recover_source_nodecSs,|r|ddkr|�d�|�|d�dS)Nr{�(� r)r7)rVrirrr�recover_source_token
s
z6_GLUECLAMP_._get_compile.<locals>.recover_source_tokencSs,|r|ddkr|�d�|�|d�dS)Nr{)rrdrer)r7)rVrirrr�recover_source_names
z5_GLUECLAMP_._get_compile.<locals>.recover_source_namecSs|�|d�dS)Nr)r7)rVrirrr�recover_source_tight_leftsz;_GLUECLAMP_._get_compile.<locals>.recover_source_tight_leftcSs@|r.|ddd���s.|ddks.|�d�|�|d�dS)Nr{rdrer)�isalnumr7)rVrirrr�recover_source_lpars$
z5_GLUECLAMP_._get_compile.<locals>.recover_source_lparcsg|]\}}|�f�qSrr)rr2rH)rcrrrscsg|]}|�f�qSrr)rr2)rfrrr"s)	�RPAR�LSQB�RSQB�COLON�COMMA�SEMI�DOT�LBRACE�RBRACEcs g}�|d||�d�|�S)NrKrL)r
)rVri)rbrr�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)NrZrrKi$i%i&i'i)i*i+i,i-i.i/i0)i1)rr>i4)�rdi=i>)�ri1r+z%r)�r})r,Zlambdef)rVr;ZlsourceZlnode)rZrtr`rrr'3s2z3_GLUECLAMP_._get_compile.<locals>.wrap_lambdef.testN)r/r1r2r'r)rZrtr`rr�wrap_lambdef2srxcsT|dkrt|||f|��S��|�}�j|dd�}�|��}��|�}��|�}|S)Nr�r)Z	line_info)r�r�Z	ast2tupleZ	tuple2astZ
compileast)r��filename�moder4ZastrVr)rZ�parserrxrr�compile_Es



z*_GLUECLAMP_._get_compile.<locals>.compile_)r5�tokenr{r`�dictrp�N_TOKENS�updater^r]r^�NAMEr	�LPAR)rr}rargrhrj�tokr|r)rZrXrYrWr{rtrbrcrfr`rxr�_get_compile�s:	


z_GLUECLAMP_._get_compilecCs
|�t�S)N)r�rY)rrrr�
_get_cprodSsz_GLUECLAMP_._get_cprodcCs|jj�|�S)N)rFZbyclodo�dictof)rr�rrrr�Vsz_GLUECLAMP_.dictofcCs
|�t�S)N)r�r�)rrrr�_get_docYsz_GLUECLAMP_._get_doccCs$|j|j��}t|�}t|�|S)N)rWr�Zshortestrr.)rr�rWZdorrr�docof\sz_GLUECLAMP_.docofrKcCsX|r
d}nd}|�|d|�}|�|jjjj�|��}|dk	rN|��}t||�t	||�S)Nr�r�rL)
r�rr5rarbrrr\�execr�)rr�Zinitrrzrr�rrrr�bs
z_GLUECLAMP_.evalcCs:ddi}x,tjD]"}|�d�r*|dd�}d||<qW|S)Nr5rZ_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�allrHr�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_firstlinenor5r6r.Zgetblockr
Zgetdoc)	rr�r�r��lines�lnumr6�blockr�rrrrS�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�r~rk)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)rFZfam_mixin_argatom)rrr4r�rrrr��sz_GLUECLAMP_.familycCs|jjS)N)rFr?)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�rs)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�rrrrrP�r@z%_GLUECLAMP_.newtype.<locals>.<lambda>)r�)rrHrrr�newtype�sz_GLUECLAMP_.newtypecCs|jjS)N)�User�)rrrr�_get_nothing�sz_GLUECLAMP_._get_nothingcCs |�d|�|�|jj@|j@�S)N�	partition)rW�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)rFr)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)rGrrr)rr�rrr�_get_spec_1�sz;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get_spec_1cSs|�|�|j|j��S)N)rGrrr)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)rRrr�)rr�rrr�_get_spec_3sz;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get_spec_3cSs|�|j|jj�S)N)rrr�r�r�)rr�rrr�_get_spec_4sz;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get_spec_4cSs|�|j|jj|j�S)N)rrr�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_4r@z:_GLUECLAMP_._get_relation.<locals>.RelationSpec.map_3_to_4cSs|�|j|�S)N)�_relopr)rr�r�rrr�
map_3_to_2r@z:_GLUECLAMP_._get_relation.<locals>.RelationSpec.map_3_to_2cSs
|j|�S)N)r�)rr�r4rrr�
map_4_to_2r@z:_GLUECLAMP_._get_relation.<locals>.RelationSpec.map_4_to_2cSs
|j|�S)N)r�)rr�r4rrr�
map_5_to_1r@z:_GLUECLAMP_._get_relation.<locals>.RelationSpec.map_5_to_1N)r/r1r2r�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�rn)rrrr�
_get_sequencesz_GLUECLAMP_._get_sequencecCs|�|jj�S)N)�instancerF)rrrr�_get_set sz_GLUECLAMP_._get_setcCsdd�}|�|d�S)NcSs|�|dd�d�S)NcSs||kp|�|�S)N)Zdisjoint)r&rrrrrrP%r@zB_GLUECLAMP_._get_set_of_disjoint_sets.<locals>.p.<locals>.<lambda>za == b or a.disjoint(b))r7)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)NrT)rrFr�r=rHZcallfuncrDr�)rrrrrrT)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�)rrVrrrrr>Dsz_GLUECLAMP_.wrap_source_string)N)N)NrK)N)Br/r1r2Z	_chgable_Z_nowrap_Z	_preload_Z	_imports_rArBrCrFrKrLrMrNrOrPrQrSrUr�r�r�r�r�r�r�rr�r�rSr�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�rTr�r�r�r�r�r�r>rrrrr;�s~

g


	.r;N)'�__doc__rrrr3rDrNrYrnrsr�r�r�r�r�r�r�r�r�r�r�r�r�r�rvr�r�r�r�r�r�r�r#r�r)r�rrr;rrrr�<module>sP	,-*J7(1<


@ Telegram