Package lemon :: Package external :: Package gadfly :: Module semantics :: Class QuantLT
[show private | hide private]
[frames | no frames]

Class QuantLT

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

Known Subclasses:
QuantGE, QuantGT, QuantLE

Quantified less than any predicate

Method Summary
  compare(self, value, column)
  uncache(self)
    Inherited from QuantEQ
  __init__(self, expr, subq)
  __call__(self, assigns, toplevel)
  __cmp__(self, other)
  __hash__(self)
  __repr__(self)
  domain(self)
  initargs(self)
  relbind(self, dict, db)
    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 op = '<'
    Inherited from QuantEQ
str fmt = '(%s %s ANY %s)'
    Inherited from BTPredicate
NoneType constraints = None                                                                  
int contains_aggregate = 0                                                                     
int false = 0                                                                     

Class Variable Details

op

Type:
str
Value:
'<'                                                                    

Generated by Epydoc 2.0 on Mon Nov 10 15:08:32 2003 http://epydoc.sf.net