Uses of Class
kodkod.ast.ExprIntCast

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.