Uses of Class
kodkod.ast.IntComparisonFormula.Operator

Packages that use IntComparisonFormula.Operator
kodkod.ast Contains classes for creating Kodkod formulas, expressions, and integer expressions. 
 

Uses of IntComparisonFormula.Operator in kodkod.ast
 

Methods in kodkod.ast that return IntComparisonFormula.Operator
 IntComparisonFormula.Operator IntComparisonFormula.op()
          Returns the operator of this.
static IntComparisonFormula.Operator IntComparisonFormula.Operator.valueOf(java.lang.String name)
          Returns the enum constant of this type with the specified name.
static IntComparisonFormula.Operator[] IntComparisonFormula.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 IntComparisonFormula.Operator
 Formula IntExpression.compare(IntComparisonFormula.Operator op, IntExpression intexpr)
          Returns a formula comparing this and the given integer expression using the specified operatior.