Uses of Class
kodkod.ast.UnaryExpression.Operator

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

Uses of UnaryExpression.Operator in kodkod.ast
 

Methods in kodkod.ast that return UnaryExpression.Operator
 UnaryExpression.Operator UnaryExpression.op()
          Returns this.op.
static UnaryExpression.Operator UnaryExpression.Operator.valueOf(java.lang.String name)
          Returns the enum constant of this type with the specified name.
static UnaryExpression.Operator[] UnaryExpression.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 UnaryExpression.Operator
 Expression Expression.apply(UnaryExpression.Operator op)
          Returns the expression that results from applying the given unary operator to this.