ok

Mini Shell

Direktori : /opt/cloudlinux/venv/lib64/python3.11/site-packages/guppy/heapy/__pycache__/
Upload File :
Current File : //opt/cloudlinux/venv/lib64/python3.11/site-packages/guppy/heapy/__pycache__/Spec.cpython-311.pyc

�

�܋f[�����dZdZd�ZGd�d��ZGd�de��ZGd�de��ZGd	�d
e��ZGd�de��ZGd
�de��ZGd�de��Z	Gd�de��Z
Gd�de��ZGd�de��ZGd�de��Z
Gd�de��ZGd�de��ZGd�de��ZGd�d e��ZGd!�d"e��ZGd#�d$e��ZGd%�d&e��ZGd'�d(e��ZGd)�d*��ZGd+�d,e��ZGd-�d.��ZGd/�d0e��ZGd1�d2e��ZGd3�d4��ZGd5�d6e��ZGd7�d8e��ZGd9�d:e��ZGd;�d<e��ZGd=�d>e ��Z!Gd?�d@e ��Z"GdA�dBe ��Z#GdC�dD��Z$GdE�dF��Z%GdG�dH��Z&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|d��S#t$rKt|t��r$dd�d�|D����zcYSt|��cYSwxYw)N�briefz(%s)�,c�,�g|]}t|����S�)�briefstr)�.0�xis  �c/builddir/build/BUILD/cloudlinux-venv-1.0.6/venv/lib64/python3.11/site-packages/guppy/heapy/Spec.py�
<listcomp>zbriefstr.<locals>.<listcomp>s��&@�&@�&@��x��|�|�&@�&@�&@�)�getattr�AttributeError�
isinstance�tuple�join�str��xs rrrs�����q�'�"�"�"�������a����	C��S�X�X�&@�&@�a�&@�&@�&@�A�A�B�B�B�B��1�v�v�
�
�
����s��AA'�A'�&A'c�8�eZdZd�Zd�Zd�Zd�Zd�Zd�Zd�Z	dS)	�
SpecFamilyc�j�||_|�|j��|xj|gzc_dS�N)�specmod�defrefining�Anything�	disjoints)�self�	unisetmodrs   r�__init__zSpecFamily.__init__s6���������+�,�,�,����4�&� ����r
c�.�|�||��Sr��Set�r�args  r�__call__zSpecFamily.__call__s���x�x��c�"�"�"r
c��t|t��r!|jj�||f��S|j�||��Sr)rr�mod�fam_And�_cons�fam�	_and_ATOM�r�a�bs   r�c_andzSpecFamily.c_and sG���a��$�$�	)��8�#�)�)�1�a�&�1�1�1��5�?�?�1�a�(�(�(r
c�H�|jj}|j���}|jD]?}	|�||d��|�|���0#t$rY�<wxYw|jj�	|j�
|����S)Nzselect contains)r�_static_test_envr(�
mutnodeset�nodes�
test_contains�add�	Exception�fam_Identityr*�
immnodeset)rr.r/�env�res�bis      r�_and_IDzSpecFamily._and_ID&s����l�+���h�!�!�#�#���'�	�	�B�
��!�!�!�R�):�;�;�;�����������
�
�
���
�����x�$�*�*�4�8�+>�+>�s�+C�+C�D�D�Ds�A�
A*�)A*c�l�|jj}	|�||d��S#t$rYdSwxYw)Nz
Spec containsF)rr2r5�	TestError�rr.r/r:s    r�
c_containszSpecFamily.c_contains2sK���l�+��	��$�$�Q��?�;�;�;���	�	�	��5�5�	���s�%�
3�3c�Z�|j}t|��|kr|d|dz
�dz}|S)N�z...)r�len)rr.�max_lenrs    r�c_getlimstrzSpecFamily.c_getlimstr9s5��
�G���q�6�6�G����*�7�1�9�*�
�e�#�A��r
c�L�d|jj�dt|j���d�S)N�<�(z)>)�	__class__�__name__rr%)rr.s  r�c_get_briefzSpecFamily.c_get_brief?s&���!�^�4�4�4�h�q�u�o�o�o�o�F�Fr
N)
rK�
__module__�__qualname__r r&r0r=rArFrLrr
rrrs�������!�!�!�
#�#�#�)�)�)�
E�
E�
E�������G�G�G�G�Gr
rc�,�eZdZd�Zd�Zd�Zd�Zd�ZdS)�ArgNamesFamilyc�.�|�||��Srr"�r�argss  rr&zArgNamesFamily.__call__Ds���x�x��d�#�#�#r
c���|jjj}|�|��\}}}|�|�d|z��|�|�d|z��t|��S)Nz*%sz**%s)r�_root�inspect�getargs�appendr)r�coderVrS�varargs�varkws      r�getargnameszArgNamesFamily.getargnamesGsk���,�$�,��!(����!6�!6���w�����K�K����(�(�(����K�K����'�'�'��T�{�{�r
c�f�	|j}|�|��|kS#t$rYdSwxYw)NF)�__code__r\r)r�frSrYs    r�
func_argnameszArgNamesFamily.func_argnamesPsI��	��:�D��#�#�D�)�)�T�1�1���	�	�	��5�5�	���s�"�
0�0c��	|j}|j}|�|��dd�|kS#t$rYdSwxYw)NrF)�__func__r^r\r)r�mrSr_rYs     r�
meth_argnameszArgNamesFamily.meth_argnamesWsY��	��
�A��:�D��#�#�D�)�)�!�"�"�-��5�5���	�	�	��5�5�	���s�.1�
?�?c������fd�}��fd�}�jjj}||��p�||��p�t|t��ot|d��o||j��pTt|t��ot|d��o||j��pt|d��o||j��S)Nc�:����|�j��Sr)r`r%)r_r.rs ��rr`z0ArgNamesFamily.c_contains.<locals>.func_argnames`����T�%7�%7��1�5�%A�%A�Ar
c�:����|�j��Sr)rdr%)rcr.rs ��rrdz0ArgNamesFamily.c_contains.<locals>.meth_argnamesargr
r r&)r(rU�typesr�type�hasattrr r&)rr.rr`rdris``    rrAzArgNamesFamily.c_contains_s�����A�A�A�A�A�A�A�A�A�A�A�A����$���
�a� � �	,��
�a� � �	,��A�t�$�$�-��!�Z�(�(�,��-��
�+�+�		,�
�A�t�$�$�-��!�Z�(�(�,��-��
�+�+�	,���J�'�'�+���q�z�*�*�
	r
N)rKrMrNr&r\r`rdrArr
rrPrPCs_������$�$�$��������������r
rPc�"�eZdZdd�Zd�Zd�ZdS)�AttributeFamilyNc��|�
|jj}n/t||jj��s|�|��}|�||f��Sr)r�anyrr(�UniSet�c_from�specotup)r�namerjs   rr&zAttributeFamily.__call__qsP���<��<�#�D�D��d�D�H�O�4�4�
)��{�{�4�(�(���}�}�d�D�\�*�*�*r
c�n�|j\}}|�||��}|�||��Sr)r%�
gengetattrr5)rr.r/r:rsrjrs       r�c_test_containszAttributeFamily.c_test_containsys6���U�
��d��N�N�1�d�#�#���!�!�!�S�)�)�)r
c�~�d|jd�d�}|jd�|d|jdjzz}n|dz}|S)Nz<AttributeFamily(�z%s>rr�)r%r)rr.rs   r�c_get_brieflimstrz!AttributeFamily.c_get_brieflimstr~sI���)*��q����3���5��8���S���q���'�(�A�A��B��A��r
r)rKrMrNr&rvrzrr
rrmrmpsF������+�+�+�+�*�*�*�
����r
rmc� �eZdZd�Zd�Zd�ZdS)�AdaptupleFamilyc�^�tj|g|�Ri|��|�dd���dS)N�newc��|jdS�Nrx�r%rs r�<lambda>z*AdaptupleFamily.__init__.<locals>.<lambda>�s����q��r
�rr �
add_export�rr.�ks   rr zAdaptupleFamily.__init__�sA����D�*�1�*�*�*��*�*�*�����1�1�2�2�2�2�2r
c��|j�|��\}}|j�|��}|�||f||f��Sr)r�_exodoc�setcast�specoargtup)r�funcrj�docs    rr&zAdaptupleFamily.__call__�sN���L�(�(��.�.�	��c��|�#�#�D�)�)������t��s�D�k�:�:�:r
c���|j\}}t|t��r,	||�}n'#t$r|�d��cYSwxYw|}|�||��S)Nzcalling func failed)r%rrr7�failed_exc_infor5)rr.r/r:r�rjrs       rrvzAdaptupleFamily.c_test_contains�s����U�
��d��a����	�
B��D�!�H�����
B�
B�
B��*�*�+@�A�A�A�A�A�
B�����A��!�!�!�S�)�)�)s�'�A	�A	N�rKrMrNr r&rvrr
rr|r|�sA������3�3�3�;�;�;�
	*�	*�	*�	*�	*r
r|c�,�eZdZd�Zd�Zd�Zd�Zd�ZdS)�CartesianProductFamilyc�.�|�||��Srr")rris  rr&zCartesianProductFamily.__call__�����x�x��e�$�$�$r
c�d�|j}t|��dkr|dStd���)N�rxz*Domain is defined on binary relations only)r%rD�	TypeError)rr.ris   r�c_domainzCartesianProductFamily.c_domain�s0������u�:�:��?�?���8�O��D�E�E�Er
c�&�g}t|j��D]]\}}t|�|����}|s|�d|dd|z��sgcS|�|���^|jjjj	j
|�S)Nzcartesian productzthe argument #%d)�	enumerater%�list�get_examples�failed_coveragerXr(rU�guppy�etc�iterpermute)rr.r:�exs�i�ai�exs       r�c_get_examplesz%CartesianProductFamily.c_get_examples�s������q�u�%�%�	�	�E�A�r��c�&�&�r�*�*�+�+�B��
��*�*�+>��D�J\�_`�J`�a�a���I�I�I��J�J�r�N�N�N�N�3�t�x�~�#�'�3�S�9�9r
c�L�d}|jD]}|t|j��z}�|S�Nr)r%rD)rr.�lr�s    r�c_lenzCartesianProductFamily.c_len�s0��
���%�	 �	 �B��C���K�K��A�A��r
c�<�|j}t|��}t|��t|��kr6|�dt|��t|��fz��dSt	||��D]\}}|�||��sdS�dS)Nz*cprod of length %d: argument has length %dFT)r%rrD�failed�zipr5)rr.r/r:ri�bs�ts       rrvz&CartesianProductFamily.c_test_contains�s������
�1�X�X���u�:�:��R��� � ��J�J�C��E�
�
�C��G�G�,�-�
.�
.�
.�
.�
.��E�2���
!�
!���1����q�#�.�.�!� �5�5�!��4r
N)rKrMrNr&r�r�r�rvrr
rr�r��sb������%�%�%�F�F�F�:�:�:����
�
�
�
�
r
r�c� �eZdZd�Zd�Zd�ZdS)�SequenceFamilyc�,�|�|��Sr��specoarg)rrjs  rr&zSequenceFamily.__call__�����}�}�T�"�"�"r
c�L�|D] }|j�||��sdS�!dS)NFT�r%r5)rr.r/r:rs     rrvzSequenceFamily.c_test_contains�s<���	�	�A��5�&�&�q�#�.�.�
��u�u�
��tr
c#�K�t|j��D]4}|�|jj|jg|z���D]}|V���5dSr)�range�max_sequence_examples_lengthr�r�cprodr%)rr.r:r�rs     rr�zSequenceFamily.c_get_examples�sl�����s�7�8�8�	�	�A��%�%�&8�d�l�&8�1�5�'�!�)�&D�E�E�
�
�������
�	�	r
N�rKrMrNr&rvr�rr
rr�r��sA������#�#�#��������r
r�c�,�eZdZd�Zd�Zd�Zd�Zd�ZdS)�
MappingFamilyc�d��tj�g|�Ri|����d�fd���dS)N�arrowc������fd�S)Nc�0�����|��Sr)�c_arrow)r_rrs ��rr�z:MappingFamily.__init__.<locals>.<lambda>.<locals>.<lambda>�s���T�\�\�!�Q�5G�5G�r
r)rrs`�rr�z(MappingFamily.__init__.<locals>.<lambda>�s����+G�+G�+G�+G�+G�r
r�r�s`  rr zMappingFamily.__init__�sH�����D�*�1�*�*�*��*�*�*�����!G�!G�!G�!G�H�H�H�H�Hr
c�:�|j\}}}t|||��Sr)r%�Arrow)rr.r_�tf�ts�rets      rr�zMappingFamily.c_arrow�s!���e���B���R��a� � � r
c�n�g}g}d}d}|jj}|t|��k�r�||}t|t���r4|dkr=|dz
}|t|��dz
kstd���|||��}�n4|�d��r[|dz
}|||��}|�d|dd�t|��fz��|�|��n�|dkri|dz
}|||��}|�d	t|��z��|�|j�|����nUtd
|z���|�dt|��z��|�||����|dz
}|t|��k���dd
�	|��zdz}	t|	��}
|jj|�}|�|jj}|�
||
||f��S)Nrxz->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�))rr�rDrr�SyntaxError�endswithrX�sequencer�evalr�rr#)rrSr��as_r�r�r�r�r��fnr_s           rr&zMappingFamily.__call__�s8��
������
���,�&���#�d�)�)�m�m��a��B��"�c�"�"�
'���:�:���F�A���D�	�	�!��+�+�)�Z�\�\�\�!�'�$�q�'�*�*�C�C��[�[��%�%�M���F�A����Q��(�(�A��J�J�~��C�R�C��#�b�'�'�0B�B�C�C�C��I�I�a�L�L�L�L��3�Y�Y���F�A����Q��(�(�A��J�J�{�S��W�W�4�5�5�5��I�I�d�l�3�3�A�6�6�7�7�7�7�%�&F��&K�L�L�L��
�
�:��B���/�0�0�0��	�	�'�'�"�+�+�&�&�&�
��F�A�3�#�d�)�)�m�m�6*�#�(�(�3�-�-�
7��
;����H�H��
�T�\�
��
$���;��,�'�C��x�x��q�"�c�l�+�+�+r
c�j���|j\�}��|�����fd�}|�||��S)Nc�d��	�|�}��|��|d��SdS#t$r�wxYw)NzMapping Return TypeT)r5r7)r:rS�rr_r�s   ��r�gz(MappingFamily.c_test_contains.<locals>.g
sX���	
 ��A�t�H��
�?��,�,�S�!�5J�K�K�K��4���
�
�
��
���s�#�/�r%�forall)rr.r�r:r�r�r_r�s      @@rrvzMappingFamily.c_test_containssR�����U�
��2�s�
�A�d�G�G��
	 �
	 �
	 �
	 �
	 �
	 ��z�z�"�a� � � r
c�V�|j\}}}d�|�|��D��S)Nc���g|]��fd���S)c����Srr)rS�kwdsrs  �rr�z9MappingFamily.c_get_examples.<locals>.<listcomp>.<lambda>s���a�r
r)r	rs @rrz0MappingFamily.c_get_examples.<locals>.<listcomp>s#���G�G�G�A�'�'�'�'�G�G�Gr
)r%r�)rr.r:r_r�r�s      rr�zMappingFamily.c_get_exampless1���U�
��2�s�G�G��1A�1A�#�1F�1F�G�G�G�Gr
N)rKrMrNr r�r&rvr�rr
rr�r��sh������I�I�I�!�!�!�&,�&,�&,�P!�!�!�&H�H�H�H�Hr
r�c��eZdZd�Zd�ZdS)�PredicateFamilyc�2�|�|||f��Srr")rr%r�s   rr&zPredicateFamily.__call__"s���x�x��s�C�j�)�)�)r
c��|j\}}|||��s.|�d|�d|�|������SdS)Nzpred: doc = z; failed for element == T)r%r�rs)rr.r/r:�predr�s      rrvzPredicateFamily.c_test_contains%sU���E�	��c��t�C��|�|�	_��:�:�:�C�C�C�QT�QY�QY�Z[�Q\�Q\�Q\�]�^�^�^��tr
N�rKrMrNr&rvrr
rr�r�!s2������*�*�*�����r
r�c�&�eZdZd�Zd�Zd�Zd�ZdS)�PowersetFamilyc�X�tj|g|�R�|�dd���dS)N�unionc��|jSrr�rs rr�z)PowersetFamily.__init__.<locals>.<lambda>/s��1�5�r
r�rRs  rr zPowersetFamily.__init__-s7����D�(�4�(�(�(�(�������1�1�1�1�1r
c�,�|�|��Srr��r�sets  rr&zPowersetFamily.__call__1s���}�}�S�!�!�!r
c��|jj|jg}	|�|j��}n#t$r|cYSwxYw|Sr)r�Nothingr%r�r7)rr.r:r�ys     rr�zPowersetFamily.c_get_examples4sZ��
�\�
!�1�5�)��	�� � ���'�'�A�A���	�	�	��H�H�H�	�����s�0�?�?c����||jjvr0|�d|j�|��z��|j�|�|�fd�d��S)Nz%powerset.test_contains: not a set: %sc�2��|��|d��S)N�powerset�r5)r:rr�s  �rr�z0PowersetFamily.c_test_contains.<locals>.<lambda>Cs���C�,=�,=�c�1�j�,Q�,Q�r
r�)rr�r��isor%r��rr.r/r:r�s    @rrvzPowersetFamily.c_test_contains>sl����D�L�$�$�$��J�J�>��|�'�'��*�*�+�
,�
,�
,��e���z�z�!�Q�Q�Q�Q�S]�^�^�^r
N�rKrMrNr r&r�rvrr
rr�r�,sU������2�2�2�"�"�"����_�_�_�_�_r
r�c��eZdZdd�Zd�ZdS)�	DocFamilyNc��|�|jjj}n-||jjvr|jj�|��}|�|||f��Sr)rrp�
NotNothingr��convertr#)rr�rjs   rr&zDocFamily.__call__GsV���<��<�&�1�D�D��4�<�+�+�+��|�*�2�2�4�8�8���x�x��s�D�k�*�*�*r
c�B�|j\}}|�||��Srr�)rr.r/r:r�rjs      rrvzDocFamily.c_test_containsOs#���E�	��T��!�!�!�S�)�)�)r
rr�rr
rr�r�Fs7������+�+�+�+�*�*�*�*�*r
r�c�(�eZdZd�Zdd�Zd�Zd�ZdS)�RelOpFamilyc��tj|g|�Ri|��|�dd���|�dd���i|_dS)N�domainc��|jdSr�r�rs rr�z&RelOpFamily.__init__.<locals>.<lambda>Ws��A�E�!�H�r
r�c��|jdS)Nr�r�rs rr�z&RelOpFamily.__init__.<locals>.<lambda>Xs��1�5��8�r
)rr r��memor�s   rr zRelOpFamily.__init__Us`����D�*�1�*�*�*��*�*�*�����"4�"4�5�5�5�����!3�!3�4�4�4�
��	�	�	r
Nc�Z�|j�|��}|�|}n|j�|��}|j�|||f��}|�R|dvrt	d|z��}||_n|}|j|_|�||||f��}||j|||f<|S)N)
rH�<=�==�!=�>�>=�in�not in�is�is notzlambda x,y: x %s y)rr�r�getr�rsrKr#)rr��opr�rr�s      rr&zRelOpFamily.__call___s�����%�%�f�-�-���=��E�E��L�(�(��/�/�E��I�M�M�6�2�u�-�.�.���9��W�W�W��0�2�5�6�6����	�	��� �M��	�������e�4�5�5�A�-.�D�I�v�r�5�)�*��r
c���t|�|j����}|std|jdd��gSt|�|j����}|std|jdd��gSg}|jjjj�	||��D]-}|�
||��r|�|���.|S)N�relationr�r�)r�r�r�r�r�rrUr�r�r��containsrX)rr.r:�dom�ranr�r�s       rr�zRelOpFamily.c_get_examplesqs����3�#�#�A�H�-�-�.�.���	��J���$��A�A�A��I��3�#�#�A�G�,�,�-�-���	��J����w�?�?�?��I����,�$�*�.�:�:�3��D�D�	�	�B��|�|�A�r�"�"�
��
�
�2������
r
c�N�|j\}}}||�s|���SdS)NT�r%r�)rr.r/r:�drr�s       rrvzRelOpFamily.c_test_contains�s0���5���2�q��r�1�v�	 ��:�:�<�<���tr
rr�rr
rr�r�TsU�������������$���&����r
r�c� �eZdZd�Zd�Zd�ZdS)�EqualsFamilyc�H�|s|jjS|�|��Sr)rr�rrrRs  rr&zEqualsFamily.__call__�s'���	(��<�'�'��}�}�T�"�"�"r
c�B�||jvrdS|�d��S)NT�equalsrr@s    rrvzEqualsFamily.c_test_contains�s$�����:�:��4��z�z�(�#�#�#r
c��|jSrr��rr.r:s   rr�zEqualsFamily.c_get_examples�s	���u�r
Nr�rr
rrr�sA������#�#�#�
$�$�$�
����r
rc� �eZdZd�Zd�Zd�ZdS)�
ExampleFamilyc�2�|�|||f��Srr")rr��exampless   rr&zExampleFamily.__call__�s���x�x��s�H�o�.�.�.r
c�B�|j\}}|�||��Srr�)rr.r/r:r�rs      rrvzExampleFamily.c_test_contains�s#����
��X�� � ��C�(�(�(r
c��|j\}}|Srr�)rr.r:r�rs     rr�zExampleFamily.c_get_examples�s����
��X��r
Nr�rr
rrr�sA������/�/�/�)�)�)�����r
rc��eZdZd�Zd�ZdS)�SynonymsFamilyc�.�|�||��Srr")r�namess  rr&zSynonymsFamily.__call__�r�r
c�r�|j}|jj���}|D]-}|�||��}|�|���.t
|��s|�d|z��t
|��dkr'|�dt
|��|fz��dS)NzSynonyms: no such names: %rrz*Synonyms: %d different nodes for names: %rT)r%rrpr3rr6rDr�)rr.r/r:r%�msrsrs        rrvzSynonymsFamily.c_test_contains�s������
�\�
 �
