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