Uses of Class
kodkod.ast.IntExprCast

Packages that use IntExprCast
kodkod.ast.visitor   
 

Uses of IntExprCast in kodkod.ast.visitor
 

Methods in kodkod.ast.visitor with parameters of type IntExprCast
 void VoidVisitor.visit(IntExprCast castExpr)
          Visits the given integer cast expression.
 E ReturnVisitor.visit(IntExprCast castExpr)
          Visits the given cast expression expression and returns the result.
 void DepthFirstVoidVisitor.visit(IntExprCast castExpr)
          Visits castExpr.intExpr if this.visited(castExpr) returns false.
 Expression DepthFirstReplacer.visit(IntExprCast castExpr)
          Calls lookup(castExpr) and returns the cached value, if any.
 java.lang.Boolean DepthFirstDetector.visit(IntExprCast castExpr)
          Calls lookup(castExpr) and returns the cached value, if any.