Uses of Class
kodkod.ast.ExprToIntCast

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

Uses of ExprToIntCast in kodkod.ast.visitor
 

Methods in kodkod.ast.visitor with parameters of type ExprToIntCast
 void VoidVisitor.visit(ExprToIntCast intExpr)
          Visits the given unary integer expression.
 I ReturnVisitor.visit(ExprToIntCast intExpr)
          Visits the given unary integer expression and returns the result.
 void AbstractVoidVisitor.visit(ExprToIntCast intExpr)
          Visits intExpr.expression if this.visited(intExpr) returns false.
 IntExpression AbstractReplacer.visit(ExprToIntCast intExpr)
          Calls lookup(intExpr) and returns the cached value, if any.
 java.lang.Boolean AbstractDetector.visit(ExprToIntCast intExpr)
          Calls lookup(intExpr) and returns the cached value, if any.
 java.util.Set<T> AbstractCollector.visit(ExprToIntCast intExpr)
          Calls lookup(intExpr) and returns the cached value, if any.