(] D d dl mZ d dlmZ G d de Z G d de Z G d de Z G d d
e Z G d d e Z G d
de Z
G d de Z G d d Z G d de Z
G d de
Z G d de Z G d de Z G d d e Z G d d e
Z G d d e
Z G d! d"e Z G d# d$e
Z G d% d& Zd' fd(Zd) fd*Z G d+ d, Zd-S ). )reduce) property_expc > e Zd ZdZdZdZdZd ZeZd Z d Z
d Z d Z d
Z
d Zd Zd
Zd Zd Zd Zd Zd Zd Zd ZeZd Zd Zd Zd Z d Z e Z e d d Z d Z! e d Z"d Z#d Z$d! Z%d" Z&d# Z'd$ Z( e d% d& Z) e d' d( Z*d)S )*UniSet) _hiding_tag_fam_origin_z#heapy_UniSet.html#heapykinds.UniSet znodes: ImmNodeSet
The actual objects contained in x. These are called nodes because
they are treated with equality based on address, and not on the
generalized equality that is used by ordinary builtin sets or dicts.c : | j d| | S )z,
Return the intersection of self and other.
andr c_binopselfothers f/builddir/build/BUILD/cloudlinux-venv-1.0.10/venv/lib64/python3.11/site-packages/guppy/heapy/UniSet.py__and__zUniSet.__and__ s x tU333 c : | j | || S N)r c_callr argskwdss r __call__zUniSet.__call__ s dhoodD$.O.O'Or c 8 | j | | S )z<
Return True if other is a member of self, False otherwise.
)r
c_containsr s r __contains__zUniSet.__contains__ s x""4///r c | |k o| |k S )zJ
Return True if self contains the same elements as other,
False otherwise. r s r __eq__z
UniSet.__eq__! s u}. .r c 6 | j | S )zh
Return an hash based on the kind of the set of self and
the addresses of its elements, if any.
)r c_hashr s r __hash__zUniSet.__hash__' s
xt$$$r c 8 | j d| S )z
Return the complement of self.
invert)r c_unopr$ s r
__invert__zUniSet.__invert__. s xx...r c | |u rdS t |t s| j | }| j | | S )zT
Return True if self is a superset of (and may be equal to) other,
False otherwise.
T)
isinstancer r c_unisetc_ger s r __ge__z
UniSet.__ge__4 O
5==4%(( -H%%e,,Ex}}T5)))r c | |k o| |k S )z[
Return True if self is a strict (may not be equal to) superset of other.
False otherwise.
r r s r __gt__z
UniSet.__gt__?
u}2TU]!22r c V j j j fd S )z
Get family-specific attribute.
c : j S r )r c_getattr)r r s r z$UniSet.__getattr__..J s tx/A/A$/N/N r )r modViewenterr s ``r __getattr__zUniSet.__getattr__F s. x| &&'N'N'N'N'NOOOr c | |u rdS t |t s| j | }| j | | S )zR
Return True if self is a subset of (and may be equal to) other,
False otherwise.
T)r+ r r r, c_ler s r __le__z
UniSet.__le__L r/ r c 8 | j | | S )a
<>>
Return a 'mapping' set, which may be used for specification and test
purposes. It implements the syntax:
return_spec << argument_spec
The elements of the set returned are the callable objects that return
values in return_spec, when called with arguments according to
argument_spec. The return_spec may be any kind of sets that can test
for element containment. The argument_spec may be a set or a tuple. If
it is a set, it should be able to generate some examples, to allow the
mapping to be tested. When argument_spec is a set, the mapping will
have a single argument. Any number of arguments may be specified using
an argument_spec which is a tuple. The arguments are then specified
with sets, that should be able to generate examples. Special features
of the mapping such as optional arguments may be specified in the same
way as when using the 'mapping' function in the Spec.py module.
)r c_lshift) return_spec
argument_specs r
__lshift__zUniSet.__lshift__W s 0 '' ]CCCr c | |k o| |k S )zY
Return True if self is a strict (may not be equal to) subset of other,
False otherwise.
r r s r __lt__z
UniSet.__lt__q r2 r c t |t s| j | }| j | | S )ac
Return the cartesian product of self and other, which is the set of
pairs where the first element is a member of self and the second
element is a member of other.
NOTE: Unlike what one might expect from the way the cartesian product
may be defined mathematically, the operation as implemented here is
nonassociative, i.e.
a*b*c == (a*b)*c != a*(b*c)
In the mathematical case, a*b*c would be a set of triples, but here it
becomes a set of pairs with the first element in (a*b) and the second
element in c.
To create sets of triples etc. the cprod() factory function in Spec.py
could be used directly.
)r+ r r r, c_mulr s r __mul__zUniSet.__mul__x sA ( %(( -H%%e,,Ex~~dE***r c | |k S )zN
Return True if self does not equal other,
False otherwise. See also: __eq__.
r r s r __ne__z
UniSet.__ne__ s
5= r c 6 | j | S )z=
Return True if self contains some element,
False otherwise.
)r c_nonzeror$ s r __bool__zUniSet.__bool__ s
x!!$'''r c : | j d| | S )z%
Return the union of self and other.
orr
r s r __or__z
UniSet.__or__ s x dE222r c 6 | j | S )zW
Return a string representing self. This is usually the same string
as from __str__.
)r c_reprr$ s r __repr__zUniSet.__repr__ s xt$$$r c 6 | j | S )z
Return a string representing self. The string is usually the same as the .brief
attribute, but a major exception is the IdentitySet class.
r c_strr$ s r __str__zUniSet.__str__ s x~~d###r c t |t s| j | }| j | | S )zq
Return the assymetrical set difference. That is, the set of elements
in self, except those that are in others.
r+ r r r, c_subr s r __sub__zUniSet.__sub__ A
%(( -H%%e,,Ex~~dE***r c t |t s| j | }|j || S )z
Return the assymetrical set difference. That is, the
set of elements in other, except those that are in self.
This is like __sub__ except it handles the case when the left
argument is not a UniSet (but convertible to a UniSet).
rX r s r __rsub__zUniSet.__rsub__ sA %(( -H%%e,,Eyud+++r c t |t s| j | }| j | | S )zy
Return the symmetrical set difference. That is, the set of elements
that are in one of self or other, but not in both.
)r+ r r r, c_xorr s r __xor__zUniSet.__xor__ r[ r c 6 | j | S r )r c_get_briefr$ s r r6 zUniSet. dh&:&:4&@&@ r a A string representation of self, which is brief relative to the
representation returned by __str__ and __repr__. (In many cases it is
the same - both are then brief - but for IdentitySet objects the brief
representation is typically much shorter than the non-brief one.)docc ^ | j j j j j | S r )r r7 _rootguppyre
help_instancer$ s r _get_helpzUniSet._get_help s# x|!'+99$???r c h | j j j j j j | S r )r r7 rg rh etcHelpdirr$ s r r6 zUniSet. s$ DHL$6$<$@$E$I$I$$O$O r c 6 | j | S r )r c_get_ckcr$ s r get_ckczUniSet.get_ckc s x!!$'''r c 8 | j | | S )z
Return information about the 'origin' of the set. This was intended to be
used for specification purposes - is experimental, noncomplete, temporary.
)r c_derive_origin)r re s r _derive_origin_zUniSet._derive_origin_ s
x''c222r c 8 | j | | S )z
Return True if self and other are disjoint sets, False otherwise. This
is equivalent to calculating
(self & other) == Nothing
but may be implemented more efficiently in some cases.
)r
c_disjointr s r disjointzUniSet.disjoint s x""4///r c 8 | j | | S )aV
Return an iterable object or an iterator, which provides someexamples
of the elements of self. (A minimum of 2 examples should normally be
provided, but it may depend on some test configuration options.)
This is used for automatic test generation from specifications. The
env argument is according to specification of TestEnv in Spec.py,
)r c_get_examples)r envs r get_exampleszUniSet.get_examples s x&&tS111r c 6 | j | S )a
Return a function that may be used to render the representation of the
elements of self. This is mainly intended for internal representation
support.
The function returned depends on the kind of elements self
contains. The rendering function is choosen so that it will be
appropriate, and can be used safely, for all objects of that kind.
For the most general kind of objects, the rendering function will only
return an address representation. For more specialized kinds, the
function may provide more information, and can be equivalent to the
builtin repr() when the kind is narrow enough that it would work for
all elements of that kind without exception.
)r c_get_renderr$ s r
get_renderzUniSet.get_render s x$$T***r c : | j | || S )ae
Test if self contains the element object. This is used mainly for
internal use for automatic (experimental) testing of specifications.
The env argument is according to specification of TestEnv in Spec.py.
It provides support for things that depends on the specific test
situation, such as a test reporting protocol. If test_contains did
find the element to be contained in self, the method will return
(usually True). But if the element was not contained in self, the
method should call env.failed(message), and return whatever may
be returned; though typically env.failed() would raise an exception.
)r c_test_contains)r elementrz s r
test_containszUniSet.test_contains s x''gs;;;r c 6 | j | S r )r c_get_biperr$ s r r6 zUniSet.% rc r zA bipartitioning equivalence relation based on x. This may be used to
partition or classify sets into two equivalence classes:
x.biper(0) == x
The set of elements that are in x.
x.biper(1) == ~x
The set of elements that are not in x.
c 6 | j | S r )r c_get_dictofr$ s r r6 zUniSet.0 s tx'<' d? Z' ed@ dA Z( edB dC Z) edD dE Z* edF dG Z+ ee
dH Z, ee dI Z- ee dJ Z- ee dK Z. edL dM Z/ edN dO Z0 edP dQ Z1dS )T IdentitySet)_er
_partition_morez(heapy_UniSet.html#heapykinds.IdentitySetc : || _ |j | _ d | _ d S r )r r r )r r s r r zIdentitySet.__init__K s ,
r c 8 | j | | S r r c_getitemr idxs r __getitem__zIdentitySet.__getitem__P s tx'9'9$'D'D Dr c 6 | j | S r )r c_lenr$ s r __len__zIdentitySet.__len__Q s dhnnT 2 22r c 6 | j | S r )r c_iterr$ s r __iter__zIdentitySet.__iter__R s txt 4 44r c 6 | j | S )z{
Return a string representating self. This differs from the .brief
attribute in that it is a tabular representation.
...
rT r$ s r rV zIdentitySet.__str__T s x~~d###r Nr Fc P | j j | |||||||| S )a
x.get_rp(depth=None, er=None, imdom=0, bf=0, src=None, stopkind=None,
nocyc=False, ref=None)
Return an object representing the pattern of references to the objects in X.
The returned object is of kind ReferencePattern.
Arguments
depth The depth to which the pattern will be generated. The
default is taken from depth of this module.
er The equivalence relation to partition the referrers.
The default is Clodo.
imdom If true, the immediate dominators will be used instead
of the referrers. This will take longer time to
calculate, but may be useful to reduce the complexity
of the reference pattern.
bf If true, the pattern will be printed in breadth-first
order instead of depth-first. (Experimental.)
src If specified, an alternative reference source instead
of the default root.
stopkind
The referrers of objects of kind stopkind will not be
followed.
nocyc When True, certain cycles will not be followed.
ref
See also
rp (a shorthand for common cases)
)r RefPatrp) r deptherimdombfsrcstopkindnocycrefs r get_rpzIdentitySet.get_rp_ s4 D x!!$r5"c8"'. . .r r c F | j j | ||| S )a? x.get_shpaths(draw:[src, avoid_nodes, avoid_edges]) -> Paths
Return an object containing the shortest paths to objects in x.
The optional arguments are:
src:IdentitySet An alternative source set of objects
avoid_nodes:IdentitySet Nodes to avoid
avoid_edges:NodeGraph Edges to avoid
)r Pathshpaths)r r avoid_nodes avoid_edgess r get_shpathszIdentitySet.get_shpaths s" x}$$T3 [IIIr c 8 | j | | S )z< x.by(er) -> A copy of x, but using er for equiv. relation. )r get_by)r r s r byzIdentitySet.by s xtR(((r c P | j | | j j z
S r )statr r r s r diffzIdentitySet.diff s y588DG,,111r c * | j j |i | dS )zD Dump statistical data to a file
Shorthand for .stat.dump N)r dumpr s r r zIdentitySet.dump s# %%%%%%r c , | d S )NClodor r$ s r r6 zIdentitySet. (8(8 r z=A copy of self, but with 'Clodo' as the equivalence relation.rd c , | d S )NIdsetr r$ s r r6 zIdentitySet. r r zA copy of self, but with 'Idset' as the equivalence relation.
Note
This is mainly for special purpose internal use. The Id
equivalence relation is more efficient when partitioning large
sets.c , | d S )NIdr r$ s r r6 zIdentitySet. s TWWT]] r z:A copy of self, but with 'Id' as the equivalence relation.c , | d S )NModuler r$ s r r6 zIdentitySet. s ):): r z>A copy of self, but with 'Module' as the equivalence relation.c , | d S )NProdr r$ s r r6 zIdentitySet. twwv r z dggenn r z;A copy of self, but with 'Rcs' as the equivalence relation.c , | d S )NSizer r$ s r r6 zIdentitySet. r r z r r z r r z=A copy of self, but with 'Unity' as the equivalence relation.c , | d S )NViar r$ s r r6 zIdentitySet. r r z<
A copy of self, but with 'Via' as the equivalence relation.c 6 | j | S r )r get_err$ s r r6 zIdentitySet. s 48??4#8#8 r zUThe equivalence relation used for partitioning when representing /
printing this set.c * t | j S r )lennodesr$ s r r6 zIdentitySet. s c$*oo r z,The number of individual objects in the set.c @ | j j | S r )r r8 dominosr$ s r r6 zIdentitySet. s
(=(=d(C(C r zThe set 'dominated' by a set of objects. This is the objects that will
become deallocated, directly or indirectly, when the objects in the
set are deallocated.
See also: domisize.c @ | j j | S r )r r8 domisizer$ s r r6 zIdentitySet. s )?)?)E)E r zThe dominated size of a set of objects. This is the total size of
memory that will become deallocated, directly or indirectly, when the
objects in the set are deallocated.
See also: dominos, size.
c @ | j j | S r )r r8 r r$ s r r6 zIdentitySet. s dhm&9&9$&?&? r zThe immediate dominators of a set of objects. The immediate dominators
is a subset of the referrers. It includes only those referrers that
are reachable directly, avoiding any other referrer.c @ | j j | S r )r r8 indisizer$ s r r6 zIdentitySet. s
0F0Ft0L0L r zThe total 'individual' size of the set of objects. The individual
size of an object is the size of memory that is allocated directly in
the object, not including any externally visible subobjects. See also:
domisize.c | j | S r r r$ s r r6 zIdentitySet. s TWT] r zThe kind of objects in the set. The kind is the union of the
element-wise classifications as determined by the equivalence relation
in use by the set.c t | S r ) MappingProxyr$ s r r6 zIdentitySet. s |D'9'9 r a An object that can be used to map operations to the objects in self,
forming a new set of the result. The returned object is an instance of
MappingProxy.
This works currently as follows:
o Getting an attribute of the MappingProxy object will get the
attribute from each of the objects in the set and form a set of the
results. If there was an exception when getting some attribute, it
would be ignored.
o Indexing the MappingProxy object will index into each of the objects
in the set and return a set of the results. Exceptions will be
ignored.
Example:
>>> hp.iso({'a':'b'}, {'a':1}).maprox['a'].byid
Set of 2 objects. Total size = 40 bytes.
Index Size % Cumulative % Kind: Name/Value/Address
0 28 70.0 28 70.0 str: 'b'
1 12 30.0 40 100.0 int: 1
>>>
c 6 | j | S r )r get_morer$ s r r6 zIdentitySet. TX%6%6t%<%< r zAn object that can be used to show more lines of the string
representation of self. The object returned, a MorePrinter instance,
has a string representation that continues after the end of the
representation of self.c 6 | j | S r )r get_allr$ s r r6 zIdentitySet.
s DH$4$4T$:$: r zRAn object that can be used to show all lines of the string
representation of self.c 6 | j | S r )r
get_ownersr$ s r r6 zIdentitySet. tx':':4'@'@ r zThe set of objects that 'own' objects in self. The owner is defined
for an object of type dict, as the object (if any) that refers to the
object via its special __dict__ attribute.c 6 | j | S r )r
get_partitionr$ s r r6 zIdentitySet. s $(*@*@*F*F r a A partition of the set of objects in self. The set is partitioned into
subsets by equal kind, as given by a equivalence relation. Unless
otherwise specified, the equivalence relation used is 'byclodo', which
means it classifies 'by type or dict owner'. Different
equivalence relations are specified for sets created by the 'by_...'
attributes of any IdentitySet object.
The value is an instance of guppy.heapy.Part.Partition.c 6 | j | S r )r get_partsr$ s r r6 zIdentitySet. s dh&8&8&>&> r zAn iterable object, that can be used to iterate over the 'parts' of
self. The iteration order is determined by the sorting order the set
has, in the table printed when partitioned.c 6 | | j S r )r referrersr$ s r r6 zIdentitySet." s (8(8 (H(H r z;The paths from the direct referrers of the objects in self.c 6 | j | S r ) referentsr r$ s r r6 zIdentitySet.% s )C)CD)I)I r z2The paths to the referents of the objects in self.c @ | j j | S r )r r8 r r$ s r r6 zIdentitySet.( $(-*A*A$*G*G r zOThe set of objects that are directly referred to by any of the objects
in self.c @ | j j | S r )r r8 r r$ s r r6 zIdentitySet., r r zEThe set of objects that directly refer to any of the objects in self.zprp: ReferencePattern
An object representing the pattern of references to the objects in X.
See also
get_rpzsx.shpaths: Paths
An object containing the shortest paths to objects in x.
Synonym
sp
See also
get_shpathsznx.sp: Paths
An object containing the shortest paths to objects in x.
Synonym
sp
See also
get_shpathszsx.sp: Paths
An object containing the shortest paths to objects in x.
Synonym
shpaths
See also
get_shpathsc 4 | j S r ) partitionget_statr$ s r r6 zIdentitySet.R s T^%<%<%>%> r zx.stat: Stat
An object summarizing the statistics of the partitioning of x. This is
useful when only the statistics is required, not the objects
themselves. The statistics can be dumped to a file, unlike the set of
objects itself.c 6 | j | S r )r
get_theoner$ s r r6 zIdentitySet.Z r r ztheone: Anything
The one object in a singleton set. In case the set does not contain
exactly one object, the exception ValueError will be raised.
c 6 | j | S r )r get_prodr$ s r r6 zIdentitySet.a r r z[theone: MorePrinter
The traceback for the producer for the one object in a singleton set.
)NNr r NNFN)NNr )2r r r r r r r r r rV r r r r r r byclodobyidsetbyidbymodulebyprodbyrcsbysizebytypebyunitybyviar countr r r r sizekindmaproxmoreallownersr partspathsinpathsoutr r r r spr theoneprodr r r r r G s ,I;J
EDD222444 $ $ $ >B/3#. #. #. #.J J J J J ) ) )2 2 2& & &
l88 ?A B B BG l88 ?
G <22 9> ? ? ?D | : : AB C C CH \66 =@ A A AF
L44 ;?
@
@
@E \66 =@ A A AF \66 =@ A A AF l88 ?A B B BG
L44 ;?
@
@
@E
88 ?
B
L55 <0
1
1
1E lCC J G | E E L H
L?? F8
9
9
9E
#l#L#L S
Ht <22 9 D
\99 @A B B BF8 <<< C D ,:: A C \@@ G. / / /F
F F M; < < > E/
0
0
0E
lHH O? @ @ @G | I I P6 7 7 7H G G N
I G G NI J J JI
f #
B l; - G l; - G
k (
B <>> E D \@@ G F <<< C DDDr r c " e Zd ZdZ fdZ xZS )IdentitySetMultir c X t | || _ d S r )superr r )r r r __class__s r r zIdentitySetMulti.__init__k s&
r )r r r r r
__classcell__r) s @r r% r% h s= I r r% c ^ e Zd ZdZdZ fdZ ed d Zd Z ee Z xZ
S )IdentitySetSingleton_nodez1heapy_UniSet.html#heapykinds.IdentitySetSingletonc X t | || _ d S r )r( r r/ )r r noder) s r r z IdentitySetSingleton.__init__t s&
r c B | j | j f S r )r
immnodesetr/ r$ s r r6 z IdentitySetSingleton.y s dh&9&94:-&H&H r zx.nodes: ImmNodeSet
The actual objects contained in x. These are called nodes because they
are treated with equality based on address, and not on the generalized
equality that is used by ordinary builtin sets or dicts.rd c | j S r r. r$ s r _get_theonez IdentitySetSingleton._get_theone s
zr ) r r r r r r r r r5 r" r* r+ s @r r- r- p sz IDJ
LHH O<
=
=
=E \+
&
&FFFFFr r- c f e Zd ZdZdZdZd dZd Zd Z e e Z
d Z e e Z d Z
d
S ) EquivalenceRelationa An equivalence relation is a binary relation between two elements of a
set which groups them together as being "equivalent" in some way.
An equivalence relation is reflexive, symmetric, and transitive. In
other words, the following must hold for "~" to be an equivalence
relation on X:
* Reflexivity: a ~ a
* Symmetry: if a ~ b then b ~ a
* Transitivity: if a ~ b and b ~ c then a ~ c.
An equivalence relation partitions a set into several disjoint
subsets, called equivalence classes. All the elements in a given
equivalence class are equivalent among themselves, and no element is
equivalent with any element from a different class.
)
classifiererargsz0heapy_UniSet.html#heapykinds.EquivalenceRelationr c V || _ |j | _ || _ || _ d | _ d S r )r r r8 r9 r )r r r8 r9 s r r z EquivalenceRelation.__init__ s- ,$
r c 8 | j | | S r r r s r r z EquivalenceRelation.__getitem__ s x!!$,,,r c @ | j j | S r )r Classifiers mker_dictofr$ s r _get_dictofz EquivalenceRelation._get_dictof x#//555r c @ | j j | S r )r r= mker_refdbyr$ s r _get_refdbyz EquivalenceRelation._get_refdby r@ r c . | j j | g|R i |S r )r8
get_sokindr s r sokindzEquivalenceRelation.sokind s' )t)$>>>>>>>r N)r )r r r __doc__r r r r r? r r rC refdbyrF r r r r7 r7 s $ 'ICJ - - -6 6 6
\+
&
&F6 6 6
\+
&
&F? ? ? ? ?r r7 c $ e Zd ZdZd Zd Zd ZdS )r _set_c || _ d S r rJ r sets r r zMappingProxy.__init__ s
r c |dk rt | | S | j j | j | S )NrK )object__getattribute__rK r maprox_getattrr names r rQ z MappingProxy.__getattribute__ s= 7??**466 6z~,,TZ>>>r c L | j j | j | S r )rK r maprox_getitemrS s r r zMappingProxy.__getitem__ s z~,,TZ>>>r N)r r r r r rQ r r r r r r sF I ? ? ?
? ? ? ? ?r r c e Zd ZdZd Zd Zd Zd Zd Zd Z d Z
d Z d
Z d Z
d Zd
Zd Zd Zd Zd Zd Zd Zd Zd Zdi fdZd 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+d+ Z,d, Z-dS )-FamilyNc || _ |j j | _ |j | _ |j | _ | | _ | j j | _ | | g | _ t | _
d S r ) r7 _parentDocr typesr3 disjoints export_dictsupersr Setr r7 s r r zFamily.__init__ sf ;? ,Y
)) 8/nndV,, r c . | | | S r )r` r r s r r zFamily.__call__ s xxc"""r c 8 | j | | S r r[
add_origin)r origins r rt zFamily._derive_origin_ s x""4000r c | | | }| j | | j j | g|R }|S r r` r[ rf callfunc)r tuprs r specotupzFamily.specotup I HHT3 H #448#4T#@C#@#@#@ A Ar c | | | }| j || j | | }|S r ri )r r rl s r specoargzFamily.specoarg sC HHT3 H 48#4#4T3#?#? @ @r c | | | }| j | | j j | g|R }|S r ri )r r rk rl s r specoargtupzFamily.specoargtup rn r c | j | j j u r#| j j | _ || j v r!| j | |urt d|z || j |< d S )Nz
Duplicate: %s)r^ r7 copy
ValueError)r rT values r
add_exportzFamily.add_export st tx 3 3 3 #x 3 8 8 : :D 4# # #(8(>e(K(K _t 344 4!& r c & t d| z )Nz!No alternative set for family %s.ru )r ar s r r z Family.c_alt s t | d|z | }|S r| )r~ )r r rz rl s r r( z
Family.c_unop s$ "GD$r' " "1 % %r c 8 | j || S r re r rz r s r rs zFamily.c_derive_origin s x""1a(((r c t d )NzNot callable setry r rz r r s r r z
Family.c_call s +,,,r c N | j }|| | z |j uS r )r7 isoNothing)r rz r r7 s r r zFamily.c_contains s$ hCGGAJJs{22r c @ | j j | S r )r7 r= r r rz s r r zFamily.c_get_biper s x#))!,,,r c @ | j j | S r )r7 r= r r s r r zFamily.c_get_dictof s x#**1---r c $ ||z | j j u S r r7 r r s r rv zFamily.c_disjoint s A$(***r c P t | d|j j || S )N_factordisjoint_)r~ r opnamer s r c_factordisjointzFamily.c_factordisjoint
s, EwttQU\\ CDDQJJJr c : d|d| | dS )N[ ]rb )r rz r s r c_get_brief_altzFamily.c_get_brief_alt s' CC!1!1!!4!4!4!455r c 6 | j | S r )r7 uniset_from_setcastabler Xs r r, zFamily.c_uniset s x//222r c g S r r )r rz rz s r ry zFamily.c_get_examples s r r c h | j }||v r || |g|R i |S | || S r )r^
c_getattr2)r rz r r r ds r r5 zFamily.c_getattr sK 661Q4)D)))D)) )q!$$$r c t | r )AttributeErrorr s r r zFamily.c_getattr2" s Q r c $ | j j j S r )r7 summary_str str_addressr s r r} zFamily.c_get_render% s x#//r c |j S r r r s r
c_get_str_forzFamily.c_get_str_for( s wr c z | }t |d| }t |dd }|sd}|S )Nim_func_idpart_headerValue)r~ r~ r rz renderhs r c_get_idpart_headerzFamily.c_get_idpart_header. sD FIv . . A' . . Ar c d|z S )Nz<%s>r r s r c_get_idpart_labelzFamily.c_get_idpart_label6 s zr c , | | S r )r} r s r c_get_idpart_renderzFamily.c_get_idpart_render9 s ###r c | | }|t u rdS t |d| }t |d| }|S )NIDENTITYr _idpart_sortrender)r reprr~ r s r c_get_idpart_sortrenderz Family.c_get_idpart_sortrender< sK ))!,, T>> : FIv . . 0&99
r c * t |j S r )hashr r s r r# z
Family.c_hashD s AE{{r c t d Nziteration over non-sequence TypeErrorr s r r z
Family.c_iterG s 5666r c t d )Nzlen() of unsized objectr r s r r z Family.c_lenJ s 1222r c dS NTr r s r rK zFamily.c_nonzeroM tr c L | j j j || S r )r7 rZ Speccprodr s r rF z Family.c_mulP s x $**1a000r c | j | || | j d|| S )Nlshift)r[ rf c_mapbinopr s r r? zFamily.c_lshiftS s; x""4::a#3#3TX^^HaQR5S5STTTr c t |t rt | }t |t s|f}|d|fz } | j j j j | S )Nz->)r+ listtupler7 rZ r mapping)r rz r ts r r z Family.c_mapV s] a aA!U## A
q M,tx $,a00r c , | | S r )rU r s r rQ z
Family.c_repr^ s zz!}} r c , | | S r r r s r rU z Family.c_stra """r c || z S r r r s r rY z Family.c_subd s
A2v
r c | || sH| | j d| | d| | S dS )N: z does not contain T)r failedr) rT r rz r rz s r r zFamily.c_test_containsg s_ q!$$ i::dnnnchhWXkkkk[^[c[cde[f[f[f ghh htr c ||z
||z
z S r r r s r r_ z Family.c_xorl s A!a% r c 8 |j || S r )r _or_TERMr s r _or_ORz
Family._or_ORo u~~a###r c . | || S r ) _and_ATOMr s r
_rand_ATOMzFamily._rand_ATOMr s ~~a###r ).r r r superclr r rt rm rp rr rw r r r( rs r r r r rv r r r, ry r5 r r} r r r r r r# r r rK rF r? r rQ rU rY r r_ r r r r r rX rX s G # # #1 1 1
' ' 'E E E
) ) )- - -3 3 3- - -. . .+ + +K K K 6 6 63 3 3 $&B % % % % 0 0 0 $ $ $ 7 7 73 3 3 1 1 1U U U1 1 1 # # #
! ! !$ $ $$ $ $ $ $r rX c e Zd ZdZdZdZd Zd Zd Zd Z d Z
d Z d Z d
Z
d ZexZxZZd Zd
ZexZZd Zd Zd ZexZZd Zd Zd Z d Z d Z dS )
AtomFamilyTATOMc ^ t | | | xj | gz c_ d S r )rX r r] ra s r r zAtomFamily.__init__{ s, c""" 4& r c 8 |j || S r r r r s r c_andzAtomFamily.c_and uq!$$$r c 8 | j || S r r7 fam_Andr s r r zAtomFamily._and_ATOM x 1%%%r c 8 |j || S r r r s r _and_ANDzAtomFamily._and_AND r r c 8 | j || S r r r s r _and_FACTORzAtomFamily._and_FACTOR r r c 8 |j || S r r r s r _and_INVERTzAtomFamily._and_INVERT r r c f |j j |j j z p|j j |j j z S r )r r] r_ r s r _factordisjoint_ATOMz AtomFamily._factordisjoint_ATOM s, !%,. /!%,. 0r c 8 |j || S r )r r r s r _factordisjoint_INVERTz!AtomFamily._factordisjoint_INVERT s u))!Q///r c 8 |j || S r )r _ge_ATOMr s r r< zAtomFamily.c_le r r c * | j d uo
| j |k S r r r s r _le_ATOMzAtomFamily._le_ATOM s |4'=DLA,==r c 8 |j || S r )r r r s r r- zAtomFamily.c_ge r r c > |j j d uo|j j |k S r )r r r s r r zAtomFamily._ge_ATOM s u}D(?QU]a-??r c 8 |j || S r )r _or_ATOMr s r c_orzAtomFamily.c_or r r c 8 | j || S r )r7 fam_Orr s r r zAtomFamily._or_ATOM s xq!$$$r c 6 | j | S r )r7
fam_Invertr s r c_invertzAtomFamily.c_invert s x""1%%%r c H || _ | xj |j j z c_ d S r )r r_ r rc s r defrefiningzAtomFamily.defrefining s! sw~% r c p | xj |z c_ | j }| | xj |j j z c_ d S d S r )r] r r )r r scs r defdisjointzAtomFamily.defdisjoint s@
$
\
> NNbf . .NNNN >r c d | | | |j d S r )r r r rc s r
defrefidiszAtomFamily.defrefidis s2 !!!!!r c | j S r r r$ s r fam_unionzAtomFamily.fam_union s
|r N) r r r isatomisfactorr r r r r r r r r r< _le_AND
_le_INVERTr r-
_ge_INVERT_ge_ANDr r r _or_AND
_or_INVERTr r r r r
r r r r r v sl
FH
F! ! !% % %& & &% % %& & &% % %0 0 00 0 0$ $ $ &*)G)j7> > >$ $ $ J@ @ @$ $ $% % % Gj& & && & &
/
/
/" " " r r c & e Zd Zd Zd Zd Zd ZdS )
ArgAtomFamilyc b | | \ }}}| ||| S r )rp
select_ids)r rz r clakr s r _and_IDzArgAtomFamily._and_ID s/ nnQ'' Q~~aC(((r c p | |j u r|j |j k S |j j d uo|j j |k S r r r r r s r r zArgAtomFamily._ge_ATOM s8 15==5AE> !u}D(?QU]a-??r c \ | |j u r|j |j k S | j d uo
| j |k S r r r s r r zArgAtomFamily._le_ATOM s4 15==5AE> !|4'=DLA,==r c | j |j dfS )N==)r8 r r s r rp zArgAtomFamily.c_get_ckc s t++r N)r r r r r r rp r r r r r sS ) ) )@ @ @ > > > , , , , ,r r c e Zd ZdZdZdZd Zd Zd Zd Z d Z
d Z e xZ Z
d Zd
Zd ZexZxZZd Zd
ZexZxZZd Zd Zd ZexZ Z d Z d Z d Z d Z!d Z"d Z#d Z$d Z%dS ) AndFamilyANDFc ||k r|S ||k r|S |j || r | j j S | ||f S r )r r r7 r _consr s r r zAndFamily.__call__ sY 66H 66H 5 ! !!Q ' ' $8# #zz1a&!!!r c t | dk r#| | t | S t | dk r|d S | j j S N r )r r` r r7 r rc s r r& zAndFamily._cons sP s88a<<88D%**-- -
XX]]q6M8# #r c g }|j D ]u} | | }t | D ]=}|j D ] }||ur| || s n | | >f# t
$ r Y rw xY w|S r )r r{ r containsappend
CoverageError)r rz rz exaieeiajs r ry zAndFamily.c_get_examples s
% & &B
&$$R(( q'' & &B e & & R<<#&<<B#7#7 & % "
& !
s A00
A=<A=c 8 |j || S r )r r r s r r zAndFamily.c_and r r c $ |j D ]}||z }|S r r r s r r zAndFamily._and_AND s# A
FAAr c g }|j D ]Q}||k r|c S ||k r|j || r| j j c S | | R| | | | S r )r r r r7 r r, r& )r rz r xsr/ s r r zAndFamily._and_FACTOR s
% BQwwb((Q//
x'''' "
! zz"~~ r c t |j d |z }|j dd D ]}|| j j u r n||z }|S Nr r) )r r7 r r s r r zAndFamily._and_ID" sO
E!HqLqrr ADH$$$AAAr c 8 |j || S r )r r r s r r< zAndFamily.c_le* u}}Q"""r c ||z }|j | us*t |j t |j k rdS |j D ]}|j D ]
}||k r n dS dS NFTr r r )r rz r xys r _le_TERMzAndFamily._le_TERM- s
E 5 AE
c!%jj 8 85 AU
66E uu tr c 8 |j || S r )r r r s r r- zAndFamily.c_ge; r: r c , |j D ] }||k s dS dS r< r r s r _ge_TERMzAndFamily._ge_TERM> - A66 uu tr c 8 |j || S r )r r r s r r zAndFamily.c_orF r: r c | j j }t |j D ]\ }}t |j D ]\ }}||z |k rv| |j d | |j |dz d z }| |j d | |j |dz d z } || k r|c c S | j || S )Nr) )r7 r enumerater r& r )
r rz r Omegair/ jbjaabbs
r r zAndFamily._or_ANDI s !! qu%% " "EAr"15))
"
"27e## AE"1"Iacdd $;< s r r zAndFamily._or_TERMV s 66H 66H
%
Bq&Cw
#!!A
QHxq!$$$r c > | j j }|j D ]}|| z } |S r r7 r r r rz rl r/ s r r zAndFamily.c_invertm s/ H % B
"HAAr c ( |j D ] }||vr dS
dS r< r r rz r r> s r r zAndFamily.c_containst s- Azz uu tr c v |j D ]0}| ||d s| d c S 1dS )Nr FailedT)r r r )r rz r rz r> s r r zAndFamily.c_test_containsz sO , ,A$$Q511
,zz(+++++
,tr c $ ||z | j j u S r r r s r c_disjoint3zAndFamily.c_disjoint3 s A$(***r c T |j D ] }| }|r|c S d }|S )Nc : t t | S r hexidos r rl z!AndFamily.c_get_render..r s r!uu:: r r r~ )r cr rl s r r} zAndFamily.c_get_render sL E D!!A
r c Z d |j D }dd | z dz S )Nc g | ] }|j
S r r .0r s r
z)AndFamily.c_get_brief.. ......r (%s) & )r joinr ra namess r rb zAndFamily.c_get_brief s3 .....
5)))C//r c | j j d |j D j dt |j z dfS )Nc g | ] }|j
S r )r re r> s r rf z'AndFamily.c_get_ckc.. s *B*B*Bq17*B*B*Br )r r! )r7 r= mker_andr r8 r r s r rp zAndFamily.c_get_ckc sH H ) )*B*BAE*B*B*B C C N QUO
r c T d |j D }dd | z S )Nc , g | ]}t | S r r re r s r rf z$AndFamily.c_repr.. (((Qa(((r rh ri rk r rz reprss r rQ zAndFamily.c_repr s. ((!%(((
5))))r N)&r r r r r r r r& ry r r r r r r r< r@ r r r r- rC r r r r r r r r r r r rX r} rb rp rQ r r r r# r# s
F
FH" " " $ $ $ "$ $ $
*)I # # #
'/.H.zG# # # '/.H.zG# # # % % %% % %* %$Hz + + + 0 0 0
* * * * *r r# c e Zd ZdZdZdZd Zd Zd Zd Z d Z
d Z d Z d
Z
e
xZxZZd Zd Zd
ZexZxZZd Zd ZexZxZZd Z d Z e xZ xZ Z d Z!d Z"d Z#d Z$d Z%d Z&d Z'd Z(d Z)dS ) OrFamilyORFc P ||k r|S ||k r|S | ||f S r r& r s r r zOrFamily.__call__ s4 66H 66Hzz1a&!!!r c |D ]*}|j j s t |j t sJ +t | dk r(t
| t | S t | dk r|d S | j j S r( )
r r r+ r# r rX r r r7 r )r r rz s r r& zOrFamily._cons s B BA5> AZy%A%A A AA s88a<<??4s44 4
XX]]q6M8# #r c ( |j D ] }||v r dS
dS NTFr rT s r r zOrFamily.c_contains s- AAvvtt ur c h | j j j |j j t |j dfS )N<)r7 Usefindexr r8 r r s r rp zOrFamily.c_get_ckc s* "tx|"AE*5s15zz3FFr c # K fd|j D } d}t | D ]4\ }}|- t | V |dz
} # t $ r d ||< Y 0w xY w5|sd S K)Nc T g | ]$}t | %S r )iterr{ )re r> rz s r rf z+OrFamily.c_get_examples.. s/ 888QtC$$Q''((888r r) r )r rG next
StopIteration)r rz rz exanrI r0 s ` r ry zOrFamily.c_get_examples s 8888!%888 A!#
1= "1gg
Q ) & & &!%A& !
s AAAc F |j fdd S )Nc 2 | d S )NzSome x)r )r> r rz s r r6 z*OrFamily.c_test_contains.. s C,=,=aH,M,M r rN )forsomer r s ``r r zOrFamily.c_test_contains s) {{15"M"M"M"M"MtTTTr c l | |j u r| || S | || S r )r _and_OR _and_TERMr s r r zOrFamily.c_and s5 15==<<1%% %>>!Q'' 'r c B | j j }|j D ]
}|||z z } |S r rQ )r rz r rl s r r zOrFamily._and_TERM s1 H A
QJAAr c V | j j }|j D ]}|j D ]
}|||z z } |S r rQ )r rz r rl bis r r zOrFamily._and_OR sG H Ae
QV
r c |j d }|j || }|j dd D ] }||j || z }!|S r8 )r r r )r rz r r/ rl s r r zOrFamily._and_ID s\
U1X FNN2q ! !%) ' 'B
A&& &AAr c ||z }|j | u r<|j |j us*t |j t |j k rdS J ||k S NFr= r s r rC zOrFamily._ge_TERM sR
E 5D==uAE!!SZZ3qu::%=%= u 16Mr c l |j | u r| || S | || S r )r r< rC r s r r- z
OrFamily.c_ge s3 5D==99Q?? "==A&& &r c , |j D ] }||k s dS dS r< r rT s r r< z
OrFamily.c_le rD r c 8 |j || S r )r r r s r r z
OrFamily.c_or s u||Aq!!!r c g }d}|j D ]%}||k s | | ||k rd}&|s| | | | S r< )r r, r& )r rz r r6 lts r r zOrFamily._or_TERM
sk
A66 ! 66 B IIaLLLzz"~~ r c d t |j |j z }| | S r )maximalsr r& )r rz r r6 s r r zOrFamily._or_OR s'
aeaem
$
$zz"~~ r c R |j d }|j dd D ]}|| z } |S r8 r rR s r r zOrFamily.c_invert s:
U1XI%) B
"HAAr c | j d |j D }t | dk rt | d S d }d|_ d |_ |S )Nc 6 g | ]}| S r )r~ rd s r rf z)OrFamily.c_get_render..& s" &K&K&KTt'8'8&K&K&Kr r) r c : t t | S r r[ r^ s r rl z OrFamily.c_get_render..r* s 2a55zz!r Addressc t | S r )r] r> s r r6 z'OrFamily.c_get_render..- s RUU r )r7
mutnodesetr r r r r )r ra rendersrl s r r} zOrFamily.c_get_render% sp (%%&K&KQU&K&K&KLL w<<1 ==# #
"
"
" (A #2?A Hr c d |j D }| dd | z dz S )Nc g | ] }|j
S r r rd s r rf z(OrFamily.c_get_brief..1 rg r ( | rj r sortrl rm s r rb zOrFamily.c_get_brief0 s@ .....
UZZ&&&,,r c dS )NBriefr r s r r z OrFamily.c_get_idpart_header5 s wr c dS )Nzr r s r r zOrFamily.c_get_idpart_label8 s yr c \ | j j j }|j j i fd}|S )Nc | } | }|L | } | j }| }||f}||< |\ }}|d || S )Nr )classifygetget_kindr r~ r> r brr r rl brmemor clis r r z,OrFamily.c_get_idpart_render..renderB s QAA Bz||ALLOO)OO%%V q DAq qq!!A$$$' 'r r7 r r r8 r r rz r r r r r s @@@r r z OrFamily.c_get_idpart_render; sN
X\
mg ( ( ( ( ( ( (
r c \ | j j j }|j j i fd}|S )Nc 6 | } | }|S | } | j }|j | }||f}||< n|\ }}|dk r || } || fS )Nr )r r r r r r r s r r z0OrFamily.c_get_idpart_sortrender..renderY s QAA Bz||ALLOO)H44T::V q 1JAaDDq6Mr r r s @@@r r z OrFamily.c_get_idpart_sortrenderR sN
X\
mg
r c | d |j D }| dd | z S )Nc , g | ]}t | S r ru rv s r rf z#OrFamily.c_repr..j rw r rh r r rx s r rQ zOrFamily.c_repri s; ((!%(((
5))))r N)*r r r r r r r r& r rp ry r r r r r r r r rC r r r r- r< r r r r r r r r r r r} rb r r r r rQ r r r r{ r{ s
F
FH" " " $ $ $ G G G
U U U( ( ( *32I2 h '/.H.zG' ' ' '+*H*zG" " " '/.H.zG
- - -
. .* * * * *r r{ c e Zd ZdZdZdZd Zd Zd Zd Z e Z
d Z e xZ Z
d Zd
Zd Zd ZeZd
Zd Zd ZexZxZZd ZeZd ZexZ Z d Z d Z d Z d Z!d Z"dS ) InvertFamilyINVERTFTc |j j sJ || j j u r | j j S t
| | S r )r r r7 r
NotNothingrX r r s r r zInvertFamily.__call__t s@ u|| 8& &??4++ +r c : | |j |d S )Nr )test_contains_notr r s r r z InvertFamily.c_test_contains{ s $$QUA~>>>r c ||j vS r r r s r r zInvertFamily.c_contains~ s : r c 8 |j || S r )r r r s r r zInvertFamily.c_and s u A&&&r c z |j |z }|j j r | | }| j || S r )r r r r7 r rT s r r zInvertFamily._and_FACTOR s@
EAI 5< QAx 1%%%r c |||j z z
S r r r s r r zInvertFamily._and_ID s AI r c ||j k S r r r s r r z!InvertFamily._factordisjoint_ATOM s AEzr c dS r r r s r r z#InvertFamily._factordisjoint_INVERT ur c 8 |j || S r )r r r s r r< zInvertFamily.c_le u 1%%%r c dS r r r s r r zInvertFamily._le_ATOM r r c " |j |j k S r r r s r r zInvertFamily._le_INVERT s u~ r c 6 |j | S r )r rw r s r r- zInvertFamily.c_ge s u~~a r c 8 |j || S r )r r r s r r zInvertFamily.c_or r r c |j |k r
| j j S |j |z }|| j j u r|S | j || S r )r r7 r r rT s r
_or_FACTORzInvertFamily._or_FACTOR sQ 5A::H$$ $
EAI Hxq!$$$r c |j S r r r s r r zInvertFamily.c_invert s u r c 4 |j S r r` r s r r} zInvertFamily.c_get_render s u !!!r c |j j }| d s | d s d|v rd|z }d|z S )Nr r r rh ~%s)r r
startswith)r rz r s r rb zInvertFamily.c_get_brief sN
EK c"" all3&7&7 q
Aqyr c * |j j j ddfS )Nr z!=)r r r8 r s r rp zInvertFamily.c_get_ckc s
EK "
r c 0 dt |j z S )Nr )r r r s r rQ zInvertFamily.c_repr s tAE{{""r N)#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 r r r r r r} rb rp rQ r r r r r o s~
F
FH, , ,? ? ? ' ' ' H& & & *)I & & & G ! ! ! '+*H*zG& & & G% % % '&Hz " " "
# # # # #r r c e Zd Zd Zd Zd ZdS ) FamilyFamilyc j t | | | dd d S )Nunionc 4 | j S r )r r
r s r r6 z'FamilyFamily.__init__.. s 15??+<+< r )r r rw ra s r r zFamilyFamily.__init__ s6 D#&&& !)r r) r ra s r rb zFamilyFamily.c_get_brief s //r N)r r r r r rb r r r r r sA > > >8 8 80 0 0 0 0r r c e Zd Zd Zd Zd'dZd Zd Zd Zd Z d Z
d
Z d Z d Z
d
Zd Zd ZexZxZZd ZexZxZxZZd 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'd"Z*d(d#Z+d$ Z,d% Z-d& Z.dS ))IdentitySetFamilyc t | | | |j |j | _ |j | _ |j | _ |j | _ |j | _ |j | _ d S r )
r r r Anythingr3 Partr r r8 r ra s r r zIdentitySetFamily.__init__ sh D#&&& &&& .H H j H 7r c | j |fi |S r r~ r s r r zIdentitySetFamily.__call__ s tz$''$'''r Nc | | }|s | j j S t | dk r$t | t | d }nt
| | }|||_ |S r( )r3 r7 r r r- r r% r )r r r rl s r r& zIdentitySetFamily._cons sp ooc"" ,8# #
XX]]$T5::a=99AA s++A
>AEr c |j | u r"| |j |j z S |j | j j u r| || S |j || S r )r r& r r7 r r r r s r r zIdentitySetFamily.c_and sf 5D==::ag /00 0
Udh)
)
)##Aq)) )5==A&& &r c |j | u r"| |j |j z S |j || S r )r r& r r r s r r zIdentitySetFamily._and_ATOM s> 5D==::ag /00 05==A&& &r c 8 |j || S r )r r r s r r zIdentitySetFamily._and_AND r: r c F | |j |j z S r )r& r r s r r zIdentitySetFamily._and_ID s zz!'AG+,,,r c |j j | u r'| |j |j j z
S || j j u r|S |j || S r )r r r& r r7 r r r s r r z IdentitySetFamily._and_INVERT sY 59 ::ag 344 4
$(%
%
%H5==A&& &r c > | j j j j |j dfS )Nz<=)r7 r= r r8 r r s r rp zIdentitySetFamily.c_get_ckc s x#)4agtCCr c * t |j S r )r r r s r r# zIdentitySetFamily.c_hash# s AG}} r c t d r r r s r r zIdentitySetFamily.c_iter& s 5666r c |j j S r )r numrowsr s r r zIdentitySetFamily.c_len, s
{""r c ||j v S r r& r s r r z IdentitySetFamily.c_contains3 s AG|r c j |j | ur|j || }|j |j k S r )r r r r s r r< zIdentitySetFamily.c_le6 s1 u}}
a##Aw!'!!r c |j | u r"| |j |j z S ||j || z
}|j || S r )r r& r r r r s r r zIdentitySetFamily.c_or= sX 5D==::ag /00 0AEMM!Q'''A5>>!Q'' 'r c , | | S r )get_str_summaryr s r rb z IdentitySetFamily.c_get_briefF s ##A&&&r c 4 |j S r )r r~ r s r r} z IdentitySetFamily.c_get_renderI s v """r c 6 |j | S r )r get_setr rz r s r r zIdentitySetFamily.c_getitemL s {""3'''r c > |j j S r )r _oh_printerget_str_of_topr s r rU zIdentitySetFamily.c_strO s v!00222r c | j }|j D ]8} t || }| | )# t
$ r Y 5w xY w| | j | S r )r7 r r r~ addr r& r3 )r rN rT nsr> vs r rR z IdentitySetFamily.maprox_getattrR s
X
"
" A
At$$ q "
zz$(--b11222s A
AAc | j }|j D ]7} || }| | !# t t
f$ r Y 4w xY w| | j | S r )r7 r r r KeyError
IndexErrorr& r3 )r rN r r r> r s r rV z IdentitySetFamily.maprox_getitem] s
X
"
" A
cF q j)
zz$(--b11222s AAAc dS )NzKind: Name/Value/Addressr r s r r z%IdentitySetFamily.c_get_idpart_headerh s ))r c dS )Nr
r r s r r z$IdentitySetFamily.c_get_idpart_labelk s rr c fd}|S )Nc j | } | j d d }|S )Nz<1 >)r7 r r lstriprstrip)r> rl r s r r z5IdentitySetFamily.c_get_idpart_render..rendero s: QAu%%,,S11AHr r )r rz r s ` r r z%IdentitySetFamily.c_get_idpart_rendern s#
r c g }t |t r| | n | d }n # t $ r t d w xY w|dgk rg }|D ]|} | r| d rd|z }t | j | }n # t $ r t d|z w xY w| | }|s
| j j }n3|d }t dt | D ]
}||| z }|j |ur | |j | }|S ) N&z.by(): Equivalence relation or string expected.r
er_z;by(): No such equivalence relation defined in heapy.Use: %rr r) r )r+ r7 r, split Exceptionr istitler r~ r r ru r ranger r r& r )r rz r erssssrI s r r zIdentitySetFamily.get_byu s b- . . JJrNNNN
FXXc]]
F
F
F DF F F
F bTzz
[ 99;; $!,,u*=*= $ !!G 1--BB% [ [ [$UXYY[ [ [[
2 BBQB1c#hh''
c!f 4r>>
17r
**As A A 0AB44 Cc h |j }n(# t $ r | j j j }||_ Y nw xY w|S r )r r r7 r r )r rz r s r r zIdentitySetFamily.get_er sI BB #BAEEE s
"//c |j }n<# t $ r/ | j j ||j }||_ Y nw xY w|S r )r r r7 OutputHandling more_printerr )r rz ms r r zIdentitySetFamily.get_more sY AA '44Q DDAAGGG s
6AAc |j j S r )r r r s r r zIdentitySetFamily.get_all s vzr c T | j j j j | S r )r7 r r r8 r r s r r z IdentitySetFamily.get_owners s x|!,33A666r c |j }nZ# t $ rM |j j |j j ||j }||_ Y nw xY w|S r )r r r r8 clear_checkr r r )r rz ps r r z IdentitySetFamily.get_partition sn AA
EJ " " $ $ $
$$Q--A ALLL s
AA! A!c < |j || }|S r )r r )r rN r r s r get_str_idpartz IdentitySetFamily.get_str_idpart s
G ! !#s + +r c g }| d|j z | |j || | d | | |||t d | z
d | }t | |k r|d |dz
dz }|S )Nz%d r r
...)r, r r r get_str_renderedr rl )r rN r
max_lengthstrsr s r get_str_refpatz IdentitySetFamily.get_str_refpat s ECI%&&& CG))#s33444 D D)) jRWWT]]!3!335 5 6 6 6 GGDMM q66J /:>/"5(Ar c d |d}g }d}| }|j D ]d} || }|r+|t | z dz |k r|dxx dz
cc< n+|t | dz z
}| | e| d | S )N2 r r) z, )r~ r r r, r rl ) r rN r r+ r, lensr r$ rss r r* z"IdentitySetFamily.get_str_rendered s J !! AB
s2ww*j88RE! CGGaK D KKOOOO yy r c | | j j }||j }|j }|j | }d |D }t
d | }dt | |j || fz }|dz
}t | } g }
|D ]q\ }}|
|||| z
} t | dk r
d|j || fz } |
| | t | dz z
} | |k r nrt |
dk r|
d |d
|
d z z
}t | |k r|d |d z
d
z }|S )Nc g | ]\ }}|S r r )re r r s r rf z5IdentitySetFamily.get_str_summary.. s $$$da$$$r c | |z S r r r> r? s r r6 z3IdentitySetFamily.get_str_summary.. s
!a% r z<%d %sr r) z <%d %s: %s>r( c < | | d d S )Nr )indexr s r r6 z3IdentitySetFamily.get_str_summary.. s Qqwws||}}%5 r )keyr r z...>)r7 max_summary_lengthr r r8 r r r r r r* r r, r rl ) r ra r+ r rN itemskeysr r bslenbstrscsss r r z!IdentitySetFamily.get_str_summary s 4J
:Bg
'',,$$e$$$''.. C#'"7"7Q"?"?@ @ T A HC''S*U2BCCC5zzA~~#sy#s&;; LL SXX\ !Ez!! " u::>> JJ55J 6 6 6 UZZ
$$ q66J -:a<- 'Ar c H d |j D S )Nc g | ]}|S r r rq s r rf z/IdentitySetFamily.get_parts.. s 222a222r )r get_setsr s r r zIdentitySetFamily.get_parts s$ 221;//112222r c t |j dk rt |j d S t d )Nr) r z theone requires a singleton set)r r r ru rM s r r
z IdentitySetFamily.get_theone s7 sy>>Q ??1% %:;;;r c | | }| j j | j j | }|d S | d n$# t $ r | Y nw xY w G fdd } | }| j |_ | j j | |S )NT)most_recent_firstc e Zd Z fdZdS )+IdentitySetFamily.get_prod..Printerc 3 $ K dV E d {V d S )Nz#Traceback (most recent call first):r )r framess r _oh_get_line_iterz=IdentitySetFamily.get_prod..Printer._oh_get_line_iter
s1 ;;;;!!!!!!!!!!r N)r r r rL )rK s r PrinterrI s.
"
"
"
"
"
"
"r rM )
r
r7 r _check_tracemalloc tracemallocget_object_tracebackformatr r setup_printing)r rN objtbrM printerrK s @r r zIdentitySetFamily.get_prod s ooc"" '')))
X
!
6
6s
;
;
: F !YYY66FF ! ! !YY[[FFF !
" " " " " " " " " "
'))h ..w777s A0 0 BBr )NN)/r r r r r r& r r r r r rp r# r r r r< r r r r r r r r rb r} r rU rR rV r r r r r r r r r r& r- r* r r r
r r r r r r sy ( ( ( ' ' '' ' ' # # #- - -' ' 'D D D 7 7 7 # # # " " "
'+*H*zG( ( ( 043H3z3Gf' ' '# # #( ( (3 3 3 3 3 3 3 3 3* * * @ 7 7 7 >3 3 3< < <
r r c e Zd Zd Zd ZexZxZxZxZZ d Z
d Z e xZ xZ
Zd Zd Zd Zd ZexZxZZd Zd
Zd ZexZxZxZZ d Z d
Z d Z dS ) EmptyFamilyc < t | | d S r )r r ra s r r zEmptyFamily.__init__ s ""4-----r c |S r r r s r r zEmptyFamily.c_and" r c dS r r r s r r zEmptyFamily.c_contains' ur c ||u rdS dS r r r s r r- zEmptyFamily.c_ge* s 664ur c dS )Nz r r s r rb zEmptyFamily.c_get_brief1 s {r c , | j j j dS )Nr )r7 r reprefixr s r rQ zEmptyFamily.c_repr4 s .. ::r c t d S )Nr )r r s r r zEmptyFamily.c_iter7 s
Bxxr c dS r r r s r r< zEmptyFamily.c_le: r r c dS )Nr r r s r r zEmptyFamily.c_len? s qr c dS r r r s r rK zEmptyFamily.c_nonzeroB r\ r c |S r r r s r r zEmptyFamily.c_orE rZ r c , | | S r r r s r rU zEmptyFamily.c_strJ r r c |S r r r s r rY zEmptyFamily.c_subM rZ r c |S r r r s r r_ zEmptyFamily.c_xorP rZ r N) r r r r r r r r r r r r- r r r rb rQ r r< r r r r rK r r r r r rU rY r_ r r r rW rW s: . . . >CBIB BhB7
'+*H*zG ; ; ; '+*H*zG 043H3z3Gf# # # r rW c P e Zd Zd Zd Zd Zd Zd Zd Zd Z d Z
d Z d
Z d Z
d S )
EquivalenceRelationFamilyc t | | t | _ |j | _ |j | _ d S r )r r r7 r` r r= ra s r r z"EquivalenceRelationFamily.__init__U s8 D#&&&&7 ?r c P ||i |}| | | }||_ |S r )r` r )r constructorr r clr s r r z"EquivalenceRelationFamily.__call__[ s7 [$
'$
'
'
XXdB
r c t | | dk S # t $ rG | }|d j |k o |d dk cY S # t
$ r Y Y dS w xY ww xY w)Nr) r r0 r! F)r r r rq r r )r rz r ckcs r r z$EquivalenceRelationFamily.c_containsc s 9qttAww<<1$ $ 9 9 9
9iikk 1vyA~8#a&D.888
uuu
9s, %(
A9A& A9&
A50A94A55A9c |j } t |d }n # t $ r t | w xY w || S )Nget_attr_for_er)r8 r~ r )r rz rT r8 gs r r5 z#EquivalenceRelationFamily.c_getattro sV \
'
$566AA ' ' ' && & 'qwws 4c |j | ur t | || S g }||fD ]9}|j r| |j $| | :t
| }t | dk r|d S | j | }t | |_ |S r( ) r r r r9 extendr, minimalsr r= rr r )r rz r r r> r s r r z EquivalenceRelationFamily.c_andw s 5 ##D!Q// /Q Ax
18$$$$
1
smm s88q==q6M
&
&s
+
+#JJ r c > |j | u r|j |j j v S dS r r r8 super_classifiersr s r r z"EquivalenceRelationFamily._ge_ATOM $ 5D==<1<#AA Aur c > |j | u r|j |j j v S dS r rx r s r r z"EquivalenceRelationFamily._le_ATOM rz r c & |j j |i |S r )r8 get_userkindr s r r z EquivalenceRelationFamily.c_call s (q|($7$777r c d|j z S )NzEquiv. relation %s)r8 r s r rb z%EquivalenceRelationFamily.c_get_brief s #al22r c f |j | j | S r )r8 relimgr7
nodeset_adaptr s r r z#EquivalenceRelationFamily.c_getitem s( |""48#9#9##>#>???r c 4 |j S r )r8 get_reprnamer s r rQ z EquivalenceRelationFamily.c_repr s |((***r N)r r r r r r r5 r r r r rb r rQ r r r rj rj T s + + +
9
9
9
8 8 83 3 3@ @ @+ + + + +r rj c X e Zd Zd Zd dZd Zd Zde_ ee_ d Z
de
_ ee
_ d Z d
e _ d Z d e _ d
Z
de
_ d Zd
e_ d Zde_ d Zde_ d Zd
e_ d Zde_ de_ eZd Zde_ d dZd
e_ d Zd e_ d S ) Summary_strc || _ |j j }i | _ t |j D ]'\ }}t |t r
d|z | j |< (t |j D ]$\ }}t |t r
|| j |< %i | _
dD ]1}t || dz }|| j
|< 2i |j
| j t | j |j | j |j | j t* | j t, | j t. | j |j | j |j | j t8 | j t: | j t d | j |j | j |j | j! |j" | j# tH | j% tL | j% tN | j t | j( i| _) d S )Nztypes.%s)modulefunctionr )*r7 r\ _moduleinvtypessorted__dict__r= r+ type __builtins__shorter_invtypesr~
capitalizeNodeSetstr_address_lenboolstr_reprBuiltinFunctionTypestr_builtin_functionCodeTypestr_codecomplexdictfloat FrameType str_frame FunctionType str_functionintr
MethodType
str_method
ModuleType
str_module
TracebackType
str_tracebackbytes str_limreprstrr str_typetable)r r7 r\ r r rT r s r r zSummary_str.__init__ s+ !
5>//1122 2 2DAq!T""
2#->
a 5-335566 % %DAq!T""
%#$
a
!# * , ,Dt 0 0 788A'+D !! $ $
K-
$-
%t'@
NDM
T]
$&
4=
OT^
1
$&
JJ
do
do
!3
4#!
"
!#
$
4' $-'
r Fc | j | $t |t r| j n| j rdj j j v rfdS S )Nlongerc | S )N)r r )r r r> s r r6 z&Summary_str.__call__.. s QQq 0 0 0 r ) r r
issubclassr r r __func____code__ co_varnames)r r: r r> s `@r r zSummary_str.__call__ sp JNN3 9#t$$
%M$ h!*"5"AAA00000 0Hr c || j |< d S r )r )r r funcs r set_functionzSummary_str.set_function s
4r c : t t | S r r[ r r> s r r zSummary_str.str_address s 2a55zzr r c X | | | | z S r )r str_lenr s r r zSummary_str.str_address_len s% ""4<<??22r zAddress*Lengthc < |j }|j }|dk r|d|}|S )Nbuiltins.)r r )r r> r r s r r z Summary_str.str_builtin_function s.
J
L
?? 11aa Ar Namec ~ d| j j j j |j |j |j fz S )Nz%s:%d:%s)r7 rg ospathbasename co_filenameco_firstlinenoco_namer s r r zSummary_str.str_code s; TX^ . 3 < cnr func_names r r zSummary_str.str_method s
]]1:/
0
0 : ! !!#T%5%5aj%A%A%A%ABBz &
II & & &
III & ""ii((s A A,+A,z Type/ . methodc |j S r )r r s r r zSummary_str.str_module s
zr c J | j j j | S r )r7 rg reprlibr r s r r zSummary_str.str_limrepr s x~%**1---r zRepresentation (limited)r c j d| |j d| | dS )Nz
.r )r r hasattrr r )r r> r s r r zSummary_str.str_type sw % % %f %(+ +
=# #q,'' 43qz33 3,-----r c P || j v r
| j | S |j d|j S r )r r r r s r str_type_longerzSummary_str.str_type_longer s1
=# #,,,
33r c t S r )r r s r r6 zSummary_str.# s r NF)r r r r r r r r r] r r r r r r r r r r r r r r r _longer_methodr r r r r s '
'
'
R
!*K %'K"3 3 3%5O")+O& +1'( ( ( /HF F F 0I 4 4 4"(L %G ) ) ) !BJ &J . . .!;K %/K"HY Y Y#5M . . . . %H4 4 4 1 0Hr r c | |k S r r r7 s r r6 r6 &
Q r c g }| D ]I}| D ] } ||| r ||| s n) |D ]} ||| r n| | J|S )z< Find the maximal element(s) of a partially ordered sequencer, Alerl r> rz s r r r &
A
Ar!Qxx
1a
2a88 E Hr c | |k S r r r7 s r r6 r6 6 r r c g }| D ]I}| D ] } ||| r ||| s n) |D ]} ||| r n| | J|S )zH Find the minimal element(s) of a sequence of partially ordered elementsr r s r rv rv 6 r r c e Zd ZdZdZdZdZdZdZd Z d Z
d Z d
Z d Z
d Zd
Zd Zd Zd Zd Zd Zd Zd Zd dZd Zd Zd Zd Zd dZ d Z dS ) _GLUECLAMP_P TF)r r8 r r )r< out_reach_module_namesauto_convert_typeauto_convert_iteroutput)z_parent:Classifiersz_parent:ImpSetz_parent.ImpSet:emptynodesetz_parent.ImpSet:immnodesetz_parent.ImpSet:mutnodesetz_parent.ImpSet:NodeSetz _parent:Partz _parent:Pathz_parent:RefPatz_parent:OutputHandlingz _parent:Viewz_parent.View:_hiding_tag_z_parent.View:hvz _parent:Usez_root:tracemallocz _root:typesc J | j j j d S r )r r r8 r r$ s r
_get_Anythingz_GLUECLAMP_._get_Anythingh s DHN$=$F$Ft$L$L Lr c F t t | | j S r )r% rW emptynodesetr$ s r _get_Nothingz_GLUECLAMP_._get_Nothingi s$ #3D4,$. $. .r c L t | j | j S r )rX r r r r$ s r _get_NotNothingz_GLUECLAMP_._get_NotNothingk s foo '' '' 'r c i }t | j D ]S\ }}t |dd }|D ]:}t || }||v r || |urt d|d| |||< ;T|S )N_uniset_exportsr zDuplicate export: z
defined in: )r out_reach_dictr= r~ RuntimeError)r r r r r r> s r _get_export_dictz _GLUECLAMP_._get_export_dictn s ,224455 DAq -r22B
ArNN77quA~~&,ACQQGI I I"
r c N i }| j D ]}t | j | ||< |S r )r r~ rZ )r r rT s r _get_out_reach_dictz _GLUECLAMP_._get_out_reach_dictz s5 / 2 2D dlD11AdGGr c , | | S r )r r$ s r _get_summary_strz _GLUECLAMP_._get_summary_str s t'7'7'='= =r c , | | S r )r# r$ s r _get_fam_Andz_GLUECLAMP_._get_fam_And s 4>>$#7#7 7r c t | S r )rj r$ s r _get_fam_EquivalenceRelationz(_GLUECLAMP_._get_fam_EquivalenceRelation s /555r c , | | S r )r{ r$ s r _get_fam_Orz_GLUECLAMP_._get_fam_Or s $--"5"55r c , | | S r )r r$ s r _get_fam_IdentitySetz _GLUECLAMP_._get_fam_IdentitySet s 4+A+A$+G+G$Gr c , | | S r )r r$ s r _get_fam_Invertz_GLUECLAMP_._get_fam_Invert d&7&7&=&= =r c , | | S r )r r$ s r _get_fam_Familyz_GLUECLAMP_._get_fam_Family r r c i fd}|S )Nc }|. G fdd j } j x|_ |_ | < |g|R i |S )Nc e Zd Z fdZdS )8_GLUECLAMP_._get_fam_mixin_argatom..f..Cc b |j | | j | |g|R i | d S r )r r )r r7 r r Mixins r r zA_GLUECLAMP_._get_fam_mixin_argatom..f..C.__init__ sF )224===&tS@4@@@4@@@@@r N)r r r r )r s r Cr
s5 A A A A A A Ar r )r r r r )r r r r memor s ` r fz-_GLUECLAMP_._get_fam_mixin_argatom..f s AyA A A A A A At 1 A A A
/4n< U 1T)D)))D)) )r r )r r r s ` @r _get_fam_mixin_argatomz"_GLUECLAMP_._get_fam_mixin_argatom s.
*
*
*
*
*
* r c t || j r|}nJt || j r| | }n t dt | z |j | j urt d |S Nz(IdentitySet or NodeSet expected, got %r.zPThe argument has wrong _hiding_tag_, you may convert it by Use.idset or Use.iso.)r+ r r idsetr r r ru )r r idss r idset_adaptz_GLUECLAMP_.idset_adapt s a) * * FCC
4<
(
( F**Q--CC:T!WWDF F
F >!2 2 2 bd d
d
r Nc ` | j | | | S )Nr )fam_IdentitySetr& r3 )r iterabler s r r z_GLUECLAMP_.idset s* #))$//(*C*C)KKKr c | j S r )r r$ s r _get_isoz_GLUECLAMP_._get_iso s ##r c , t || j S r )r+ r )r rS s r isunisetz_GLUECLAMP_.isuniset s #t{+++r c t || j r|}n!2 2 2 bd d
d r c Z t || j s| | }|S r )r+ r r r s r retsetz_GLUECLAMP_.retset s+ !T -..
1
Ar c L |s| j S |d }|dd D ]}||z }|S r8 )r r r r& )r r maximizedrz r s r r z_GLUECLAMP_.union sB < Gabb A
FAAr c t |t r|j | j u r|S | j }t |t r!| j r| j | S t || j r#|j | j u r| | S | j
r5 t | }| | S # t $ r Y nw xY wt d )NzPArgument is not automatically convertible to a UniSet with correct _hiding_tag_.)
r+ r r r\ r r r r r r r r r )r r r\ its r r z#_GLUECLAMP_.uniset_from_setcastable s a Q^t7H%H%HH
a
&4#9
&8==## #
4<
(
( &Q^t?P-P-P::a==
# &
&!WW zz"~~%
^` ` `s #C
CCr r ) r r r r< r r r _chgable_ _imports_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 F sf AEII* MLL. . .' ' '
>==7776 6 6 655GGG====== L L L L$ $ $, , ,
'
'
'
' ` ` ` ` `r r N) functoolsr guppy.etc.Descriptorr rP r r r r% r- r7 r rX r r r# r{ r r r rW rj r r rv r r r r r+ s - - - - - -q q q q qV q q qh
)
)
)
)
)6
)
)
)^ ^ ^ ^ ^& ^ ^ ^B { ' ' ' ' '; ' ' ',)? )? )? )? )?& )? )? )?X ? ? ? ? ?6 ? ? ? r$ r$ r$ r$ r$ r$ r$ r$jQ Q Q Q Q Q Q Q h, , , , ,J , , ,*|* |* |* |* |* |* |* |*~N* N* N* N* N*v N* N* N*bi# i# i# i# i#6 i# i# i#X 0 0 0 0 0: 0 0 0m m m m m
m m m` : : : : :# : : :zG+ G+ G+ G+ G+
G+ G+ G+TE1 E1 E1 E1 E1 E1 E1 E1P '&
'&
^` ^` ^` ^` ^` ^` ^` ^` ^` ^`r