lemon.external.gadfly.semantics.BTor

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

[show private | hide private]

Class BTor_pred

SimpleRecursive --+    
                  |    
        BTPredicate --+
                      |
                     BTor_pred

Method Summary
	`__init__(self, members, *othermembers)`
	`__and__(self, other)` push "and" down...
	`__call__(self, boundtuples, toplevel)`
	`__cmp__(self, other)`
	`__hash__(self)`
	`__invert__(self)` translate to and-not...
	`__or__(self, other)` collapse two ors, otherwise just add new member...
	`__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)`
	`initargs(self)`
	`negated_constraints(self)` the negated constraints of an OR are...
	`relbind(self, dict, db)`
	`uncache(self)`
Inherited from SimpleRecursive
	`demarshal(self, args)`
	`marshaldata(self)`

Method Details

push "and" down

translate to and-not

collapse two ors, otherwise just add new member

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

the negated constraints of an OR are
the negated constraints of *all* members

Overrides:: lemon.external.gadfly.semantics.BTPredicate.negated_constraints

Generated by Epydoc 2.0 on Mon Nov 10 15:07:41 2003