Uses of Class
kodkod.ast.MultiplicityFormula

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

Uses of MultiplicityFormula in kodkod.ast.visitor
 

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