Uses of Class
kodkod.ast.BinaryIntExpression

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

Uses of BinaryIntExpression in kodkod.ast.visitor
 

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