|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ComparisonFormula.Operator | |
---|---|
kodkod.ast | Contains classes for creating Kodkod formulas, expressions, and integer expressions. |
Uses of ComparisonFormula.Operator in kodkod.ast |
---|
Methods in kodkod.ast that return ComparisonFormula.Operator | |
---|---|
ComparisonFormula.Operator |
ComparisonFormula.op()
Returns the operator of this. |
static ComparisonFormula.Operator |
ComparisonFormula.Operator.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static ComparisonFormula.Operator[] |
ComparisonFormula.Operator.values()
Returns an array containing the constants of this enum type, in the order they're declared. |
Methods in kodkod.ast with parameters of type ComparisonFormula.Operator | |
---|---|
Formula |
Expression.compose(ComparisonFormula.Operator op,
Expression expr)
Returns the formula that represents the composition of this and the given expression with the given comparison operator. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |