Uses of Class
kodkod.ast.BinaryFormula.Operator

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

Uses of BinaryFormula.Operator in kodkod.ast
 

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