Uses of Class
kodkod.ast.IntComparisonFormula

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

Uses of IntComparisonFormula in kodkod.ast.visitor
 

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