Constraint class
Arithmetic and logic constraints on abstract expressions
❱ Methods
Constraint invert()
Returns the invert of the constraint
❱ Operators
Constraint __and__( Constraint c1, Constraint c2)
Create the constraint c1 AND c2
Constraint __or__( Constraint c1, Constraint c2)
Create the constraint c1 OR c2
Constraint __inv__( Constraint c)
Create the constraint NOT c. Equivalent to Constraint.invert()
Constraint __eq__(e1, e2)
Create the constraint e1 == e2. Parameters can be Value or int
Constraint __ne__(e1, e2)
Create the constraint e1 != e2. Parameters can be Value or int
Constraint __lt__(e1, e2)
Create the constraint e1 < e2. Parameters can be Value or int
Constraint __le__(e1, e2)
Create the constraint e1 <= e2. Parameters can be Value or int
Constraint __gt__(e1, e2)
Create the constraint e1 > e2. Parameters can be Value or int
Constraint __ge__(e1, e2)
Create the constraint e1 >= e2. Parameters can be Value or int