|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use IfIntExpression | |
---|---|
kodkod.ast.visitor | Contains visitors for Kodkod formulas, expressions, and integer expressions. |
Uses of IfIntExpression in kodkod.ast.visitor |
---|
Methods in kodkod.ast.visitor with parameters of type IfIntExpression | |
---|---|
void |
VoidVisitor.visit(IfIntExpression intExpr)
Visits the given if-int-expression. |
I |
ReturnVisitor.visit(IfIntExpression intExpr)
Visits the given if-int-expression and returns the result. |
void |
AbstractVoidVisitor.visit(IfIntExpression intExpr)
Visits the if-condition, the then-expression, and the else-expression if this.visited(intExpr) returns false. |
IntExpression |
AbstractReplacer.visit(IfIntExpression intExpr)
Calls lookup(intExpr) and returns the cached value, if any. |
java.lang.Boolean |
AbstractDetector.visit(IfIntExpression intExpr)
Calls lookup(intExpr) and returns the cached value, if any. |
java.util.Set<T> |
AbstractCollector.visit(IfIntExpression intExpr)
Calls lookup(intExpr) and returns the cached value, if any. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |