Uses of Class
kodkod.ast.ComparisonFormula.Operator

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.