Uses of Class
kodkod.ast.IntConstant

Packages that use IntConstant
kodkod.ast Contains classes for creating Kodkod formulas, expressions, and integer expressions. 
kodkod.ast.visitor Contains visitors for Kodkod formulas, expressions, and integer expressions. 
 

Uses of IntConstant in kodkod.ast
 

Methods in kodkod.ast that return IntConstant
static IntConstant IntConstant.constant(int value)
          Returns an IntConstant corresponding to the given value.
 

Uses of IntConstant in kodkod.ast.visitor
 

Methods in kodkod.ast.visitor with parameters of type IntConstant
 void VoidVisitor.visit(IntConstant intConst)
          Visits the given integer constant.
 I ReturnVisitor.visit(IntConstant intConst)
          Visits the given integer constant and returns the result.
 void AbstractVoidVisitor.visit(IntConstant intConst)
          Does nothing.
 IntExpression AbstractReplacer.visit(IntConstant intconst)
          Calls lookup(intconst) and returns the cached value, if any.
 java.lang.Boolean AbstractDetector.visit(IntConstant intConst)
          Returns FALSE.
 java.util.Set<T> AbstractCollector.visit(IntConstant intConst)
          Returns Collections.EMPTY_SET