Uses of Class
kodkod.ast.BinaryExpression

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

Uses of BinaryExpression in kodkod.ast.visitor
 

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