superclass for bound tuple predicates.
Eventually should be modified to use "compile" for speed
to generate an "inlined" evaluation function.
self(bt) returns bt with additional equality constraints
(possible) or None if predicate fails.
Methods
|
|
|
|
__and__
|
__and__ ( self, other )
NOTE: all subclasses must define an __and__!!!
|
|
__call__
|
__call__ (
self,
assignments,
toplevel=0,
)
apply self to sequence of assignments
return copy of asssignments with false results
replaced by 0! Input may have 0's!
|
|
__cmp__
|
__cmp__ ( self, other )
|
|
__hash__
|
__hash__ ( self )
|
|
__init__
|
__init__ ( self, constraints=None )
default interpretation: True.
|
|
__invert__
|
__invert__ ( self )
|
|
__or__
|
__or__ ( self, other )
|
|
__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 )
equality constraints always false of satisfactory tuple.
|
|
relbind
|
relbind (
self,
dict,
db,
)
already bound!
|
|
uncache
|
uncache ( self )
|
|