kodkod.ast.visitor
Interfaces
ReturnVisitor
VoidVisitor
Classes
AbstractCollector
AbstractDetector
AbstractReplacer
AbstractVoidVisitor