Uses of Class
kodkod.ast.ComparisonFormula

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

Uses of ComparisonFormula in kodkod.ast.visitor
 

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