Uses of Class
kodkod.ast.QuantifiedFormula

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

Uses of QuantifiedFormula in kodkod.ast.visitor
 

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