Logo Search packages:      
Sourcecode: gadfly version File versions  Download package

gadfly::semantics::QuantLT Class Reference

Inheritance diagram for gadfly::semantics::QuantLT:

gadfly::semantics::QuantEQ gadfly::semantics::NontrivialEqPred gadfly::semantics::BTPredicate gadfly::semantics::SimpleRecursive gadfly::semantics::QuantGE gadfly::semantics::QuantGT gadfly::semantics::QuantLE

List of all members.

Detailed Description

Quantified less than any predicate

Definition at line 2223 of file semantics.py.

Public Member Functions

def __and__
def __call__
def __cmp__
def __hash__
def __init__
def __init__
def __invert__
def __or__
def __repr__
def compare
def demarshal
def detrivialize
def domain
def hash
def initargs
def marshaldata
def negated_constraints
def relbind
def uncache

Public Attributes


Static Public Attributes

 constraints = None
int false = 0
string fmt = "(%s %s ANY %s)"
string op = "<"

The documentation for this class was generated from the following file:

Generated by  Doxygen 1.6.0   Back to index