Uses of Class
kodkod.ast.IfIntExpression

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.