Methods
|
|
|
|
__and__
|
__and__ ( self, other )
push "and" down if other is an or
|
|
__call__
|
__call__ (
self,
boundtuples,
toplevel=0,
)
|
|
__cmp__
|
__cmp__ ( self, other )
|
|
__hash__
|
__hash__ ( self )
|
|
__init__
|
__init__ (
self,
members,
precondition=None,
*othermembers,
)
|
|
__invert__
|
__invert__ ( self )
translate to or-not
|
|
__or__
|
__or__ ( self, other )
do the obvious thing.
|
|
__repr__
|
__repr__ ( self )
|
|
detrivialize
|
detrivialize ( self )
hook added to allow elimination of trivialities
return None if completely true, or simpler form
or self, if no simplification is possible.
|
|
domain
|
domain ( self )
|
|
initargs
|
initargs ( self )
|
|
negated_constraints
|
negated_constraints ( self )
the negated constraints of an AND are
the negated constraints of any member
|
|
relbind
|
relbind (
self,
dict,
db,
)
already bound!
|
|
uncache
|
uncache ( self )
|