Uses of Class
kodkod.ast.BinaryExpression.Operator

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

Uses of BinaryExpression.Operator in kodkod.ast
 

Methods in kodkod.ast that return BinaryExpression.Operator
 BinaryExpression.Operator BinaryExpression.op()
          Returns the operator of this.
static BinaryExpression.Operator BinaryExpression.Operator.valueOf(java.lang.String name)
          Returns the enum constant of this type with the specified name.
static BinaryExpression.Operator[] BinaryExpression.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 BinaryExpression.Operator
 Expression Expression.compose(BinaryExpression.Operator op, Expression expr)
          Returns the composition of this and the specified expression, using the given binary operator.