lemon.external.gadfly.semantics.NontrivialEqPred

Package lemon :: Package external :: Package gadfly :: Module semantics :: Class NontrivialEqPred

[show private | hide private]

Class NontrivialEqPred

SimpleRecursive --+    
                  |    
        BTPredicate --+
                      |
                     NontrivialEqPred

Known Subclasses:: BetweenPredicate, ExistsPred, InLits, LessPred, QuantEQ

equation of nontrivial expressions.

Method Summary
	`__init__(self, left, right)`
	`__and__(self, other)` NOTE: all subclasses must define an __and__!!!...
	`__call__(self, assigns, toplevel)`
	`__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 BTPredicate
	`__hash__(self)`
Inherited from SimpleRecursive
	`demarshal(self, args)`
	`marshaldata(self)`

Method Details

NOTE: all subclasses must define an __and__!!!

Overrides:: lemon.external.gadfly.semantics.BTPredicate.__and__ (inherited documentation)

hook added to allow elimination of trivialities
return None if completely true, or simpler form
or self, if no simplification is possible.

Overrides:: lemon.external.gadfly.semantics.BTPredicate.detrivialize (inherited documentation)

equality constraints always false of satisfactory tuple.

Overrides:: lemon.external.gadfly.semantics.BTPredicate.negated_constraints (inherited documentation)

Class Variable Details

Generated by Epydoc 2.0 on Mon Nov 10 15:08:32 2003