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