Uses of Class
kodkod.ast.ExprIntCast.Operator

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