| Method Summary |
| |
__call__(self,
assigns,
toplevel)
|
| |
__inv__(self)
|
| Inherited from LessPred |
| |
__hash__(self) |
| Inherited from NontrivialEqPred |
| |
__init__(self,
left,
right) |
| |
__and__(self,
other)
NOTE: all subclasses must define an __and__!!!... |
| |
__cmp__(self,
other) |
| |
__invert__(self) |
| |
__or__(self,
other) |
| |
__repr__(self) |
| |
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(self) |
| |
hash(self,
other) |
| |
initargs(self) |
| |
negated_constraints(self)
equality constraints always false of satisfactory tuple. |
| |
relbind(self,
dict,
db) |
| |
uncache(self) |
| Inherited from SimpleRecursive |
| |
demarshal(self,
args) |
| |
marshaldata(self) |