Uses of Class
kodkod.ast.ConstantExpression

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

Uses of ConstantExpression in kodkod.ast.visitor
 

Methods in kodkod.ast.visitor with parameters of type ConstantExpression
 void VoidVisitor.visit(ConstantExpression constExpr)
          Visits the given constant expression.
 E ReturnVisitor.visit(ConstantExpression constExpr)
          Visits the given constant expression and returns the result.
 void AbstractVoidVisitor.visit(ConstantExpression constExpr)
          Does nothing.
 Expression AbstractReplacer.visit(ConstantExpression constExpr)
          Calls lookup(constExpr) and returns the cached value, if any.
 java.lang.Boolean AbstractDetector.visit(ConstantExpression constExpr)
          Returns FALSE.
 java.util.Set<T> AbstractCollector.visit(ConstantExpression constExpr)
          Returns Collections.EMPTY_SET