|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |