Uses of Class
kodkod.ast.BinaryFormula

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

Uses of BinaryFormula in kodkod.ast.visitor
 

Methods in kodkod.ast.visitor with parameters of type BinaryFormula
 void VoidVisitor.visit(BinaryFormula binFormula)
          Visits the given binary formula.
 F ReturnVisitor.visit(BinaryFormula binFormula)
          Visits the given binary formula and returns the result.
 void AbstractVoidVisitor.visit(BinaryFormula binFormula)
          Visits the left and right children if this.visited(binFormula) returns false.
 Formula AbstractReplacer.visit(BinaryFormula binFormula)
          Calls lookup(binFormula) and returns the cached value, if any.
 java.lang.Boolean AbstractDetector.visit(BinaryFormula binFormula)
          Calls lookup(binFormula) and returns the cached value, if any.
 java.util.Set<T> AbstractCollector.visit(BinaryFormula binFormula)
          Calls lookup(binFormula) and returns the cached value, if any.