equation of nontrivial expressions.
Methods
|
|
|
|
__and__
|
__and__ ( self, other )
|
|
__call__
|
__call__ (
self,
assigns,
toplevel=0,
)
|
|
__cmp__
|
__cmp__ ( self, other )
|
|
__init__
|
__init__ (
self,
left,
right,
)
|
|
__invert__
|
__invert__ ( self )
|
|
__or__
|
__or__ ( self, other )
|
|
__repr__
|
__repr__ ( self )
|
|
detrivialize
|
detrivialize ( self )
|
|
domain
|
domain ( self )
|
|
hash
|
hash ( self, other )
|
|
initargs
|
initargs ( self )
|
|
negated_constraints
|
negated_constraints ( self )
|
|
relbind
|
relbind (
self,
dict,
db,
)
already bound!
|
|
uncache
|
uncache ( self )
|
|