Uses of Package
kodkod.ast.visitor

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

Classes in kodkod.ast.visitor used by kodkod.ast
ReturnVisitor
          A visitor that visits every node in the AST, returning some value for each.
VoidVisitor
          A visitor that visits every node in the AST.
 

Classes in kodkod.ast.visitor used by kodkod.ast.visitor
ReturnVisitor
          A visitor that visits every node in the AST, returning some value for each.
VoidVisitor
          A visitor that visits every node in the AST.