Uses of Class
kodkod.ast.SumExpression

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

Uses of SumExpression in kodkod.ast.visitor
 

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