Uses of Class
kodkod.ast.BinaryIntExpression.Operator

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

Uses of BinaryIntExpression.Operator in kodkod.ast
 

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

Constructors in kodkod.ast with parameters of type BinaryIntExpression.Operator
BinaryIntExpression(IntExpression left, BinaryIntExpression.Operator op, IntExpression right)
          Constructs a new binary int formula: left op right