Uses of Class
kodkod.ast.ExprToIntCast.Operator

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).