|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ExprIntCast.Operator | |
---|---|
kodkod.ast |
Uses of ExprIntCast.Operator in kodkod.ast |
---|
Methods in kodkod.ast that return ExprIntCast.Operator | |
---|---|
ExprIntCast.Operator |
ExprIntCast.op()
Returns this.op. |
static ExprIntCast.Operator |
ExprIntCast.Operator.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static ExprIntCast.Operator[] |
ExprIntCast.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 ExprIntCast.Operator | |
---|---|
IntExpression |
Expression.apply(ExprIntCast.Operator op)
Returns the cast of this expression to an integer expression, that represents either the cardinality of this expression (if op is CARDINALITY) or the sum of the integer atoms it contains (if op is SUM). |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |