|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |