lemon.external.gadfly.semantics.BTnot

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

[show private | hide private]

Class BTnot_pred

SimpleRecursive --+    
                  |    
        BTPredicate --+
                      |
                     BTnot_pred

Method Summary
	`__init__(self, thing)`
	`__and__(self, other)` do the obvious thing.
	`__call__(self, boundtuples, toplevel)`
	`__cmp__(self, other)`
	`__hash__(self)`
	`__invert__(self)`
	`__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 a NOT are the negated constraints of the thing negated.
	`relbind(self, dict, db)`
	`uncache(self)`
Inherited from SimpleRecursive
	`demarshal(self, args)`
	`marshaldata(self)`

Method Details

do the obvious thing.

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 a NOT are the
negated constraints of the thing negated.

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

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