Uses of Class
kodkod.ast.IfExpression

Packages that use IfExpression
kodkod.ast.visitor Contains visitors for Kodkod formulas, expressions, and integer expressions. 
 

Uses of IfExpression in kodkod.ast.visitor
 

Methods in kodkod.ast.visitor with parameters of type IfExpression
 void VoidVisitor.visit(IfExpression ifExpr)
          Visits the given if-then expression.
 E ReturnVisitor.visit(IfExpression ifExpr)
          Visits the given if-then expression and returns the result.
 void AbstractVoidVisitor.visit(IfExpression ifExpr)
          Visits the if-condition, the then-expression, and the else-expression if this.visited(ifExpr) returns false.
 Expression AbstractReplacer.visit(IfExpression ifExpr)
          Calls lookup(ifExpr) and returns the cached value, if any.
 java.lang.Boolean AbstractDetector.visit(IfExpression ifExpr)
          Calls lookup(ifExpr) and returns the cached value, if any.
 java.util.Set<T> AbstractCollector.visit(IfExpression ifExpr)
          Calls lookup(ifExpr) and returns the cached value, if any.