+�
+�
-�
-���	�	�D����A�t�$�$�A��F�F�1�I�I�I�I��2�w�w�	>��J�J�4�u�<�=�=�=��r�7�7�Q�;�;��J�J�C��B����'�(�
)�
)�
)��tr
Nr�rr
rr#r#�s2������%�%�%�����r
r#c� �eZdZd�Zd�Zd�ZdS)�InstanceFamilyc��t||j��s8|�d|j�|���d|j����dS)NzInstanceFamily: z is not an instance of T)rr%r�rr�r@s    rrvzInstanceFamily.c_test_contains�sW���!�Q�U�#�#�	-��J�J�J��� � ��#�#�#�#�Q�U�U�,�
-�
-�
-��tr
c�f�|�|j�|j����Sr)r�rr�r%rs   rr�zInstanceFamily.c_get_examples�s(������� 4� 4�Q�U� ;� ;�<�<�<r
c�D��|jj�fd�|jD���S)Nc�>��g|]}t|�j���|��Sr)rr%)r	r<r.s  �rrz*InstanceFamily._and_ID.<locals>.<listcomp>�s*���&U�&U�&U�b�z�"�a�e�?T�?T�&U�r�&U�&U�&Ur
)r(r8r4r-s ` rr=zInstanceFamily._and_ID�s,���$�t�x�$�&U�&U�&U�&U�A�G�&U�&U�&U�V�Vr
N)rKrMrNrvr�r=rr
rr)r)�sF���������=�=�=�W�W�W�W�Wr
r)c��eZdZd�Zd�ZdS)�ExpressionPredicateFamilyc�8�d}|�||||f��Srr")rr%�
expressionr�s    rr&z"ExpressionPredicateFamily.__call__��"�����x�x��u�j�$�7�8�8�8r
c���|j\}}}tdd�|���d|����}i}|D]}|�||��}	|	||<�|di|��}	|	s|�d|z��dS)N�lambda r�:zFalse expression: %sTr)r%r�rrr��
rr.r/r:r%r1r�rrsrs
          rrvz)ExpressionPredicateFamily.c_test_contains�s���"#�%���z�4��t�c�h�h�u�o�o�o�o�z�z�B�C�C�����	�	�D����A�t�$�$�A��A�d�G�G��D�I�I�1�I�I���	<��J�J�-�
�:�;�;�;��tr
Nr�rr
rr/r/�s2������9�9�9�
�
�
�
�
r
r/c��eZdZd�Zd�ZdS)�ExpressionSetFamilyc�8�d}|�||||f��Srr")rr1r%r�s    rr&zExpressionSetFamily.__call__�r2r
c
�d�|j\}}}|j�dd�dt	|��z���d|�d���}d|ji}|D]}|�||��}	|	||<�|d	i|��}	|�|	|d|�dd�|���d���S)
Nr4r��LEz:(r�r<zexpset(z, r)r%rr�rrr<rr5r6s
          rrvz#ExpressionSetFamily.c_test_contains�s���"#�%���z�4��|� � � ��H�H�W�U�5�\�\�)�*�*�*�*�J�J�J�"8�9�9��
�3�6�N���	�	�D����A�t�$�$�A��A�d�G�G��D�I�I�1�I�I��� � ��A�A�:�:�:�s�x�x�PU�����'W�X�X�Xr
Nr�rr
rr8r8�s7������9�9�9�	Y�	Y�	Y�	Y�	Yr
r8c� �eZdZd�Zd�Zd�ZdS)�
MatchesFamilyc�\�tj|g|�Ri|��|jjj|_dSr)rr rrU�srer�s   rr zMatchesFamily.__init__�s6����D�*�1�*�*�*��*�*�*��<�%�)����r
c�`�|�|j�|��|f��Sr)r�r@�compile)r�regexps  rr&zMatchesFamily.__call__�s*������� 0� 0�� 8� 8�6�)�D�D�Dr
c�x�|j}|j�||��}|�|�d��SdS)Nz
Did not matchT)r%r@�matchr�)rr.r/r:�	regexpobjrcs      rrvzMatchesFamily.c_test_contains�s:���E�	��H�N�N�9�a�(�(���9��:�:�o�.�.�.��tr
Nr�rr
rr>r>�sD������*�*�*�E�E�E�����r
r>c�"�eZdZd�Zdd�Zd�ZdS)�RecurSelfFamilyc�d�tj|g|�Ri|��Gd�d|j��}||_dS)Nc��eZdZdZdS)�+RecurSelfFamily.__init__.<locals>.RecurSpec)r��recursion_level�recursion_limitN�rKrMrN�	__slots__rr
r�	RecurSpecrK�s������D�I�I�Ir
rP)rr r#rP)rr.r�rPs    rr zRecurSelfFamily.__init__�sd����D�*�1�*�*�*��*�*�*�	E�	E�	E�	E�	E���	E�	E�	E�#����r
�
c�N�|�||��}||_d|_|Sr�)rPrMrL)r�exprrM�ss    rr&zRecurSelfFamily.__call__s*���N�N�4��&�&��+�������r
c��	|j}n6#t$r)|j}|�d|z��x}|_YnwxYw||jj��}	|�||d��}|st�n�#t$r|||��}|j	}	||j
kr&|�d|j
z��||_	cYS|dz|_	|�||d��}||_	n#||_	wxYwYnwxYw|S)Nzlambda self:%szrecur with Nothing, ok to failzrecurself: recursion_level = %sr�recur)r�rr%r�rr�r5r?r7rLrMr�)	rr.r/r:r�rSrTr��rls	         rrvzRecurSelfFamily.c_test_contains
sX��	>��6�D�D���	>�	>�	>��5�D��H�H�%5��%<�=�=�=�D�1�6�6�6�	>����
�D���%�&�&��	'��"�"�1�a�)I�J�J�B��
 ���
 ���
	'�
	'�
	'���Q���A��"�B�
'���*�*�*��:�:�&G�!�J[�&[�\�\�
%'��!�!�!�!�)+�Q��A�%��&�&�q�!�W�5�5��$&��!�!��B��!�&�&�&�&�!�!�
	'�����	sB�
�0=�=� A7�7C=�'C.�;C=�!C.�&C=�.	C7�7C=�<C=N)rQr�rr
rrHrH�sF������#�#�#���������r
rHc��eZdZdS)�DummyN�rKrMrNrr
rrYrY#��������Dr
rYc��eZdZd�Zd�ZdS)�TupleformFamilyc�0�|�||f��Sr�rr)r�formr�s   rr&zTupleformFamily.__call__(s���}�}�d�C�[�)�)�)r
c�t�|j\}}t|��}t|��t|��kr4|�dt|��t|��fz��St	��}t||��D]\}}	t
|||	���|�||d��S)Nz+tupleform: wrong length: got %d expected %d�	tupleform)r%rrDr�rYr��setattrr5)
rr.r/r:r`r��bt�obrs�vals
          rrvzTupleformFamily.c_test_contains+s����E�	��c�
�1�X�X���r�7�7�c�$�i�i����:�:�K�s�SU�w�w�X[�\`�Xa�Xa�Nb�b�c�c�c�
�W�W���T�2���	#�	#�I�D�#��B��c�"�"�"�"�� � ��b�+�6�6�6r
Nr�rr
rr]r]'s2������*�*�*�7�7�7�7�7r
r]c� �eZdZd�Zd�Zd�ZdS)r�c�0�||_||_||_dSr)�category�source�target)rrirjrks    rr zArrow.__init__;s�� ��
��������r
c�l�|j�|��}|j�||��Sr�ri�validate�compose�r�others  r�ofzArrow.of@s1���
�&�&�u�-�-���}�$�$�T�5�1�1�1r
c�l�|j�|��}|j�||��Srrmrps  r�tozArrow.toFs1���
�&�&�u�-�-���}�$�$�U�D�1�1�1r
N)rKrMrNr rrrtrr
rr�r�:sA���������
2�2�2�2�2�2�2�2r
r�c��eZdZd�Zd�ZdS)�
IdentityArrowc�@�t�||||��dSr)r�r )rri�objects   rr zIdentityArrow.__init__Ns ��
���t�X�v�v�6�6�6�6�6r
c��|Srr�rrs  rr&zIdentityArrow.__call__Qs���r
N)rKrMrNr r&rr
rrvrvMs2������7�7�7�����r
rvc��eZdZd�ZdS)�
FunctionArrowc�N�t�||||��||_dSr)r�r r&)rrirjrk�functions     rr zFunctionArrow.__init__Vs%��
���t�X�v�v�6�6�6� ��
�
�
r
N)rKrMrNr rr
rr|r|Us#������!�!�!�!�!r
r|c�.�eZdZdZdZd�Zd�Zd�Zd�ZdS)�RepresentationCategoryNc�t�|�t��}|�||��||_dSr)�family�RepresentationObjectFamily�init2�_fam)rr(�specr+s    rr zRepresentationCategory.__init___s3���j�j�3�4�4���	�	�$�������	�	�	r
c�
�||uSrrrps  r�__eq__zRepresentationCategory.__eq__ds���u�}�r
c�:�tt|����Sr)�hash�id�rs r�__hash__zRepresentationCategory.__hash__gs���B�t�H�H�~�~�r
c�N�|j�|��}||j|<|Sr)r��	getobject�__dict__�rrsr�s   r�__getattr__z"RepresentationCategory.__getattr__js(���I����%�%����
�d���r
)	rKrMrN�_derive_origin_�_origin_r r�r�r�rr
rr�r�[sZ�������O��H����
����������r
r�c�D�eZdZd�Zd�Zd�Zd�Zd�Zd�Zd�Z	d�Z
d	�Zd
S)r�c���||_i|_i|_i|_|�d|j��|j}Gd�d|��}||_Gd�d|��}||��|_dS)N�
fromuniversalc��eZdZdZdS)�>RepresentationObjectFamily.init2.<locals>.RepresentationObject)rt�fromNrNrr
r�RepresentationObjectr�{s������$�I�I�Ir
r�c��eZdZd�Zd�ZdS)�DRepresentationObjectFamily.init2.<locals>.RepresentationCategorySpecc�,�||_|j|_dSr)r��cat�_cat)rr+s  rr zMRepresentationObjectFamily.init2.<locals>.RepresentationCategorySpec.__init__�s����	��G��	�	�	r
c��t|jd|z��r2t|d|z��|jj��}||j|<|St
|���)Nz_get_%s)rkrJrr�rr�rr�s   rr�zPRepresentationObjectFamily.init2.<locals>.RepresentationCategorySpec.__getattr__�s]���4�>�9�t�+;�<�<��7���i�$�&6�7�7��	�8I�J�J�A�*+�D�M�$�'��H�$�T�*�*�*r
N)rKrMrNr r�rr
r�RepresentationCategorySpecr��s2������
$�
$�
$�
+�
+�
+�
+�
+r
r�)r��objects�specs�arrowsr�r�r#r�)rr�r�r#r�r�s      rr�z RepresentationObjectFamily.init2qs�����������
���������);�<�<�<��h��	%�	%�	%�	%�	%�3�	%�	%�	%�(���
	+�
	+�
	+�
	+�
	+��
	+�
	+�
	+�/�.�t�4�4��	�	�	r
c�D�||f}||jvr
|j|St�r)r��	SpecError)rr�cod�dcs    r�getarrowz#RepresentationObjectFamily.getarrow�s)���3�Z��
������;�r�?�"��r
c���||jvr
|j|S|�|��}||jvr"|j||j|<|j|S||��}|x|j|<|j|<|Sr)r��	normonamer�)rrs�normname�os    rr�z$RepresentationObjectFamily.getobject�s����4�<����<��%�%��>�>�$�'�'���t�|�#�#�!%��h�!7�D�L����<��)�)��D��N�N��67�7���X����d�!3��r
c���|j}||jvr
|j|St|jd|zd��}|�||j��}||j|<|Std|z���)Nz_get_spec_%szgetspec: No spec of %r)r%r�rr�rr�)r�objrs�gs�sps     r�getspecz"RepresentationObjectFamily.getspec�sv���w���4�:����:�d�#�#�
�T�Y��� 5�t�
<�
<��
�>���D�L�!�!�B�!�D�J�t���I��0�4�7�8�8�8r
c���
��|j}d|z}|�jvr
�j|Si�
t�j|���
|<t	�j��D]�}|�d��rd|vs�|�d��\}}|dd�}||krFt�j|���t�jt�j|��|��fd����
|<���
�fd�}d|z}�j
�|d|z��}	|	�j|<�|��}
Gd	�d
t��}|�j|
|�
��}|�j|<|S)Nz%s.fromuniversal�map_�_to_�c�&����j|��Sr)r)rr_rs ��rr�z:RepresentationObjectFamily.fromuniversal.<locals>.<lambda>�s���q�q���q�/A�/A�r
c�2��	|\}}n%#t$r|�d��cYSwxYwt|dd��}|�ur|�d��St|dd��}|�vr|�d��S|�||d��S)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)r7r�rr5)r:�e�O�Ar+�name_�Srs      ��r�pz3RepresentationObjectFamily.fromuniversal.<locals>.p�s����
B����1�1���
B�
B�
B��z�z�"@�A�A�A�A�A�
B�����!�U�D�)�)�C��$����z�z�"G�H�H�H��A�u�d�+�+�E��A�~�~��z�z�"I�J�J�J��$�$�Q��+S�T�T�Ts�	�+�+z%s.universalzSpecification-set for %rc� �eZdZd�Zd�Zd�ZdS)�:RepresentationObjectFamily.fromuniversal.<locals>.AlphaSumc�N�t�||||��||_dSr)r�r �_S)rrirjrkr�s     rr zCRepresentationObjectFamily.fromuniversal.<locals>.AlphaSum.__init__�s%�����t�X�v�v�>�>�>�����r
c�V�|j|jj�|��Sr)r�rjr+r�rzs  r�__getitem__zFRepresentationObjectFamily.fromuniversal.<locals>.AlphaSum.__getitem__�s!���w�t�{��8�8��;�;�<�<r
c�8�|\}}||j|��Srr�)r�xxx_todo_changemer��Es    rr&zCRepresentationObjectFamily.fromuniversal.<locals>.AlphaSum.__call__�s��*���A�"�t�A�E�{�1�~�~�%r
N)rKrMrNr r�r&rr
r�AlphaSumr��sA������
�
�
�

=�
=�
=�
&�
&�
&�
&�
&r
r�)r%r�rvr��dirr��
startswith�splitrr|r�	predicater�r�)rrkrs�	arrowname�anrTr�r��uniname�Prjr�r�r�r_s`            @@rr�z(RepresentationObjectFamily.fromuniversal�s�������z��&��-�	����#�#��;�y�)�)������&�1�1��$���d�i�.�.�	C�	C�B��M�M�&�)�)�
�f��l�l���8�8�F�#�#�D�A�q��!�"�"��A��D�y�y��D�I�r�*�*��$�T�X�w�t�x��/C�/C�V�%A�%A�%A�%A�%A�C�C��!���	U�	U�	U�	U�	U�	U�!�4�'���L�"�"�1�&@�7�&J�K�K����
�7����g����	&�	&�	&�	&�	&�u�	&�	&�	&�����6�6�1�5�5��!&���I���r
c���t|jdd��}|�L|jjD]?}d}|D]8}|���r|}||kr|�|ccSt	d|z����9�@|S)N�_isos_z*No numeric object name corresponding to %r)rr�r��isdigitr�)r�on�isosr��nn�ns      rr�z$RepresentationObjectFamily.normoname�s����t�y�(�D�1�1�����Y�%�	
O�	
O�����O�O�A��y�y�{�{�����B�w�w��>�#%�I�I�I�I�I�'�H�2�M�O�O�O��O��	r
c�j�|�|��}Gd�d��}||��|_|S)Nc�$�eZdZdZd�Zd�Zd�ZdS)�/RepresentationObjectFamily.__call__.<locals>.To�rjc��||_dSrr�)rrjs  rr z8RepresentationObjectFamily.__call__.<locals>.To.__init__s
��$����r
c�L�|jj�|j|��Sr)rjr+r�)rrks  rr&z8RepresentationObjectFamily.__call__.<locals>.To.__call__s���{��/�/���V�D�D�Dr
c�t�|j}|j}|�|��}|�||��Sr)rjr+r�r�)rrsrjr+rks     rr�z;RepresentationObjectFamily.__call__.<locals>.To.__getattr__s5������j�����t�,�,���|�|�F�F�3�3�3r
N)rKrMrNrOr r&r�rr
r�Tor�sI������!�I�
%�
%�
%�
E�
E�
E�
4�
4�
4�
4�
4r
r�)r�rt)rrsr�r�s    rr&z#RepresentationObjectFamily.__call__sQ���M�M�$����
	4�
	4�
	4�
	4�
	4�
	4�
	4�
	4��r�!�u�u����r
c�Z�|�|��}|�||d��S)Nz7RepresentationObjectFamily: not in object specification)r�r5r�s     rrvz*RepresentationObjectFamily.c_test_containss*���l�l�1�o�o��� � ��a�)b�c�c�cr
c�V�|�|��}|�|��Sr)r�r�)rr.r:r�s    rr�z)RepresentationObjectFamily.c_get_exampless%���l�l�1�o�o������$�$�$r
N)rKrMrNr�r�r�r�r�r�r&rvr�rr
rr�r�ps�������5�5�5�:���5�5�5�9�9�9�A�A�A�F
�
�
����*d�d�d�%�%�%�%�%r
r�c�,�eZdZd�Zd�Zd�Zd�Zd�ZdS)�AbstractSetFamilyc�d�tj|g|�Ri|��Gd�d|j��}||_dS)Nc��eZdZdZd�ZdS)�/AbstractSetFamily.__init__.<locals>.AbstractSet)�_memoc�>�||_||_d|_i|_dSr)r+r%r�r�)rr+r%s   rr z8AbstractSetFamily.__init__.<locals>.AbstractSet.__init__'s"�������� $��
���
�
�
r
N)rKrMrNrOr rr
r�AbstractSetr�$s(������ �I�
 �
 �
 �
 �
 r
r�)rr r#)rr.r�r�s    rr zAbstractSetFamily.__init__!s\����D�*�1�*�*�*��*�*�*�	 �	 �	 �	 �	 �$�(�	 �	 �	 �����r
c�B�|�||f��}i|_|Sr)rrr�)rr�r�r�s    rr&zAbstractSetFamily.__call__.s#���M�M�5�#�,�'�'������r
c��|j|ur'|j\}}|j\}}||ur||||z��S|j�||��Sr)r+r%�
_rand_ATOM)rr.r/�aa�sa�ab�sbs       rr0zAbstractSetFamily.c_and3sZ���5�D�=�=��U�F�B���U�F�B���R�x�x��t�B��R��(�(�(��u����1�%�%�%r
c������||jvr
|j|S|j\}�||��j����fd�}|j�|d|z��}||j|<|S)Nc�~��|��|d��}|r"�|��}|��|d��}|S�Nz AbstractSet: not in arrow.sourcez AbstractSet: not in argument set)r5rr�)r:rr�r��pararrowr��srcsets    ���rr�z'AbstractSetFamily.c_getattr2.<locals>.pCsZ����!�!���=�?�?�A��
@��H�Q�K�K���%�%���>�@�@���Hr
zAbstract set attribute: %r)r�r%rjrr�)	rr.r/r�r�rTr�r�r�s	      @@@r�
c_getattr2zAbstractSetFamily.c_getattr2;s���������<�<��7�1�:���U�
��s���8�����		(�		(�		(�		(�		(�		(�		(�
�L�"�"�1�&B�Q�&F�G�G������
��r
c��|j\}}|�|j|d��}|r"||��}|�||d��}|Sr�)r%r5rj)rr.r/r:r�r�r�r�s        rrvz!AbstractSetFamily.c_test_containsRsa���U�
��s�����L�!�?�
A�
A���	N���a���A��!�!�#�q�*L�M�M�A��r
N)rKrMrNr r&r0r�rvrr
rr�r� s_������������
&�&�&����.����r
r�c��eZdZd�Zd�ZdS)�
ElemFamilyc�,�|�|��Srr�)rr�s  rr&zElemFamily.__call__]r�r
c�T�|j}||��}|�||d��S)Nr�r�)rr.r/r:r�rTs      rrvzElemFamily.c_test_contains`s.���u���D��G�G��� � ��A�|�4�4�4r
Nr�rr
rr�r�\s2������#�#�#�5�5�5�5�5r
r�c��eZdZd�Zd�ZdS)�IntersectionFamilyc�0�|�||f��Srr_)rr�r~s   rr&zIntersectionFamily.__call__gs���}�}�f�h�/�0�0�0r
c�N���|j\}�|�|��fd���S)Nc�D��|��|���d��S)N�Intersectionr�)r:rr/r~s  ��rr�z4IntersectionFamily.c_test_contains.<locals>.<lambda>ls%����+�+�H�H�Q�K�K��N�K�K�r
r�)rr.r/r:r�r~s  `  @rrvz"IntersectionFamily.c_test_containsjsI�����5�����z�z�&�#L�#L�#L�#L�#L�M�M�	Mr
Nr�rr
rr�r�fs7������1�1�1�M�M�M�M�Mr
r�c��eZdZdS)r�NrZrr
rr�r�pr[r
r�c��eZdZdS)r?NrZrr
rr?r?tr[r
r?c��eZdZdS)�
CoverageErrorNrZrr
rrrxr[r
rc� �eZdZdZdd�Zd�ZdS)�LocalEnv�ADDrc�>�||_||_d|_||_dSr)�_mod�_specr��nodoc)rr(r�r
s    rr zLocalEnv.__init__s"����	���
���
���
�
�
r
c�b�|j}t|j|��}|j�|jjjj�|j	����}|jj
�|j	||j|j
|j��}|d��}||j|<|S)Nr)rrr�_load_namesrUr�r��Code�co_findloadednamesr^ri�FunctionTyperK�__defaults__�__closure__r�)r�attribute_namer(r_r�nfr�s       rr�zLocalEnv.__getattr__�s����i���D�J��/�/���I�!�!��I�O��$�7�7��
�C�C�
E�
E��
�Y�_�
)�
)�
�J�
�
�J�
�N�
�M����
�B�r�F�F��()��
�n�%��r
N)r)rKrMrNr�r r�rr
rrr|s<�������O�����
�
�
�
�
r
rc��eZdZdZdZdZdZeZd�Zd�Z	d�Z
d�Zd�Zd	�Z
d
�Zd�Zd�Zd
�Zdd�Zd�Zd�Zd�Zdd�Zd�Zd�Zdd�Zdd�Zdd�Zdd�ZdS)�TestEnvr	Fr�c�
�||_g|_i|_|�k|��x|_}	|j}n#t
$rd}YnwxYwt
||��}||_||_|�	|j
��|_dSdS)Nry)r(�messagesrr��LocalEnvExprrr�_OBJ_r<r��GlueTypeExpr�topspec)rr(�Specr��lexr<s      rr zTestEnv.__init__�s��������
���
���#�t�v�v�%�D�I��
��'����!�
�
�
�����
�����#�s�#�#�B��B�H��D�G��9�9�T�%6�7�7�D�L�L�L��s�2�A�Ac��|j}|jj}t|tf��r-|j�d|z��}||j��Sg}d}t|j�	����}|�
��|D�]}t||��}		|	j}
n#t$rY�(wxYw|
jd|
j�dkr�|�|jjjj�|
����}|jj�|	j||	j|	j|	j��}|d��}
|dkr|
}��|�|�||
������t7d���|�|�|��|jj�|��}|S)Nzlambda LE:(
%s
))�INr�_SELF_z#TestEnv.eval: invalid argument mode)r(rUrirrr�r<r�r��keys�sortrr^r�co_varnames�co_argcountrr�r�rrrrKrrrX�attrr�rpr)r*)rrSr(rir��ls�selfsetr%rsr_�corrrTr�s               rr�zTestEnv.eval�s����h���	����d�S�F�#�#�	!��8�=�=�!5��!<�=�=�D��4���=�=� �
�����T�]�'�'�)�)�*�*��
�
�
�����	G�	G�D���d�#�#�A�
��Z����!�
�
�
���
�����~�o�r�~�o�.�'�9�9��O�O��I�O�'�,�?�?��C�C�E�E���Y�_�1�1��J���J��N��M�#�#���B�r�F�F���8�#�#��G�G��I�I�c�h�h�t�Q�/�/�0�0�0�0�� E�F�F�F����I�I�g����

�J��$�$�R�(�(���s�+B3�3
C�?Cc�,�	t|��}n�#t$ru	|j|}nT#t$rGt	||jjj��r|�|��}nt|��}YnwxYwt|��}YnwxYw|Sr)	�iterr�r�KeyErrorrr(rpr�r�)r�
collection�itr�s    rr�zTestEnv.get_examples�s���
	��j�!�!�B�B���	�	�	�
*��]�:�.�����
*�
*�
*��j�$�(�/�*@�A�A�*�#�0�0��6�6�B�B��j�)�)�B���	
*����
�b���B�B�B�	�����	s0��
B�
+�B�AA<�9B�;A<�<B�Bc	���d|vr�|}|�d��D]o}	t||��}�#t$rO|�d|�|���d|��d|�|���d|��z��cYcSwxYwnX	t||��}nF#t$r9t
r�|�d|�|���d|����cYSwxYw|S)N�.z	getattr: z has no attribute z
,
because zattr: )r�rr7r�rs�DEBUG)rr�rsr�subnames     rrzTestEnv.getattr�sQ���$�;�;��A��:�:�c�?�?�
f�
f��f���7�+�+�A�A�� �f�f�f��;�;�;�D�I�I�VY�N�N�N�N�\`�\`�'a�'a�NR�i�i�XY�l�l�l�l�\c�\c�'d�(e�f�f�f�f�f�f�f�f����
f�
\��C��&�&�����
\�
\�
\�����{�{�{�T�Y�Y�s�^�^�^�^�UY�UY�#Z�[�[�[�[�[�
\�����s#�0�AB	�B	�B�AC"�!C"c�:���t|t��r���|��St|t��rKt	|��dkr|d�jjur|dSt��fd�|D����Std���)Nr�rxrc�<��g|]}���|����Sr)ru)r	�ntr�rs  ��rrz&TestEnv.gengetattr.<locals>.<listcomp>	s'���O�O�O�2�d�o�o�c�2�6�6�O�O�Or
z0gengetattr: I am picky, required string or tuple)rrrrrDr(�quoter�)rr��
name_or_tuples`` rruzTestEnv.gengetattrs������m�S�)�)�	P��<�<��]�3�3�3�
�
�u�
-�
-�	P��=�!�!�Q�&�&�=��+;�t�x�~�+M�+M�$�Q�'�'��O�O�O�O�O��O�O�O�P�P�P��N�O�O�Or
c�:�|j�|��dSr)rrX�r�messages  r�logzTestEnv.log
s���
���W�%�%�%�%�%r
c��t||jjj��rt|��Sd|j�|��zS�Nz%s)rr(rprr�)rr�s  rrszTestEnv.names?���c�4�8�?�1�2�2�	,��s�8�8�O��$�(�,�,�s�+�+�+�+r
c��d|zSr?r)rr/s  r�	name_collzTestEnv.name_colls
���j� � r
c��|�|��	|�|j|d��dS#t$r<|jjj���}|�|��YdSwxYw)NzTop spec)	�get_obj_examplesr5rr7r(rU�sys�exc_info�dump_failure)rr��tvts   r�testzTestEnv.tests������c�"�"�"�	#����t�|�S�*�=�=�=�=�=���	#�	#�	#��(�.�$�-�-�/�/�C����c�"�"�"�"�"�"�	#���s�5�AA;�:A;c��|j�||��}|D]`}|dd�}|d}|j�|g��}|D].}|�|��|�||d���/�adS)Nrrxztesting example of set)r��GetExamplesr�
setdefaultrXr5)rr�r�r��vsrT�vs       rrCzTestEnv.get_obj_examples!s���
�Y�
"�
"�4��
-�
-���	C�	C�A��1�2�2��B��!��A��
�(�(��B�/�/�A��
C�
C����������"�"�1�a�)A�B�B�B�B�
C�		C�	Cr
rxc��|\}}}g}|}|�=|j}|j|jjjur|�|��|j}|�=|D]^}|j}	td|	d����td|	d����td|	d��td���_|r(|j	j
j�|||��dS�)Nza = r.zb = r/z
message = r<z-----)
�tb_frame�f_coder5rbr^rX�tb_next�f_locals�printr(rU�	traceback�print_exception)
r�xxx_todo_changeme3�noraiserj�valuerTr��tbr_�los
          rrFzTestEnv.dump_failure+s���#5� ��u�i���
���n���A��x�4�-�6�?�?�?����A������B�	�n�
�	�	�A���B��E�b��g�g�'�(�(�(��E�b��g�g�'�(�(�(��,��9�
�.�.�.��'�N�N�N�N��	��H�N�$�4�4�T�5�)�L�L�L�L�L�r
c�n�	|�||d��}n#t$r�t$rYdSwxYw|S)NrF)r5rr7)rr.r/rs    rrzTestEnv.contains?s\��	��"�"�1�a��4�4�A�A���	�	�	���	�	�	��5�5�	�����s��2�2c�.�|�||��Srr��rr.r/r<s    rr5zTestEnv.test_containsHs�����q�$�'�'�'r
c��	|�||��|�d|z��S#t$r�t$rYdSwxYw)Nztest_contains_not, from: %sT)r5r�rr7r]s    r�test_contains_notzTestEnv.test_contains_notKso��	H�
�O�O�A�t�$�$�$��;�;�<�w�F�G�G�G���	�	�	���	�	�	��4�4�	���s�0�A�Aryc�b�|js'|�d|z��t|���dS�NzFailed:F)�issilentr=r?r;s  rr�zTestEnv.failedUs6���}�	%��H�H�Y��(�)�)�)��G�$�$�$��ur
c�P�||jjurdSt|�d|�d|�����)NTz: no examples for collection = z, message: )r(r�r)r�forwhatr/r�r<s     rr�zTestEnv.failed_coverage[s?�����)�)�)��4���G�G�Z�Z�Z���*�+�+�	+r
c��|jjj���}|\}}}|js#|�d|z��||���dSra)r(rUrDrErbr=)rr<rErjrXrTs      rr�zTestEnv.failed_exc_infoasZ���8�>�%�.�.�0�0��!)���e�Y��}�	��H�H�Y��(�)�)�)��$�u�+�+���ur
c�P�|�|��}d}|D]C}|||��s0|�d|�|���d|����cS|dz
}�D|sF	t|��}|dkrt�n(#t
$r|�d|||��YnwxYwdS)Nrxzforall: e = �, from: rr�T)r�r�rsrDrr7r�)rr/r�r<r�r�r�r.s        rr�zTestEnv.forallis���
�
�
�z�
*�
*��
���	�	�A��4��a�=�=�
Y��{�{�{����1�����w�w�#W�X�X�X�X�X�
��F�A�A��	J�
J��
�O�O���q�5�5�'�'����
J�
J�
J��$�$�X�z�4��I�I�I�I�I�
J�����ts�!A>�>"B#�"B#c
�N�|�|��}d}|D]p}|�|��D]X}||||��sD|�d|�|���d|�|���d|����|dz
}�Y�q|s|�d|||��dS)Nrxzforall_pairs: a = �, b = rgr�forall_pairsT�r�r�rsr�)rr/r�r<r�r�r.r/s        rrjzTestEnv.forall_pairs{s������
�+�+��
���	�	�A��&�&�z�2�2�
�
���t�D�!�Q�'�'�>��K�K�K��	�	�!�����d�i�i��l�l�l�l�G�G�!=�>�>�>��Q����	
�
�	L�� � ���T�7�K�K�K��tr
c
��|�|��}d}|D]�}|�|��D]�}|�|��D]o}|||||��sZ|�d|�|���d|�|���d|�|���d|����|dz
}�p����|s|�d|||��dS)	Nrxzforall_triples: a = riz, c=rgr�forall_triplesTrk)	rr/r�r<r�r�r.r/�cs	         rrmzTestEnv.forall_triples�s�����
�+�+��
���	�	�A��&�&�z�2�2�
�
���*�*�:�6�6���A��4��a��A�.�.�P����� �I�I�a�L�L�L�L�$�)�)�A�,�,�,�,��	�	�!�����g�g�%O�P�P�P���F�A�A�	�
��	N�� � �!1�:�t�W�M�M�M��tr
c�t�g}t|��D]_\}}	||��}nH#t$r;|�||jjj���f��Y�VwxYw|rdS�`|D].\}}td|z��|�|d����/|�	|��dS)NTz%forsome: exception at collection[%d]:r)rW)
r�r7rXr(rUrDrErSrFr�)	rr/r�r<�failuresr�rr/rGs	         r�forsomezTestEnv.forsome�s������j�)�)�	�	�D�A�q�
��D��G�G�����
�
�
�����D�H�N�$6�$?�$?�$A�$A� B�C�C�C���
�����
��t�t�
� �	.�	.�H�Q���9�A�=�>�>�>����c�1��-�-�-�-����G�����s�$�AA)�(A)N)rx)ry)rKrMrNr��
iscompleterbr�r?r r�r�rrur=rsrArHrCrFrr5r_r�r�r�r�rjrmrqrr
rrr�s��������O��J��H�#$� ��I�8�8�8� 3�3�3�j������$	P�	P�	P�&�&�&�,�,�,�!�!�!�#�#�#�C�C�C�����(���(�(�(�H�H�H�����+�+�+��������$��������
�
�
�
�
�
r
rc��eZdZdZdZdZdZd�Zd�Zd�Z	d�Z
d	�Zd
�Zd�Z
d�Zd
�Zd�ZdBd�Zd�Zd�Zd�Zd�ZdBd�Zd�Zd�ZdCd�Zd�ZdBd�Zd�Zd�Zd�Zd�Zd �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/d0�Z0d1�Z1d2�Z2d3�Z3d4�Z4d5�Z5d6�Z6d7�Z7d8�Z8d9�Z9d:�Z:d;�Z;d<�Z<d=�Z=d>�Z>d?�Z?d@�Z@dA�ZAdS)D�_GLUECLAMP_)�_loaded)	r��Docr�r�r�rB�wrap_source_stringrr�)�_hiding_tag_)z_parent:Usez_parent.Use:isoz_parent.Use:Nothingc��|jjSr)�_parentrpr�s r�_get_UniSetz_GLUECLAMP_._get_UniSet�s��$�,�"5�5r
c��|jjSr)rzrvr�s r�_get_Docz_GLUECLAMP_._get_Doc�s��t�|�/�/r
c��|jjSr)rz�Viewr�s r�	_get_Viewz_GLUECLAMP_._get_View�s���� 1�1r
c�L�|j�|jjd��S)Nzguppy.heapy.Spec)rv�	attribute�rootr�s r�
_get__origin_z_GLUECLAMP_._get__origin_�s���x�!�!�$�(�-�1C�D�D�Dr
c��|j}|dkr		|�||�|j|����}nA#|j$r4td�����td|��YnwxYw|S)N�setofrTzno wrap:)rv�wrapr�r��DocError�
__import__�	print_excrS)rr�rsrvs    r�
_wrapattr_z_GLUECLAMP_._wrapattr_�s����h���7�?�?��	$��(�(�3��
�
�d�m�T� B� B�C�C�C�C���|�	$�	$�	$��{�#�#�-�-�/�/�/��*�d�#�#�#�#�#�	$�����
s�/A�;A>�=A>c�6�|�t��Sr)r�r�r�s r�_get_abstractsetz_GLUECLAMP_._get_abstractset�s���{�{�,�-�-�-r
c�6�|�t��Sr)r�r|r�s r�_get_adaptuplez_GLUECLAMP_._get_adaptuple�����{�{�?�+�+�+r
c��|jSr)r�r�s r�_get_anyz_GLUECLAMP_._get_any�s����}�r
c�6�|�t��Sr)r�rPr�s r�
_get_argnamesz_GLUECLAMP_._get_argnames�����{�{�>�*�*�*r
c�6�|�t��Sr)r�rmr�s r�	_get_attrz_GLUECLAMP_._get_attr�r�r
Nc�P�|j}|D]}||�||��z}�|Sr)ror()rr%rjrr�s     r�attrsz_GLUECLAMP_.attrs�s7���H���	$�	$�A�
����1�d�#�#�#�A�A��r
c�4�d�}|�|d��S)Nc�Z�	|r	n%#t$r|�d��YnwxYwdS)Nz#boolean: 'if x' raised an exceptionT)r7r��r:rs  rr�z#_GLUECLAMP_._get_boolean.<locals>.p�sQ��
B�������
B�
B�
B��
�
�@�A�A�A�A�A�
B�����4s��(�(�boolean�r��rr�s  r�_get_booleanz_GLUECLAMP_._get_boolean�s'��	�	�	��~�~�a��+�+�+r
c�0�|�d�d��S)Nc� �t|��Sr)�callabler�s  rr�z+_GLUECLAMP_._get_callable.<locals>.<lambda>�s��X�a�[�[�r
r�r�r�s r�
_get_callablez_GLUECLAMP_._get_callable�s���~�~�8�8�*�E�E�Er
c	�L��	�
���
������|jj}|jj�|jj�d��d��	t	�fd�t|j��D�����
�
�t	�	fd�t�j	�
����D�������
fd���
�fd�}�fd��d��d	�}d
�}d�}t	�fd�t�j	�
����D�������t	�fd
�t|j��D������|�|j<dD]}|�t||��<�|�|j
<�fd��
G��
�fd�d���|�������fd�}|S)Nc��|Srr��noder_s  r�mapchildren_idz0_GLUECLAMP_._get_compile.<locals>.mapchildren_id�s���Kr
c�D��|dg�fd�|dd�D��zS)Nrxc�&��g|]
}�|����Srr)r	r�r_s  �rrzI_GLUECLAMP_._get_compile.<locals>.mapchildren_default.<locals>.<listcomp>�s!���7�7�7����!���7�7�7r
rrr�s `r�mapchildren_defaultz5_GLUECLAMP_._get_compile.<locals>.mapchildren_default�s1�����G�9�7�7�7�7�d�1�2�2�h�7�7�7�7�7r
c���g|]}|�f��Srr)r	rXr�s  �rrz,_GLUECLAMP_._get_compile.<locals>.<listcomp>�s���H�H�H��e�^�
$�H�H�Hr
c���g|]	\}}|�f��
Srr)r	rXrsr�s   �rrz,_GLUECLAMP_._get_compile.<locals>.<listcomp>�s9���*\�*\�*\�.9�e�T�,1�2E�*F�*\�*\�*\r
c�4���|d||��Sr�r)r�r_�mapchildren_dispatchs  �r�mapchildrenz-_GLUECLAMP_._get_compile.<locals>.mapchildren�s���0�'��Q��0��q�9�9�9r
c�����������t�j�����D]-\}}t	||��rt||��j�|<�.��fd���S)Nc�4���|d|���Sr�r)r��_visitrs ��rr�z9_GLUECLAMP_._get_compile.<locals>.visitor.<locals>._visits���Z�Q�t�A�w�Z��f�%=�%=�=r
)�copyr��sym_name�itemsrkrrb)�CrXrsr�rr��symbols   @@��r�visitorz)_GLUECLAMP_._get_compile.<locals>.visitors�����$�)�)�+�+�A�#�F�O�$9�$9�$;�$;�<�<�
9�
9���t��1�d�#�#�9�&�q�$�/�/�8�A�e�H��=�=�=�=�=�=��Mr
c�R��|dd�D]}�|d||���dS)Nrrxr)r�r�r��recover_source_dispatchs   �r�recover_source_nodez5_GLUECLAMP_._get_compile.<locals>.recover_source_node	sC����!�"�"�X�
4�
4��-�'��!��-�a��3�3�3�3�
4�
4r
c��|r!|ddkr|�d��|�|d��dS�Nr�rI� r�rX�r�r�s  r�recover_source_tokenz6_GLUECLAMP_._get_compile.<locals>.recover_source_token
sA���
�Q�r�U�c�\�\�����
�
�
�
�H�H�T�!�W�����r
c�~�|r|ddvr|�d��|�|d��dS)Nr�)r2rIr�rr�r�s  r�recover_source_namez5_GLUECLAMP_._get_compile.<locals>.recover_source_namesC���
�Q�r�U�*�,�,�����
�
�
�
�H�H�T�!�W�����r
c�<�|�|d��dSr�r�r�s  r�recover_source_tight_leftz;_GLUECLAMP_._get_compile.<locals>.recover_source_tight_lefts��
�H�H�T�!�W�����r
c���|rC|ddd����s!|ddks|�d��|�|d��dSr�)�isalnumrXr�s  r�recover_source_lparz5_GLUECLAMP_._get_compile.<locals>.recover_source_lpars`���
�!�B�%����*�,�,�.�.�
�!�B�%�3�,�,�����
�
�
�
�H�H�T�!�W�����r
c���g|]	\}}|�f��
Srr)r	rXrsr�s   �rrz,_GLUECLAMP_._get_compile.<locals>.<listcomp>s9���(Z�(Z�(Z�,7�E�4�*/�0C�(D�(Z�(Z�(Zr
c���g|]}|�f��Srr)r	rXr�s  �rrz,_GLUECLAMP_._get_compile.<locals>.<listcomp>"s���S�S�S�E�5�.�/�S�S�Sr
)	�RPAR�LSQB�RSQB�COLON�COMMA�SEMI�DOT�LBRACE�RBRACEc�b��g}�|d||��d�|��S)Nrxry)r)r�r�r�s  �r�recover_sourcez0_GLUECLAMP_._get_compile.<locals>.recover_source-s4����A�,�#�D��G�,�T�1�5�5�5��7�7�1�:�:�r
c���eZdZ���fd�ZdS)�._GLUECLAMP_._get_compile.<locals>.wrap_lambdefc#�F��t|��dkr�|dd�jkrk�|d��}�|d|��}dddddd	d
ddd
dddddddd|ffdddddddd	d
ddd
ddddd|zffffffffffffffffdfffffffffffffS�||��S)Nr�rrxi$i%i&i'i)i*i+i,i-i.i/i0)�1)rrwi4)�rIi=i>)�rr�rCz%r)�r�)rD�lambdef)r�r_�lsource�lnoder�r�r�s    ���rrHz3_GLUECLAMP_._get_compile.<locals>.wrap_lambdef.test3s�����t�9�9��>�>�d�1�g�a�j�F�N�&B�&B�,�n�T�!�W�5�5�G�'�K��Q���3�3�E��c�C�#��c�C�#��IL�s�UX�Zz�VY�[c�fi�lo�ru�w|�q}�k~�AJ�gj�mp�sv�y|�@C�FI�LO�RU�X[�Y\�_b�eh�kn�qt�wx�z~�AH�zH�vx�py�jz�d{�^|�X}�W~�Q�K@�EA�B�yC�sD�mE�gF�fG�IQ�VR�US�OT�IU�HV�BW�<X�6Y�0Z�*[�$\�]�^�^�#�{�4��+�+�+r
N)rKrMrNrH)r�r�r�s���r�wrap_lambdefr�2s8�������
,�
,�
,�
,�
,�
,�
,�
,�
,r
r�c���|dkrt|||g|�R�S��|��}��|d���}�|�	��}��|��}��|��}|S)Nr�r)�	line_info)rBrS�	ast2tuple�	tuple2ast�
compileast)
rj�filename�moderS�astr�r+r��parserr�s
       ���r�compile_z*_GLUECLAMP_._get_compile.<locals>.compile_Es�����v�~�~��v�x��=��=�=�=�=��+�+�f�%�%�C��#�#�C�1�#�5�5�D��;�t�\�2�2�D��"�"�4�(�(�C��"�"�3�'�'�B��Ir
)rU�tokenr�r��dictr��N_TOKENS�updater�r�r��NAMEr�LPAR)rr�r�r�r�r��tokr�r�r�r�r�r�r�r�r�r�r�r�s        @@@@@@@@@@@r�_get_compilez_GLUECLAMP_._get_compile�s���������������
� ����"����"��	�	�	�	8�	8�	8� $�H�H�H�H�%���2G�2G�H�H�H� J� J��	�#�#�D�*\�*\�*\�*\�=A�&�/�BW�BW�BY�BY�=Z�=Z�*\�*\�*\�%]�%]�	^�	^�	^�	:�	:�	:�	:�	:�	�	�	�	�	�	�	4�	4�	4�	4�	4�	�	�	�
	�	�	�
	�	�	�	�	�	�
#'�(Z�(Z�(Z�(Z�;?���@U�@U�@W�@W�;X�;X�(Z�(Z�(Z�#[�#[���&�&��S�S�S�S�U�5�>�=R�=R�S�S�S�T�T�	V�	V�	V�/B���
�+�/�	9�	9�C� 9�
$�G��s�%�%�
�
�/B���
�+�	�	�	�	�	�
	,�	,�	,�	,�	,�	,�	,�	,�	,�	,�	,�	,�"�w�|�,�,��
	�
	�
	�
	�
	�
	�
	��r
c�6�|�t��Sr)r�r�r�s r�
_get_cprodz_GLUECLAMP_._get_cprodSs���{�{�1�2�2�2r
c�@�|jj�|��Sr)rp�byclodo�dictofr�s  rr�z_GLUECLAMP_.dictofVs���{�"�)�)�#�.�.�.r
c�6�|�t��Sr)r�r�r�s r�_get_docz_GLUECLAMP_._get_docYs���{�{�9�%�%�%r
c��|j|jz���}t|��}t	|��|Sr)r�r��shortestrrS)rr�r��dos    r�docofz_GLUECLAMP_.docof\s7���w���&�0�0�2�2��
��X�X��
�b�	�	�	��	r
rxc�"�|rd}nd}|�|d|��}|�|jjjj�|����}|�$|���}t||��t||��S)Nr�r�ry)
rBrrUr�r�rrr��execr�)rrS�initr
r�r+rs       rr�z_GLUECLAMP_.evalbs����	��D�D��D�
�\�\�$��D�
)�
)�����T�Z�-�1�6�I�I�"�M�M�N�N���������A���q�M�M�M��B��{�{�r
c�t�ddi}tjD]&}|�d��r
|dd�}d||<�'|S)NrUr�_get_�)rtr�r�)rr%rs   r�_get_all_namesz_GLUECLAMP_._get_all_namespsN���!����%�	�	�A��|�|�G�$�$�
��a�b�b�E���E�!�H�H��r
c���|�+d|jvr!|jD]}t||���d|_n |j}|D]}||vrt||���|j}|jjd|d<|S)Nrur�__builtins__)r��	all_namesrrur�__globals__)rr%r�allrsrs      rrz_GLUECLAMP_._load_namesxs����=���
�-�-���%�%�A��D�!�$�$�$�$� �����.�C��
(�
(���3�;�;��D�$�'�'�'���M�� �,�8��H��.���r
c�6�|�t��Sr)r�rr�s r�_get_egz_GLUECLAMP_._get_eg�����{�{�=�)�)�)r
c�6�|�t��Sr)r�r�r�s r�	_get_elemz_GLUECLAMP_._get_elem�s���{�{�:�&�&�&r
c�n�||jjvr1|�|��}||j�|��fS||jjvr�|jjdkr�|jj	�
d��r�|jj	}|�d��}|jj}|j
j}t||d���|�||d���}d�|��}||j�|��fS||j�|��fS)Nz<lambda>z<!SPECEVAL!>�
)r<�stringr�rv�anon�Type�Functionr^�co_name�co_filenamer�r��co_firstlinenorUrVrS�getblockr�getdoc)	rrSr�r��lines�lnumrV�blockrjs	         rr�z_GLUECLAMP_._exodoc�s���4�7�>�!�!��	�	�$���A��d�h�m�m�D�)�)�)�)��d�i�(�(�(��m�#�z�1�1��m�'�2�2�>�B�B�2���*�B��H�H�T�N�N�E��=�/�D��j�(�G��%����,�����$�$�U�4�5�5�\�2�2�E��Y�Y�u�%�%�F�������0�0�0�0�������.�.�.�.r
c�6�|�t��Sr)r�r/r�s r�_get_expredz_GLUECLAMP_._get_expred�s���{�{�4�5�5�5r
c�4�d�}|�|d��S)Nc�~�	td|z��n(#t$r|�d|z��YnwxYwdS)Nzlambda : %szNot a valid expression: %rT)r�r�r�r�s  rr�z&_GLUECLAMP_._get_expression.<locals>.p�s[��
=��]�Q�&�'�'�'�'���
=�
=�
=��
�
�7�!�;�<�<�<�<�<�
=�����4s��":�:r1r�r�s  r�_get_expressionz_GLUECLAMP_._get_expression�s'��	�	�	��~�~�a��.�.�.r
c�6�|�t��Sr)r�r8r�s r�_get_expsetz_GLUECLAMP_._get_expset�s���{�{�.�/�/�/r
c�6�|�t��Sr)r�rr�s r�_get_equalsz_GLUECLAMP_._get_equals�s���{�{�<�(�(�(r
c�0�|jj||g|�Ri|��Sr)rp�fam_mixin_argatom)rr+rSr�s    rr�z_GLUECLAMP_.family�s)��,�t�{�,�S�$�F��F�F�F��F�F�Fr
c��|jjSr)rprxr�s r�_get__hiding_tag_z_GLUECLAMP_._get__hiding_tag_�s
���{�'�'r
c�6�|�t��Sr)r�r)r�s r�
_get_instancez_GLUECLAMP_._get_instance�r�r
c�6�|�t��Sr)r�r�r�s r�_get_intersectionz_GLUECLAMP_._get_intersection�s���{�{�-�.�.�.r
c�6�t||jj��Sr)r�_Specification_rr�s r�_get_LEz_GLUECLAMP_._get_LE�s����d�2�?�@�@�@r
c��|jSrr;r�s r�	_get_SPLEz_GLUECLAMP_._get_SPLE�s	���w�r
c�6�|�t��Sr)r�r�r�s r�_get_mappingz_GLUECLAMP_._get_mapping�rr
c�6�|�t��Sr)r�r>r�s r�_get_matchesz_GLUECLAMP_._get_matches�rr
c�"�t||��Sr)r)rrs  r�	mkTestEnvz_GLUECLAMP_.mkTestEnv�s���t�T�"�"�"r
c�0�|�d�|��S)Nc��dSr�r)r�rs  rr�z%_GLUECLAMP_.newtype.<locals>.<lambda>�s��1�r
r�)rrss  r�newtypez_GLUECLAMP_.newtype�s���~�~�n�n�d�3�3�3r
c��|jjSr)�User�r�s r�_get_nothingz_GLUECLAMP_._get_nothing�s
���x��r
c�~�|�d|�|��|jjz|jz��S)N�	partition)r��union_equalsr<�nonempty�set_of_disjoint_setsr�s  rrBz_GLUECLAMP_.partition�sC���x�x���)�)�#�.�.���(�)��1�2���	r
c�6�|�t��Sr)r�r�r�s r�_get_predicatez_GLUECLAMP_._get_predicate�r�r
c�6�|�t��Sr)r�r�r�s r�
_get_powersetz_GLUECLAMP_._get_powerset�r�r
c��|jjSr)rprr�s r�
_get_Anythingz_GLUECLAMP_._get_Anything�s
���{�#�#r
c��gSrrr�s r�
_get_quotez_GLUECLAMP_._get_quote�s���	r
c�6�|�t��Sr)r�rHr�s r�_get_recurselfz_GLUECLAMP_._get_recurself�r�r
c�F�Gd�d��}|�|��S)Nc�V�eZdZgd�Zd�Zd�Zd�Zd�Zd�Zd�Z	e
Zd�Zd	�Z
d
�Zd�ZdS)
�/_GLUECLAMP_._get_relation.<locals>.RelationSpec))�1�paxb)�2�paxa)�3�defiop�fuop)�4�defipair)�5�
defitriplec�h�|�|�|j|j����Sr�r�r�r�rr�s  r�_get_spec_1z;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get_spec_1�s&���w�w�q�w�w�q�z�1�:�>�>�?�?�?r
c�h�|�|�|j|j����Srr_r`s  r�_get_spec_2z;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get_spec_2�s&���������
�A�J� ?� ?�@�@�Ar
c
�l�|j|j|jfz|�ddddddddd	d
�
�
zS)NrHrrrrrrrr	r
)r�rrr`s  r�_get_spec_3z;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get_spec_3sD���	�a�j�!�*�%=�=�����d�D�$��T�4��SW�Ya�b�b�c�dr
c�L�|�|j|jj��Sr�r�r�r�rYr`s  r�_get_spec_4z;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get_spec_4s���w�w�q�u�d�i�n�5�5�5r
c�X�|�|j|jj|j��Srrgr`s  r�_get_spec_5z;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get_spec_5	s ���w�w�q�u�d�i�n�a�e�<�<�<r
c�6�|�t��Sr)r�r�r`s  r�_get__relopz;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get__relops���x�x��,�,�,r
c��|j|fSr)r�rr�rYs   r�
map_3_to_4z:_GLUECLAMP_._get_relation.<locals>.RelationSpec.map_3_to_4s��1�:�t�2D�+Dr
c�8�|�|j|��Sr)�_reloprrns   r�
map_3_to_2z:_GLUECLAMP_._get_relation.<locals>.RelationSpec.map_3_to_2s��$�+�+�a�j�$�2O�2O�+Or
c��|j|�Sr�rq�rr�rSs   r�
map_4_to_2z:_GLUECLAMP_._get_relation.<locals>.RelationSpec.map_4_to_2���+�$�+�t�2D�+Dr
c��|j|�Srrtrus   r�
map_5_to_1z:_GLUECLAMP_._get_relation.<locals>.RelationSpec.map_5_to_1rwr
N)rKrMrNr�rarcrerhrjrlr��
map_2_to_1rorrrvryrr
r�RelationSpecrR�s����������F�
@�
@�
@�
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_relation�sG�� 	E� 	E� 	E� 	E� 	E� 	E� 	E� 	E�D�{�{�<�(�(�(r
c�.�|jjjjSr)rrXrtrVr�s r�
_get_relopz_GLUECLAMP_._get_relops���}�#�&�+�+r
c�"�t||��Sr)r�)rr�s  rr|z_GLUECLAMP_.repcats��%�d�D�1�1�1r
c�6�|�t��Sr)r�r�r�s r�
_get_sequencez_GLUECLAMP_._get_sequencer�r
c�@�|�|jj��Sr)�instancerpr�s r�_get_setz_GLUECLAMP_._get_set s���}�}�T�[�/�0�0�0r
c�4�d�}|�|d��S)Nc�2�|�|d�d��S)Nc�8�||kp|�|��Sr)�disjoint)r:r.r/s   rr�zB_GLUECLAMP_._get_set_of_disjoint_sets.<locals>.p.<locals>.<lambda>%s���a��9P�1�:�:�a�=�=�r
za == b or a.disjoint(b))rjr�s  rr�z0_GLUECLAMP_._get_set_of_disjoint_sets.<locals>.p$s%���#�#�A�'P�'P�$=�?�?�
?r
zset of disjoint setsr�r�s  r�_get_set_of_disjoint_setsz%_GLUECLAMP_._get_set_of_disjoint_sets#s(��	?�	?�	?��~�~�a�!7�8�8�8r
c	��t||jj��sl|j�|��}|j�||j�|j�|jd��|����}|S)Nr�)rrpr�rvr��callfuncr�r�r$s  rr�z_GLUECLAMP_.setcast)sz���#�t�{�1�2�2�	��+�%�%�c�*�*�C��(�-�-��T�X�%6�%6���"�"�4�=�)�<�<��&�&���C��
r
c��|jSr)r�r�s r�
_get_setofz_GLUECLAMP_._get_setof1s
���}�r
c�,�|�d��Sr)r:r�s r�_get__static_test_envz!_GLUECLAMP_._get__static_test_env4s���~�~�d�#�#�#r
c�6�|�t��Sr)r�r#r�s r�
_get_synonymsz_GLUECLAMP_._get_synonyms7r�r
c�6�|�t��Sr)r�r]r�s r�_get_tupleformz_GLUECLAMP_._get_tupleform:r�r
c��|jjSr)r?rr�s r�	_get_Typez_GLUECLAMP_._get_Type=s���x�}�r
c��|�|�d|�|����|�|����S)Nr�)�egr(rr�r�s  rrCz_GLUECLAMP_.union_equals@sC���w�w�t�y�y��$�+�+�c�*:�*:�;�;��}�}�S�)�)�+�+�	+r
c�D�|j�|��|_|Sr)rvrjr�)rr�rs   rrwz_GLUECLAMP_.wrap_source_stringDs�������,�,��
��r
rr�)BrKrMrN�	_chgable_�_nowrap_�	_preload_�	_imports_r{r}r�r�r�r�r�r�r�r�r�r�r�r�r�r�r�r�r�rrr
rr�r r#r%r'r�r+r-r/r2r4r6r8r:r=r@rBrGrIrKrMrOr}rr|r�r�r�r�r�r�r�r�r�rCrwrr
rrtrt�s��������I�&�H� �I��I�6�5�5�/�/�/�1�1�1�E�E�E�	�	�	�.�.�.�,�,�,����+�+�+�,�,�,�����,�,�,�F�F�F�e�e�e�N3�3�3�/�/�/�/�&�&�&�����������
�
�
�
�*�*�*�'�'�'�/�/�/�&6�6�6�/�/�/�0�0�0�)�)�)�G�G�G�(�(�(�+�+�+�/�/�/�A�A�A����*�*�*�*�*�*�#�#�#�4�4�4� � � ����,�,�,�+�+�+�$�$�$����,�,�,�,)�,)�,)�\,�,�,�2�2�2�+�+�+�1�1�1�9�9�9�������$�$�$�+�+�+�,�,�,����+�+�+�����r
rtN)'�__doc__r3rrrPrmr|r�r�r�r�r�r�r�rrr#r)r/r8r>rHrYr]r�rvr|r�r�r�r�r�r7r�r?rrrrtrr
r�<module>r�s:����	
�����)G�)G�)G�)G�)G�)G�)G�)G�X*�*�*�*�*�Z�*�*�*�Z�����j����.*�*�*�*�*�j�*�*�*�,'�'�'�'�'�Z�'�'�'�T
�
�
�
�
�Z�
�
�
� GH�GH�GH�GH�GH�J�GH�GH�GH�T�����j����_�_�_�_�_�Z�_�_�_�4*�*�*�*�*�
�*�*�*�4�4�4�4�4�*�4�4�4�n�����:���������J���������Z����$W�W�W�W�W�Z�W�W�W������
����$Y�Y�Y�Y�Y�*�Y�Y�Y�"
�
�
�
�
�J�
�
�
� %�%�%�%�%�j�%�%�%�P	�	�	�	�	�	�	�	�7�7�7�7�7�j�7�7�7�&2�2�2�2�2�2�2�2�&�����E����!�!�!�!�!�E�!�!�!���������*m%�m%�m%�m%�m%��m%�m%�m%�`9�9�9�9�9�
�9�9�9�x5�5�5�5�5��5�5�5�M�M�M�M�M��M�M�M�	�	�	�	�	�	�	�	�	�	�	�	�	�	�	�	�	�	�	�	�	�	�	�I�	�	�	���������2N�N�N�N�N�N�N�N�b`�`�`�`�`�`�`�`�`�`r

Zerion Mini Shell 1.0