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

gadfly::semantics::NontrivialEqPred Class Reference

Inheritance diagram for gadfly::semantics::NontrivialEqPred:

gadfly::semantics::BTPredicate gadfly::semantics::SimpleRecursive gadfly::semantics::BetweenPredicate gadfly::semantics::ExistsPred gadfly::semantics::InLits gadfly::semantics::QuantEQ gadfly::semantics::QuantLT gadfly::semantics::QuantNE gadfly::semantics::QuantGE gadfly::semantics::QuantGT gadfly::semantics::QuantLE

List of all members.

Detailed Description

equation of nontrivial expressions.

Definition at line 1847 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 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 op = "=="

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

Generated by  Doxygen 1.6.0   Back to index