Uses of Class
kodkod.ast.Comprehension

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

Uses of Comprehension in kodkod.ast.visitor
 

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