Uses of Class
kodkod.ast.ProjectExpression

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

Uses of ProjectExpression in kodkod.ast.visitor
 

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