|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |