|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ExprToIntCast.Operator | |
---|---|
kodkod.ast | Contains classes for creating Kodkod formulas, expressions, and integer expressions. |
Uses of ExprToIntCast.Operator in kodkod.ast |
---|
Methods in kodkod.ast that return ExprToIntCast.Operator | |
---|---|
ExprToIntCast.Operator |
ExprToIntCast.op()
Returns this.op. |
static ExprToIntCast.Operator |
ExprToIntCast.Operator.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static ExprToIntCast.Operator[] |
ExprToIntCast.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 ExprToIntCast.Operator | |
---|---|
IntExpression |
Expression.apply(ExprToIntCast.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 |