�
;�Pc@sdZd
Z
d�Zdfd��YZdef
d��YZdef
d��YZd	ef
d
��YZdef
d��YZd
ef
d��YZdef
d��YZ	def
d��YZ
def
d��YZdef
d��YZdef
d��YZ
def
d��YZdef
d��YZdef
d��YZdef
d ��YZd!ef
d"��YZd#ef
d$��YZd%ef
d&��YZd'ef
d(��YZd)fd*��YZd+ef
d,��YZd-fd.��YZd/ef
d0��YZd1ef
d2��YZd3fd4��YZd5ef
d6��YZd7ef
d8��YZd9ef
d:��YZd;ef
d<��YZd=e f
d>��YZ!d?e f
d@��YZ"dAe f
dB��YZ#dCfdD��YZ$dEfdF��YZ%dGfdH��YZ&dIS(Js

Contains some experimental set constructions.
In the current state, not to be used by the faint-hearted.
It is likely due for some major refactoring and has probably
many bugs, it was a long time since I run the tests.
You don't get any other documentation than this right now.

i
c
Csiyt|d
�SWnQt
k
rd


t|t�rZddjg|D]}
t|
�
^q@�
St|�
SXdS(Ntbriefs(%s)t
,(tgetattrtAttributeErrort
isinstancettupletjointbriefstrtstr(t
xtxi((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRs





*
t
SpecFamilyc
BsGeZ
d�Zd
�Zd�Zd�Zd�Zd�Zd�ZRS(cCs/||_|j
|
j�

|j|g
8_dS(
N(tspecmodtdefrefiningtAnythingt	disjoints(tselft	unisetmodR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt__init__s
	

cCs|j||
�S(
N(
tSet(Rtarg((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt__call__s
cCs?t|t
�r(|jjj|
|f�
S|jj||
�SdS(
N(RRtmodtfam_Andt_constfamt	_and_ATOM(Rt
at
b((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytc_and!s

cCs||jj
}|jj�}x?|jD]4}y|j|
|d
�
Wn


q%X|j|�

q%W|jjj|jj	|�
�
S(Nsselect contains(
Rt_static_test_envRt
mutnodesettnodest
test_containstaddtfam_IdentityRt
immnodeset(RRRtenvtrestbi((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_and_ID(s







cCs<|jj
}y|j|
|d
�SWntk
r7


tSXdS(Ns
Spec contains(RRR!t	TestErrortFalse(RRRR%((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
c_contains5s






cCs4|
j}t
|�
|kr0||d
 d}n|S(Nis...(Rtlen(RRtmax_lenR	((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytc_getlimstr<s
	


cCsd
|jj
t|
j�
fS(Ns<%s(%s)>(t	__class__t__name__RR(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytc_get_briefBs
(	R0t
__module__RRRR(R+R.R1(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRs
				
			tArgNamesFamilyc
Bs5eZ
d�Zd
�Zd�Zd�Zd�ZRS(c
Gs|j||
�S(
N(
R(Rtargs((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRTs
cCsq|jj
j}|j|
�
\}}}|dk	rG|jd
|�

n|dk	rg|jd|�

nt|�
S(Ns*%ss**%s(Rt_roottinspecttgetargstNonetappendR(RtcodeR6R4tvarargstvarkw((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytgetargnamesWs






cCs9y |
j}|j
|�
|kSWntk
r4


tSXdS(
N(t	func_codeR=RR*(Rt
fR4R:((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
func_argnames`s


	



cCsFy-|
j}|j
}|j|�
d
|kSWntk
rA


tSXdS(Ni
(tim_funcR>R=RR*(Rt
mR4R?R:((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
meth_argnamesgs

	
	



cs���
fd
�}��
fd�}�
jj
j}||�
p�||�
p�t||j�r{t|d�r{||j�
p�t||j�r�t|d�r�||j�
p�t||j	�r�t|d�r�||j�
p�t|d�o�||j�
S(Nc

s�
j|�j
�S(
N(R@R(
R?(RR(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt<lambda>psc

s�
j|�j
�S(
N(RCR(
RB(RR(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRDqsRR(
RR5ttypesRtInstanceTypethasattrRt	ClassTypeRtTypeType(RRR	R@RCRE((RRsC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR+os 















(R0R2RR=R@RCR+(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR3Ss

					tAttributeFamilycBs&eZ
dd�
Zd
�Zd�ZRS(cCsU|dkr|j
j}n't||jj�sB|j|�
}n|j|
|f�
S(
N(R8RtanyRRtUniSettc_fromtspecotup(Rtnamettype((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�s




cCs1|
j\}}|j
||�}|j||�S(
N(Rt
gengetattrR!(RRRR%RORPR	((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytc_test_contains�s


cCsPd
|
jdf
}|
jddk	rB|d|
jdj}n
|d}|S(Ns<AttributeFamily(%r%%s>ii
R
t(RR8R(RRR	((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytc_get_brieflimstr�s





N(R0R2R8RRRRT(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRJ�s
	tAdaptupleFamilyc
Bs#eZ
d�Zd
�Zd�ZRS(c
Os*tj
||
|�

|jd
d��
dS(Ntnewc

Ss|jd
S(Ni(
R(
R	((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD�s(RRt
add_export(RRt
k((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�s

cCsF|jj
|
�
\}
}|jj|�
}|j|
|f||f�S(
N(Rt_exodoctsetcasttspecoargtup(RtfuncRPtdoc((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�s


cCs[|
j\}}t
|t�rEy||�}WqK


|jd
�
SXn|}|j||�S(Nscalling func failed(RRRtfailed_exc_infoR!(RRRR%R\RPR	((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR�s






(R0R2RRRR(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRU�s
		tCartesianProductFamilyc
Bs5eZ
d�Zd
�Zd�Zd�Zd�ZRS(c
Gs|j||
�S(
N(
R(RRE((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�s
cCs0|
j}t
|�
d
kr#|dStd�dS(Niis*Domain is defined on binary relations only(RR,t	TypeError(RRRE((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytc_domain�s
	


cCs�g}xht|
j
�
D]W\}}t|j|�
�
}|s`|jd
|dd|�s`gSn|j|�

qW|jjj	j
j|�S(Nscartesian productsthe argument #%d(t	enumerateRtlisttget_examplestfailed_coverageR8R9RR5tguppytetctiterpermute(RRR%texst
itaitex((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytc_get_examples�s





cCs1d
}x$|
jD]}|t
|j�
}qW|S(Ni
(RR,(RRt
lRk((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytc_len�s



cCs�|
j}t
|�
}t|�
t|�
krS|jd
t|�
t|�
f�

n:x3t||�D]"\}}|j||�sctSqcWtSdS(Ns*cprod of length %d: argument has length %d(RRR,tfailedtzipR!R*tTrue(RRRR%REtbst
t((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR�s
	


&


(R0R2RRaRmRoRR(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR_�s

			
	tSequenceFamilyc
Bs#eZ
d�Zd
�Zd�ZRS(cCs
|j|
�
S(
N(
tspecoarg(RRP((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�s
cCs.x'|D]}|
jj
||�stSqWtS(
N(RR!R*Rr(RRRR%R	((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR�s




ccsSxLt|j
�
D];}x2|j|jj|
jg
|��
D]}|V
q<WqWdS(
N(trangetmax_sequence_examples_lengthRdRtcprodR(RRR%RjR	((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRm�s

,
(R0R2RRRRm(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRu�s
		t
MappingFamilyc
Bs5eZ
d�Zd
�Zd�Zd�Zd�ZRS(c
s0tj
�|
|�

�jd
�f
d��
dS(Ntarrowc

s�
�fd
�S(Nc

s�j�
|�S(
N(
tc_arrow(
R?(RR	(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD�s((
R	(
R(
R	sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD�s(RRRW(RRRX((
RsC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�s

cCs"|
j\}}}t
|||�S(
N(RtArrow(RRR?ttfttstret((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR|�s

c
Gs
g}g}d}d
}|j
j}xq
|t|
�
kr�
|
|}t|t�r`
|dkr�|d7}|t|
�
dks�td�n||
|�
}q�
|jd�
r�|d7}||
|�
}|jd|d t|�
f�

|j|�

q�
|dkrP
|d7}||
|�
}|jd	t|�
�

|j|j
j	|�
�

q�
td
|�n*|jdt|�
�

|j||�
�

|d7}q'Wdd
j
|�
d}	t|	�
}
|j
j|�}|dkr�
|j
j
}n|j||
||f�S(Nis->i
s<The '->' specifier must be next to last in the argument listt
=s%s=%args[%d]i����t
*s	*args[%d]sInvalid argument specifier: %rsargs[%d]slambda f: lambda *args: f(R
t
)(R8RRZR,RRtSyntaxErrortendswithR9tsequenceRtevalRyRR(RR4Rtas_R�RjRZRkRttfnR?((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�sF














	





!















cs@|
j\�}�
�|�
���
fd
�}|j
||�S(NcsDy�|
�}Wn



�n$X�
dk	r<|j
�
|d
�StSdS(NsMapping Return Type(R8R!Rr(R%R4t
r(R?R�(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
g
s




(Rtforall(RRR\R%RR�((R?R�sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR
s

cs;|
j\}}}g|j
|�
D]��f
d
�^q"S(Nc
s�S(
N((R4tkwds(
R	(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD/
s(RRd(RRR%R?RR�((
R	sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRm,
s
(R0R2RR|RRRRm(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRz�s

			)	tPredicateFamilyc
BseZ
d�Zd
�ZRS(cCs|j||
|f�S(
N(
R(RRR]((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR3
s
cCsB|
j\}}|||�s>|j
d
||j|�
f�
StS(Ns(pred: doc = %r; failed for element == %s(RRpRORr(RRRR%tpredR]((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR6
s


 
(R0R2RRR(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�2
s
	tPowersetFamilyc
Bs,eZ
d�Zd
�Zd�Zd�ZRS(c
Gs'tj
||
�

|jd
d��
dS(Ntunionc


Ss|jS(
N(
R(
R	((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD?
s(RRRW(RR4((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR=
s

cCs
|j|
�
S(
N(
Rv(Rtset((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRA
s
cCs:|jj
|
jg}y|j|
j�
}Wn


|SX|S(
N(RtNothingRRd(RRR%R	t
y((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRmD
s



csW||jj
kr2|jd
|jj|�
�

n|
j�|j|�f
d�d�S(Ns%powerset.test_contains: not a set: %scs|j�|
d
�S(Ntpowerset(
R!(R%R	(
R�(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRDR
sR�(RR�RptisoRR�(RRRR%((
R�sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRRN
s

 
	
(R0R2RRRmRR(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�<
s
			
t	DocFamilycBseZ
dd�
Zd
�ZRS(cCs^|dkr|j
jj}n*||j
jkrH|j
jj|�
}n|j||
|f�S(
N(R8RRLt
NotNothingR�tconvertR(RR]RP((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRV
s




cCs|
j\}}|j
||�S(
N(RR!(RRRR%R]RP((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR^
s

N(R0R2R8RRR(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�U
s
tRelOpFamilycBs/eZ
d�Zdd
�
Zd�Zd�ZRS(c
OsFtj
||
|�

|jd
d��
|jdd��
i|_dS(Ntdomainc

Ss|jd
S(Ni(
R(
R	((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRDe
sRwc

Ss|jd
S(Ni(
R(
R	((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRDf
s(RRRWtmemo(RRRX((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRc
s


cCs�|jj
|
�
}
|dkr'|
}n|jj
|�
}|jj|
||f�
}|dkr�|dkr�td|�
}||_n|}|j|_|j||
||f�}||j|
||f<n|S(
Nt
<s<=s==s!=t
>s>=tinsnot intissis notslambda x,y: x %s y(
R�s<=s==s!=R�s>=R�snot inR�sis not(	RRZR8R�tgetR�ROt	func_nameR(RR�topRwR	R\((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRm
s


	








cCs�t|j
|
j�
�
}|s8td
|
jdd�
gSt|j
|
j�
�
}|sptd
|
jdd�
gSg}xH|jjjj	j
||�D](}|j|
|�r�|j|�

q�q�W|S(NtrelationR�Rw(
RcRdR�ReR8RwRR5RfRgRhtcontainsR9(RRR%tdomtranRiRl((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRm
s






%


cCs,|
j\}}}||�s(|j
�StS(
N(RRpRr(RRRR%t
dR�R�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR�
s




N(R0R2RR8RRmRR(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�b
s
	
	tEqualsFamilyc
Bs#eZ
d�Zd
�Zd�ZRS(c
Gs|
s|jj
S|j|
�
S(
N(RR�RN(RR4((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�
s



cCs ||
jkrt
S|jd
�
S(Ntequals(RRrRp(RRRR%((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR�
s


c
Cs|
jS(
N(
R(RRR%((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRm�
s
(R0R2RRRRm(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR��
s
		t
ExampleFamilyc
Bs#eZ
d�Zd
�Zd�ZRS(cGs|j||
|f�S(
N(
R(RR�texamples((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�
s
cCs|
j\}}|j
||�S(
N(RR!(RRRR%R�R�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR�
s

cCs|
j\}}|S(
N(
R(RRR%R�R�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRm�
s
(R0R2RRRRm(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR��
s
		tSynonymsFamilyc
BseZ
d�Zd
�ZRS(c
Gs|j||
�S(
N(
R(Rtnames((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�
s
cCs�|
j}|j
jj�}x-|D]%}|j||�}|j|�

q"Wt|�
sk|jd
|�

nt|�
dkr�|jdt|�
|f�

ntS(NsSynonyms: no such names: %ri
s*Synonyms: %d different nodes for names: %r(	RRRLRRR"R,RpRr(RRRR%R�tmsROR	((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR�
s
	








 
(R0R2RRR(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR��
s
	tInstanceFamilyc
Bs#eZ
d�Zd
�Zd�ZRS(cCs?t||
j
�s;|jd
|jj|�
|
j
f�

ntS(Ns+InstanceFamily: %s is not an instance of %s(RRRpRR�Rr(RRRR%((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR�
s

	
 
cCs|j|j
j|
j�
�
S(
N(RdRRZR(RRR%((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRm�
s
cCs8|jj
g|jD]}t||
j�r|^q�S(
N(RR#R RR(RRRR'((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR(�
s
(R0R2RRRmR((((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR��
s
		tExpressionPredicateFamilyc
BseZ
d�Zd
�ZRS(cCsd}|j
||
||f�S(
N(R8R(RR�t
expressionR\((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�
s

c
Cs�|
j\}}}t
d
dj|�
|f�
}i}x*|D]"}|j||�}	|	||<q>Wy||�}	Wn



�n
X|	s�|jd|�

ntS(Nslambda %s:%sR
sFalse expression: %s(RR�RRRpRr(
RRRR%R�R�R\R�ROR	((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR�
s













(R0R2RRR(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR��
s
	tExpressionSetFamilyc
BseZ
d�Zd
�ZRS(cGsd}|j
|||
|f�S(
N(R8R(RR�R�R\((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�
s

c
Cs�|
j\}}}|j
jd
djdt|�
�
|f�
}i
|jd6}x*|D]"}|j||�}	|	||<qXWy||�}	Wn



�n
X|j|	|d|dj|�
f�S(Nslambda %s:(%s)R
tLEsexpset(%s, %s)(
R�(RRR�RRR�RR!(
RRRR%R�R�R\R�ROR	((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR�
s

/









(R0R2RRR(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR��
s
	t
MatchesFamilyc
Bs#eZ
d�Zd
�Zd�ZRS(c
Os)tj
||
|�

|jjj|_dS(
N(RRRR5tsre(RRRX((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�
s

cCs|j|j
j|
�
|
f
�S(
N(R[R�tcompile(Rtregexp((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�
s
cCs;|
j}|j
j||�}|dkr7|jd
�
StS(Ns
Did not match(RR�tmatchR8RpRr(RRRR%t	regexpobjRB((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR
s

	




(R0R2RRRR(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR��
s
		tRecurSelfFamilycBs&eZ
d�Zd
d�
Zd�ZRS(c
Os9tj
||
|�

d
|jf
d��Y}||_dS(Nt	RecurSpeccBseZ
dZRS(R\trecursion_leveltrecursion_limit(R\R�R�(R0R2t	__slots__(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�s
(RRRR�(RRRXR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR	s
i
cCs(|j||
�}||_
d
|_|S(Ni(R�R�R�(RtexprR�t
s((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRs

	
	
c	Cs�y
|
j}Wn4t
k
rC


|
j}|jd
|�
}|
_n
X||jj�
}y(|j||d�}|s}t�
nWnr


||
�
}|
j}zI||
j	kr�|j
d|
j	�
S|d|
_|j||d�}Wd||
_Xn
X|S(Nslambda self:%ssrecur with Nothing, ok to failsrecurself: recursion_level = %si
trecur(R\RRR�RR�R!R)R�R�Rp(	RRRR%R\R�R�R~trl((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRRs(





	









	





(R0R2RRRR(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�s
	tDummyc
BseZ
RS((R0R2(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�/s
tTupleformFamilyc
BseZ
d�Zd
�ZRS(cCs|j|
|f�
S(
N(
RN(RtformR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR3s
c
Cs�|
j\}}t
|�
}t|�
t|�
krV|jd
t|�
t|�
f�
St�}x-t||�D]\}}	t|||	�
qoW|j||d�S(Ns+tupleform: wrong length: got %d expected %dt	tupleform(RRR,RpR�RqtsetattrR!(
RRRR%R�R�tbttobROtval((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR6s

#	

(R0R2RRR(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�2s
	R}c
Bs#eZ
d�Zd
�Zd�ZRS(cCs|
|_||_
||_dS(
N(tcategorytsourcettarget(RR�R�R�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRFs
	
	
cCs%|jj
|
�
}
|jj||
�S(
N(R�tvalidatetcompose(Rtother((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytofKs
cCs%|jj
|
�
}
|jj|
|�S(
N(R�R�R�(RR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyttoQs
(R0R2RR�R�(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR}Es
		t
IdentityArrowc
BseZ
d�Zd
�ZRS(cCstj
||
||�
dS(
N(R}R(RR�tobject((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRXs
c
Cs|
S(
N((RR	((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR[s
(R0R2RR(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�Ws
	t
FunctionArrowc
BseZ
d�ZRS(
cCs#tj
||
||�
||_dS(
N(R}RR(RR�R�R�tfunction((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR_s

(R0R2R(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�^s
tRepresentationCategoryc
Bs8eZ
dZdZd�Zd
�Zd�Zd�ZRS(cCs,|
jt
�
}|j||�
||_dS(
N(tfamilytRepresentationObjectFamilytinit2t_fam(RRtspecR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRfs


cCs
||
kS(
N((RR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt__eq__ks
c

Cstt
|�
�
S(
N(thashtid(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt__hash__ns
cCs#|jj
|
�
}||j|
<|S(
N(R�t	getobjectt__dict__(RROR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt__getattr__qs



N(	R0R2R8t_derive_origin_t_origin_RR�R�R�(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�cs


			R�c
BsYeZ
d�Zd
�Zd�Zd�Zd�Zd�Zd�Zd�Z	d�Z
RS(	cCs�|
|_i|_
i|_i|_|jd
|j�
|j}d|f
d��Y}||_d|f
d��Y}||�
|_dS(Nt
fromuniversaltRepresentationObjectcBseZ
dZRS(R�tfrom(R�R�(R0R2R�(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR��s
tRepresentationCategorySpecc
BseZ
d�Zd
�ZRS(cSs|
|_|
j
|_dS(
N(R�tcatt_cat(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�s
	
cSsSt|j
d
|
�rFt|d
|
�|jj�
}||j|
<|St|
�dS(Ns_get_%s(RGR/RR�RR�R(RROR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR��s






(R0R2RR�(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR��s
	(R�tobjectstspecstarrowsRWR�RR�(RR�R�RR�R�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�ws
	
	
	
		
	cCs0|
|f}||jkr&|j|St
�
dS(
N(R�t	SpecError(RR�tcodtdc((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytgetarrow�s


cCs�|
|jkr|j|
Sn|j
|
�
}||jkr]|j||j|
<|j|Sn||�
}||j|<|j|
<|Std
|
�(NsNo such object: %r(R�t	normonameR�(RROtnormnamet
o((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR��s







cCsy|
j}||j
kr#|j
|St|jd
|d�}|dk	rh||j�
}||j
|<|Std|�dS(Ns_get_spec_%ssgetspec: No spec of %r(RR�RR�R8RR�(RtobjROtgstsp((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytgetspec�s
	






c
s�
|
j}d
|}|�j
kr-�j
|Si�t�j|
��|<x�t�j�
D]�}|jd�
owd|ks�qYn|jd�
\}}|d}||krYt�j|��
t	�jt�j|�|
�
�fd���|<qYqYW��fd�}d|}�j
j|d|�}	|	�j|<�|�
}
d	t
f
d
��Y}|�j|
|
��}|�j
|<|S(Ns%s.fromuniversaltmap_t_to_ic

s��
j|�S(
N(
R(
R	(R?R(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD�scs�y|
\}}Wn


|jd
�
SXt
|dd�}|�
k	rO|jd�
St
|dd�}|�krz|jd�
S|j||d�S(NsNot a sequence with length 2Rs#Tag is not an object of this familyRs%Object is not a source of this targets&Value is not an element of this object(RpRR8R!(R%t
et
Ot
ARtname_(t
SR(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
p�s












s%s.universalsSpecification-set for %rtAlphaSumc
Bs#eZ
d�Zd
�Zd�ZRS(cSs#tj
||
||�
||_dS(
N(R}Rt_S(RR�R�R�R

((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�s
cSs|j|j
jj|
�
S(
N(R
R�RR�(RR	((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt__getitem__�s
cSs|
\}}||j|�
S(
N(
R(Rt.1R�t
E((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�s	
(R0R2RR
R(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR
�s
		(RR�R�R�tdirR�t
startswithtsplitRR�Rt	predicateR�R}(
RR�ROt	arrownametanR�RtR
tuninamet
PR�R
R{((R

R?RsC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR��s0
	












 








cCs�t|j
d
d�}|dk	r�xo|j
jD]^}d}xO|D]G}|j�r\|}n||
krA|dk	rx|Std|
�qAqAWq.Wn|
S(Nt_isos_s*No numeric object name corresponding to %r(RR�R8R
tisdigitR�(RtontisosRntnnt
n((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR��s







	




cCs5|j|
�
}d
dd��Y}||�
|_
|S(NtToc
Bs)eZ
dZd
�Zd�Zd�ZRS(R�cSs
|
|_dS(
N(
R�(RR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRs
cSs|jj
j|j|
�S(
N(R�RR�(RR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRs
cSs1|j}|j
}|j|
�
}|j||�S(
N(R�RR�R�(RROR�RR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�s
	
	

(
R�(R0R2R�RRR�(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR
s

		((RvR�(RROR�R
((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR
s


cCs"|j|
�
}|j
||d
�S(Ns7RepresentationObjectFamily: not in object specification(R�R!(RRRR%R�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRRs

cCs|j|
�
}|j
|�
S(
N(R�Rd(RRR%R�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRm!s

(R0R2R�R�R�R�R�R�RRRRm(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�vs
	 			
	C			tAbstractSetFamilyc
Bs5eZ
d�Zd
�Zd�Zd�Zd�ZRS(c
Os9tj
||
|�

d
|jf
d��Y}||_dS(NtAbstractSetc
BseZ
dZd
�ZRS(t_memocSs(|
|_||_
d|_i|_dS(
N(RRR8R�R
(RRR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR*s
	
	
	
(
R
(R0R2R�R(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR
(s

(RRR(RRRXR
((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR&s

cCs"|j|
|f�
}i|_
|S(
N(RNR
(RR{R�R�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR1s

	
cCs`|j|krM|
j
\}}|j
\}}||krM||||@�Sn|jj||
�S(
N(RRt
_rand_ATOM(RRRtaatsatabtsb((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR6s





cs{||
jkr|
j|S|
j
\}�
||��j���
�fd
�}|jj|d|�}||
j|<|S(NcsS|j�|
d
�}|r?�|
�
}|j�
|d�}n|S|j
�
t�S(Ns AbstractSet: not in arrow.sources AbstractSet: not in argument set(R!R�R�(R%R	RtR�(tpararrowR�tsrcset(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR
Fs




sAbstract set attribute: %r(R
RR�RR
(RRRR{R
R�((R
R�R 
sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
c_getattr2>s




		


cCsU|
j\}}|j
|j|d
�}|rQ||�
}|j
||d�}n|S(Ns AbstractSet: not in arrow.sources AbstractSet: not in argument set(RR!R�(RRRR%R{R�RtR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRRSs





(R0R2RRRR!
RR(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR
%s

				t
ElemFamilyc
BseZ
d�Zd
�ZRS(cCs
|j|
�
S(
N(
Rv(RR\((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR\s
cCs(|
j}||�
}|j
||d
�S(NR"
(RR!(RRRR%R\R�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR_s
	

(R0R2RRR(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR"
[s
	tIntersectionFamilyc
BseZ
d�Zd
�ZRS(cCs|j|
|f�
S(
N(
RN(RR�R�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRes
cs+|
j\}�
|j
|��
fd
��S(Ncs|j�
|
�
�d
�S(NtIntersection(
R!(R%R	(RR�(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRDjs
(RR�(RRRR%R�((RR�sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRRhs

(R0R2RRR(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR#
ds
	R�c
BseZ
RS((R0R2(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�ns
R)c
BseZ
RS((R0R2(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR)qs
t
CoverageErrorc
BseZ
RS((R0R2(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR%
ts
tLocalEnvcBs#eZ
dZd
d�
Zd�ZRS(tADDi
cCs(|
|_||_
d|_||_dS(
N(t_modt_specR8R�tnodoc(RRR�R*
((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR{s
	
	
	
cCs�|j}t
|j|
�}|jj|jjjjj|j	�
�
}|jj
j|j	||j|j
|j�}|d
�
}||j|
<|S(N((R(
RR)
t_load_namesR5RfRgtCodetco_findloadednamesR>RVR�R�t
func_defaultstfunc_closureR�(Rtattribute_nameRR?R�tnfR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR��s
	

*









(R0R2R�RR�(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR&
ys

tTestEnvcBs�eZ
dZeZeZd
ZeZd�Zd�Z	d�Z
d�Zd�Zd�Z
d�Zd	�Zd
�Zd�Zdd
�
Zd�Zd�Zd�Zdd�
Zd�Zd�Zdd�
Zdd�
Zdd�
Zdd�
ZRS(R'
icCs�|
|_g|_
i|_|dk	r�|�|_}y
|j}Wntk
r]


d
}n
Xt|
|�}|
|_||_	|j
|j�
|_ndS(NRS(
RtmessagesR�R8R�tLocalEnvExprRR&
t_OBJ_R�R�tGlueTypeExprttopspec(RRtSpecR�tlexR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�s
	
	
	










	
	cCs�
|j}|j
j}t|
|j�rJ|jjd
|
�
}||j�
Sg}d}|
jj	�}|j
�
x�|D]�}t|
|�}	y
|	j}
Wnt
k
r�


qvn
X|
j|
j dkrS
|j|j
jjjj|
�
�
}|j
jj|	j||	j|	j|	j�}|d�
}
|dkr7
|
}q\
|j|j||
��

qvtd�qvW|dk	r|
|j|�

n|jjj|�
}|S(Nslambda LE:(
%s
)tINt_SELF_s#TestEnv.eval: invalid argument mode(
R:
(( RR5RERtStringTypesR�R�R8R�tkeystsortRR>Rtco_varnamestco_argcountR+
RfRgR,
R-
RVR�R�R.
R/
R9tattrR�RLRR(RR�RRER\tlstselfsetR�ROR?tcoR�R1
R�R�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR��s@
	

















$







	

cCs�yt|
�
}Wnxt
k
r�


y|j|
}WnGtk
rz


t|
|jjj�rk|
j|�
}q{t|
�
}n
Xt|�
}n
X|S(
N(	titerR`R�tKeyErrorRRRLRdRc(Rt
collectiontitRl((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRd�s











cCs�d
|kr�|
}x�|jd
�
D]W}yt
||�}Wq"


|jd|j|
�
|fd|j|�
|f�
SXq"WnFyt
|
|�}Wn0


tr��n|jd|j|
�
|f�
SX|S(Nt
.sgetattr: %s has no attribute %rs ,
because %s has no attribute %rsattr: %s has no attribute %r(R

RRpROtDEBUG(RR�ROR	tsubname((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�s







#




!
cCs�t|t
�r|j|
|�St|t�r�t|�
d
kr^|d|jjkr^|dStg|D]}|j|
|�^qh�
Sn	td�dS(Niii
s0gengetattr: I am picky, required string or tuple(	RRRRR,RtquoteRQR`(RR�t
name_or_tupletnt((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRQ�s



(
,cCs|jj
|
�

dS(
N(R3
R9(Rtmessage((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytlog
s
cCs:t|
|j
jj�r"t|
�
Sd
|j
j|
�
SdS(Ns%s(RRRLRR�(RR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRO
s


cCsd
|
S(Ns%s((RRG
((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt	name_colls
cCsW|j|
�

y|j
|j|
d
�
Wn)


|jjjj�}|j|�

n
XdS(NsTop spec(tget_obj_examplesR!R7
RR5tsystexc_infotdump_failure(RR�ttvt((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyttests






cCs�|jj
||
�}xh|D]`}|d
}|d}|jj|g�}x.|D]&}|j|�

|j||d�
qRWqWdS(Ni
istesting example of set(R�tGetExamplesR�t
setdefaultR9R!(RR�RlR�tvsR�t
v((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR
s












ic
Cs�|
\}}}g}|}xJ|dk	rg|j
}|j|jjjkr[|j|�

n|j}qWxI|D]A}|j}	d
|	df
GHd|	df
GHdG|	dGHdGHqoW|r�|j	j
jj|||�
n�dS(Nsa = %rRsb = %rRs
message = RO
s-----(
R8ttb_frametf_codeR!RAR>R9ttb_nexttf_localsRR5t	tracebacktprint_exception(
RR
tnoraiseRPtvalueR`
RcttbR?tlo((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRU
*s"



	






	




	

cCs;y|j|
|d
�}Wnt
k
r/


�n


tSX|S(NR�(R!R%
R*(RRRR	((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�=s







cCs|
j||�S(
N(
R!(RRRRO
((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR!Fs	cCsGy|
j||�
Wnt
k
r*


�n


tSX|jd
|�
SdS(Nstest_contains_not, from: %s(R!R%
RrRp(RRRRO
((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyttest_contains_notQs






RScCs*|js&|j
d
|
�

t|
�ntS(NsFailed:(tissilentRP
R)R*(RRO
((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRp[s
	


cCs0||jj
krtStd
|
||f�dS(Ns0%s: no examples for collection = %s, message: %s(RR�RrR%
(RtforwhatRG
R\RO
((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyReas


cCsN|jj
jj�}|\}}}|jsJ|jd
|
�

||�ntS(NsFailed:(RR5RS
RT
Rg
RP
R*(RRO
RT
RPRc
R`
((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR^fs


	


cCs�|j|
�
}d
}xG|D]?}|||�sQ|j
d|j|�
|f�
S|d7}qW|s�y%t|
�
}|d
kr�t�
nWq�


|jd|
||�
q�XntS(Nisforall: e = %s, from: %si
R�(RdRpROR,R%
ReRr(RRG
R\RO
RlR
R�R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�ns





 







cCs�|j|
�
}d
}xs|D]k}xb|j|
�
D]Q}||||�sy|j
d|j|�
|j|�
|f�

n|d7}q2WqW|s�|jd|
||�
ntS(Nis&forall_pairs: a = %s, b = %s, from: %si
tforall_pairs(RdRpROReRr(RRG
R\RO
R�R
RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRi
�s






	
&



c		Cs�|j|
�
}d
}x�|D]�}x�|j|
�
D]z}xq|j|
�
D]`}|||||�s�|j
d|j|�
|j|�
|j|�
|f�

n|d7}qHWq2WqW|s�|jd|
||�
ntS(Nis.forall_triples: a = %s, b = %s, c=%s, from: %si
tforall_triples(RdRpROReRr(	RRG
R\RO
R�R
RRt
c((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRj
�s







	
2



c	Cs�g}xct|
�
D]U\}}y||�
}Wn,


|j
||jjjj�f�

qn
X|rtSqWx0|D](\}}d
|GH|j|dd�


qsW|j|�

dS(Ns%forsome: exception at collection[%d]:Rb
i
(	RbR9RR5RS
RT
RrRU
Rp(	RRG
R\RO
tfailuresRjR	RRV
((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytforsome�s





"




	

(R0R2R�R*t
iscompleteRg
RxR)RR�RdRRQRP
RORQ
RW
RR
RU
R�R!Rf
RpReR^R�Ri
Rj
Rm
(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR2
�s4





		8												
		
t_GLUECLAMP_c	BsTeZ
dLZdMZdNZdOZd�Zd�Zd�Zd�Z	d�Z
d�Zd�Zd�Z
d�Zd�Zd�Zd�ZdPd�
Zd�Zd�Zd�Zd�ZdPd�
Zd �Zd!�ZdPd"d#�Zd$�ZdPd%�
Zd&�Zd'�Zd(�Z d)�Z!d*�Z"d+�Z#d,�Z$d-�Z%d.�Z&d/�Z'd0�Z(d1�Z)d2�Z*d3�Z+d4�Z,d5�Z-d6�Z.d7�Z/d8�Z0d9�Z1d:�Z2d;�Z3d<�Z4d=�Z5d>�Z6d?�Z7d@�Z8dA�Z9dB�Z:dC�Z;dD�Z<dE�Z=dF�Z>dG�Z?dH�Z@dI�ZAdJ�ZBdK�ZCRS(Qt_loadedR�tDocR�R�RZR�twrap_source_stringR+
R�t_hiding_tag_s_parent:Uses_parent.Use:isos_parent.Use:Nothingc


Cs
|jj
S(
N(t_parenttAbstractAlgebra(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_AbstractAlgebra�sc


Cs
|jj
S(
N(Rt
RL(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_UniSet�sc


Cs
|jj
S(
N(Rt
Rq
(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_Doc�sc


Cs
|jj
S(
N(Rt
tView(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt	_get_View�sc

Cs|jj
|jjd
�S(Nsguppy.heapy.Spec(Rq
t	attributetroot(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_get__origin_�s
cCsa|j}|d
krny%|j
|
|j|j|��}
Wn|jk
r\


dG|GHn
X|
S(Ntsetofsno wrap:(Rq
twrapR{
R�tDocError(RR�RORq
((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_wrapattr_�s
	


%



c


Cs|jS(
N(
Ru
(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_AA�s
c

Cs
|jt
�
S(
N(R�R
(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_abstractset�s
c

Cs
|jt
�
S(
N(R�RU(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_adaptuple�s
c


Cs|jS(
N(
R�(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_any�s
c

Cs
|jt
�
S(
N(R�R3(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_get_argnames�s
c

Cs
|jt
�
S(
N(R�RJ(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt	_get_attr�s
cCs4|j}x$|
D]}||j
||�M}qW|S(
N(RKRA
(RR�RPR	R
((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytattrs�s
	



c
Csd
�}
|j|
d�S(NcSs(y
|
rnWn


|jd
�

n
Xt
S(Ns#boolean: 'if x' raised an exception(RpRr(R%R	((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR
�s





tboolean(
R
(RR
((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_boolean�s
	c

Cs|jd
�d�S(NcSs
t|
�
S(
N(
tcallable(R%R	((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD�sR�
(
R
(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_get_callable�s
c
	s�
|jj
}
|jj�|jj�d
�}d�}tgt|
j�
D]}||f^qI�
�
�
jtg�jj	�D]\}}||f^q}�
�

�
f
d���
�fd�}�f
d�}d�}d�}	d�}
d	�}tg�jj	�D]\}}||f^q
�
��jtgt|
j�
D]}||f^q@
�
�

|	�|
j
<x!dD]}|
�t|
|�<qp
W|�|
j<�f
d��dd���fd��Y�|��
����fd�}
|
S(Nc
Ss|S(
N((tnodeR?((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytmapchildren_id�s
cSs,|d
g
g|dD]}|
|�
^qS(Nii
((R�
R?R
((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytmapchildren_default�s
cs�|d
||
�S(Ni((R�
R?(
tmapchildren_dispatch(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytmapchildrens
c
sj�j��
xE�j
j�D]4\}
}t||�rt||�j�
|
<qqW��
fd
���S(Nc

s�
|d
|��S(Ni((
R�
(t_visitR�(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRDs(tcopytsym_nametitemsRGRRA(t
CRc
RO(R�
tsymbol(R�
R�sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytvisitor
s





cs.x'|d
D]}�|d||
�
qWdS(Ni
i((R�
RnR
(
trecover_source_dispatch(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytrecover_source_nodes

cSs;|
r&|
d
dkr&|
jd�

n|
j|d�

dS(Ni����t
(t
 i
(
R9(R�
Rn((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytrecover_source_tokens


cSs;|
r&|
d
dkr&|
jd�

n|
j|d�

dS(Ni����RI
R�
R�
i
(RI
R�
(
R9(R�
Rn((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytrecover_source_names


cSs|
j|d
�

dS(Ni
(
R9(R�
Rn((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytrecover_source_tight_left!s
cSsP|
r;|
d
d
j�p'|
d
dkr;|
j
d�

n|
j
|d�

dS(Ni����R�
R�
i
(tisalnumR9(R�
Rn((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytrecover_source_lpar$s
+

tRPARtLSQBtRSQBtCOLONtCOMMAtSEMItDOTtLBRACEtRBRACEc
s(g}
�|d
||
�
dj|
�
S(NiRS(
R(R�
Rn(
R�
(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytrecover_source8s


twrap_lambdefcseZ
��
�fd�ZRS(
c#s0
t|�
d
kr#
|dd�j
kr#
�
|d�
}�|d|
�}dddddd	d
ddd
ddddfddddd|ffdddddddd	d
ddd
ddddd|ffffffffffffffffd fffffffffffffS�||
�S(!Nii
ii$
i%
i&
i'
i)
i*
i+
i,
i-
i.
i/
i0
i1
Rr
i4
iR�
i=
i>
iR
is%riR�(i
Rr
(iR�
(iR
(iR�(R,tlambdef(R�
R?tlsourcetlnode(R�
R�
R�
(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRW
>s)





I
+(R0R2RW
((R�
R�
R�
(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�
=s
cst|d
krt||
||�S�
j
|�
}�
j|dd�

}�|��}�
j|�
}�
j|�
}|S(NR�t	line_infoi
(R�R�t	ast2tuplet	tuple2astt
compileast(R�tfilenametmodeR4tastR�
RD
(R�
tparserR�
(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytcompile_Qs





(	R�
R�
R�
R�
R�
R�
R�
R�
R�
((
R5ttokenR�
R�
tdictRwtN_TOKENStupdateR�
R�
tNAMERtLPAR(RR�
R�
R�
Rc
ROR�
R�
R�
R�
R�
R�
ttokR�
((R�
R�
R�
R�
R�
R�
R�
sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_compile�s:


		.
/				
.

/




c

Cs
|jt
�
S(
N(R�R_(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_get_cprod_s
cCs|jj
j|
�
S(
N(RLtbyclodotdictof(RR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�
bs
c

Cs
|jt
�
S(
N(R�R�(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_doces
cCs+|
j|j
j�}t|�
}|GH|S(
N(R]R�tshortestR(RR�R]tdo((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytdocofhs



icBs~|rd
}nd}|j|
d|�}|j
|jjjjj|�
�
}|dk	rq|j�}||Une	||�S(NR�R�RS(
R�R+
R5RfRgR,
R-
R8R�
R�(RR�tinitR*
R�
RD
R�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�ns

	
$


c
CsKi
d
d6}
x7tj
D],}|jd�
r9|d}nd
|
|<qW|
S(Ni
R5t_get_i(Ro
R�R	
(RR�R	((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_all_names~s






cCs�|
dkrKd
|j
kr�x|jD]}t||�
q%Wd|_q�n6|j}x*|
D]"}||kr[t||�
q[q[W|j
}|jjd|d<|S(NRp
i
t__builtins__(R8R�t	all_namesRRp
R+
tfunc_globals(RR�R	tallROR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR+
�s




	




	

c

Cs
|jt
�
S(
N(R�R�(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_eg�s
c

Cs
|jt
�
S(
N(R�R"
(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt	_get_elem�s
c	Cs�|
|jj
kr7|j|
�
}||jj|
�
fS|
|jjkr�|
jjd
kr�|
jj	j
d�
r�|
jj	}|jd�
}|
jj}|j
j}||GH|j||�
}dj|�
}|
|jj|�
fS|
|jj|
�
fSdS(Ns<lambda>s<!SPECEVAL!>s

(R�tstringR�Rq
tanontTypetFunctionR>tco_nametco_filenameR	
R

tco_firstlinenoR5R6tgetblockRtgetdoc(	RR�R�R�tlinestlnumR6tblockR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRY�s










	


c

Cs
|jt
�
S(
N(R�R�(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_expred�s
c
Csd
�}
|j|
d�S(NcSs;ytd
|
�

Wn"t
k
r6


|jd|
�

n
XtS(Nslambda : %ssNot a valid expression: %r(R�R�RpRr(R%R	((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR
�s






R�(
R
(RR
((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_expression�s
	c

Cs
|jt
�
S(
N(R�R�(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_expset�s
c

Cs
|jt
�
S(
N(R�R�(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_equals�s
cOs|jj
|
|||�S(
N(RLtfam_mixin_argatom(RRR4R�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR��s
c


Cs
|jj
S(
N(RLRs
(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get__hiding_tag_�s
c

Cs
|jt
�
S(
N(R�R�(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_get_instance�s
c

Cs
|jt
�
S(
N(R�R#
(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_intersection�s
c

Cst||j
j�S(
N(R&
t_Specification_R4
(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_LE�s
c


Cs|jS(
N(
R�(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt	_get_SPLE�s
c

Cs
|jt
�
S(
N(R�Rz(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_mapping�s
c

Cs
|jt
�
S(
N(R�R�(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_matches�s
cCs
t||
�S(
N(
R2
(RR8
((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt	mkTestEnv�s
cCs|jd
�|
�S(Nc
Ssd
S(Ni
((R�R	((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD�s(
R
(RRO((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pytnewtype�s
c


Cs
|jj
S(
N(tUseR�(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_nothing�s
cCs*|jd
|j
|
�
|jj@|j@�S(Nt	partition(R]tunion_equalsR�tnonemptytset_of_disjoint_sets(RR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�
�s
	
c

Cs
|jt
�
S(
N(R�R�(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_predicate�s
c

Cs
|jt
�
S(
N(R�R�(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_get_powerset�s
c


Cs
|jj
S(
N(RLR(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_get_Anything�s
c


CsgS(
N((
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_get_quote�s
c

Cs
|jt
�
S(
N(R�R�(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_recurself�s
c
Cs d
dd��Y}
|j|
�
S(NtRelationSpeccBs}eZ
dddddgZd�Zd�Zd
�Zd�Zd�Zd�Ze	Z
d�Zd�Zd�Z
d�ZRS(t
1tpaxbt
2tpaxat
3tdefioptfuopt
4tdefipairt
5t
defitriplecSs|
j|
j
|
j|
j��
S(
N(R~
RyR(RR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_spec_1s
cSs|
j|
j
|
j|
j��
S(
N(R~
RyR(RR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_spec_2s
cSs?|
j|
j
|
j
f>|
jd
dddddddd	d
�
BS(NR�s<=s==s!=R�s>=R�snot inR�sis not(R�
RR�(RR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_spec_3s

cSs|
j|
j
|jj�S(
N(RyR�R�R�
(RR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_spec_4s
cSs|
j|
j
|jj|
j
�S(
N(RyR�R�R�
(RR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_spec_5s
cSs
|
jt
�
S(
N(R�R�(RR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get__relop!s
cSs
|
j|fS(
N(
R(RR�R�
((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
map_3_to_4%scSs|j|
j
|�S(
N(t_relopR(RR�R�
((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
map_3_to_2&scSs|\}}|j||�S(
N(
R
(RR�t.2R�R�
((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
map_4_to_2's	cSs"|\}}}|j|||�S(
N(
R
(RR�RR�R�
t
B((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
map_5_to_1(s(R�
R�
(R�
R�
(R�
R�
R�
(R�
R(R
R(R0R2R
RRRRRRR�t
map_2_to_1R	RR
R(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�
s 



							
	
	
	
((
trepcat(RR�
((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_get_relation�s
"c


Cs|jj
jjS(
N(R�R�
R�R�
(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_get_relop,s
cCs
t||
�S(
N(
R�(RR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR/s
c

Cs
|jt
�
S(
N(R�Ru(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_get_sequence2s
c

Cs|j|j
j
�
S(
N(tinstanceRL(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_set5s
c
Csd
�}
|j|
d�S(NcSs|j|
d
�d�S(NcSs|
|kp|
j|�
S(
N(
tdisjoint(R%RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD:ssa == b or a.disjoint(b)(
Ri
(R%R	((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR
9s

sset of disjoint sets(
R
(RR
((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_set_of_disjoint_sets8s
	cCsdt|
|j
j
�s`|j
j|
�
}
|jj|
|jj|jj|jd
�|
��}
n|
S(NRZ(RRLR�Rq
R
tcallfuncR{
R�(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRZ>s





c


Cs|jS(
N(
R�(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_get_setofFs
c

Cs
|jd�
S(
N(R�
R8(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get__static_test_envIs
c

Cs
|jt
�
S(
N(R�R�(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_get_synonymsLs
c

Cs
|jt
�
S(
N(R�R�(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt_get_tupleformOs
c


Cs
|jj
S(
N(R�
R�
(
R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt	_get_TypeRs
cCs.|j|j
d
|j|
�
�|j|
�
�S(NR�(tegRA
R�R�(RR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR�
Us

cCs|jj
|�
|
_|
S(
N(Rq
R�R�(RR\R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRr
Ys

(
Rp
(	R�Rq
R�R�RZR�Rr
R+
R�(
Rs
(s_parent:Uses_parent.Use:isos_parent.Use:NothingN(DR0R2t	_chgable_t_nowrap_t	_preload_t	_imports_Rv
Rw
Rx
Rz
R}
R�
R�
R�
R�
R�
R�
R�
R8R�
R�
R�
R�
R�
R�
R�
R�
R�R�
R+
R�
R�
RYR�
R�
R�
R�
R�R�
R�
R�
R�
R�
R�
R�
R�
R�
R�
R�
R�
R�
R�
R�
R�
RRRRRRRZRRRRRR�
Rr
(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRo
�s�



	
	
	
												h				
																										.												N('t__doc__RJ
RRR3RJRUR_RuRzR�R�R�R�R�R�R�R�R�R�R�R�R�R�R}R�R�R�R�R
R"
R#
t	ExceptionR�R)R%
R&
R2
Ro
(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt<module>
sL		;/)J

8
'�6	
