Uses of Class
kodkod.ast.UnaryIntExpression.Operator

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

Uses of UnaryIntExpression.Operator in kodkod.ast
 

Methods in kodkod.ast that return UnaryIntExpression.Operator
 UnaryIntExpression.Operator UnaryIntExpression.op()
          Returns the operator of this.
static UnaryIntExpression.Operator UnaryIntExpression.Operator.valueOf(java.lang.String name)
          Returns the enum constant of this type with the specified name.
static UnaryIntExpression.Operator[] UnaryIntExpression.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 UnaryIntExpression.Operator
 IntExpression IntExpression.apply(UnaryIntExpression.Operator op)
          Returns an expression that represents the application of the given unary operator to this integer expression.