lemon.external.gadfly.semantics.BTand

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

[show private | hide private]

Class BTand_pred

SimpleRecursive --+    
                  |    
        BTPredicate --+
                      |
                     BTand_pred

Method Summary
	`__init__(self, members, precondition, *othermembers)`
	`__and__(self, other)` push "and" down if other is an or...
	`__call__(self, boundtuples, toplevel)`
	`__cmp__(self, other)`
	`__hash__(self)`
	`__invert__(self)` translate to or-not...
	`__or__(self, other)` do the obvious thing.
	`__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 AND are...
	`relbind(self, dict, db)`
	`uncache(self)`
Inherited from SimpleRecursive
	`demarshal(self, args)`
	`marshaldata(self)`

Method Details

push "and" down if other is an or

translate to or-not

do the obvious thing.

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 AND are
the negated constraints of *any* member

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

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