lemon.external.gadfly.semantics.QuantEQ

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

[show private | hide private]

Class QuantEQ

SimpleRecursive --+        
                  |        
        BTPredicate --+    
                      |    
       NontrivialEqPred --+
                          |
                         QuantEQ

Known Subclasses:: QuantLT, QuantNE

Quantified equal any predicate

Method Summary
	`__init__(self, expr, subq)`
	`__call__(self, assigns, toplevel)`
	`__cmp__(self, other)`
	`__hash__(self)`
	`__repr__(self)`
	`compare(self, value, column)`
	`domain(self)`
	`initargs(self)`
	`relbind(self, dict, db)`
	`uncache(self)`
Inherited from NontrivialEqPred
	`__and__(self, other)` NOTE: all subclasses must define an __and__!!!...
	`__invert__(self)`
	`__or__(self, other)`
	`detrivialize(self)` hook added to allow elimination of trivialities return None if completely true, or simpler form or self, if no simplification is possible.
	`hash(self, other)`
	`negated_constraints(self)` equality constraints always false of satisfactory tuple.
Inherited from SimpleRecursive
	`demarshal(self, args)`
	`marshaldata(self)`

Class Variable Summary
`str`	`fmt` = `'(%s %s ANY %s)'`
`str`	`op` = `'='`
Inherited from BTPredicate
`NoneType`	`constraints` = None
`int`	`contains_aggregate` = 0
`int`	`false` = 0

Class Variable Details

fmt

Type:: str
Value:: '(%s %s ANY %s)'

op

Type:: str
Value:: '='

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

http://epydoc.sf.net