Uses of Class
kodkod.ast.IntToExprCast

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

Uses of IntToExprCast in kodkod.ast.visitor
 

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