Uses of Class
kodkod.ast.ConstantFormula

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

Uses of ConstantFormula in kodkod.ast.visitor
 

Methods in kodkod.ast.visitor with parameters of type ConstantFormula
 void VoidVisitor.visit(ConstantFormula constant)
          Visits the given constant formula.
 F ReturnVisitor.visit(ConstantFormula constant)
          Visits the given constant formula and returns the result.
 void AbstractVoidVisitor.visit(ConstantFormula constant)
          Does nothing.
 Formula AbstractReplacer.visit(ConstantFormula constant)
          Calls lookup(constant) and returns the cached value, if any.
 java.lang.Boolean AbstractDetector.visit(ConstantFormula constant)
          Returns FALSE.
 java.util.Set<T> AbstractCollector.visit(ConstantFormula constant)
          Returns Collections.EMPTY_SET