|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use IntExprCast | |
---|---|
kodkod.ast.visitor |
Uses of IntExprCast in kodkod.ast.visitor |
---|
Methods in kodkod.ast.visitor with parameters of type IntExprCast | |
---|---|
void |
VoidVisitor.visit(IntExprCast castExpr)
Visits the given integer cast expression. |
E |
ReturnVisitor.visit(IntExprCast castExpr)
Visits the given cast expression expression and returns the result. |
void |
DepthFirstVoidVisitor.visit(IntExprCast castExpr)
Visits castExpr.intExpr if this.visited(castExpr) returns false. |
Expression |
DepthFirstReplacer.visit(IntExprCast castExpr)
Calls lookup(castExpr) and returns the cached value, if any. |
java.lang.Boolean |
DepthFirstDetector.visit(IntExprCast castExpr)
Calls lookup(castExpr) and returns the cached value, if any. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |