Uses of Class
kodkod.ast.NotFormula

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

Uses of NotFormula in kodkod.ast.visitor
 

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