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

Class QuantLE

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


Quantified less equal any predicate

Method Summary
  compare(self, value, column)
    Inherited from QuantLT
  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