Hierarchy For Package kodkod.ast.visitor

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • kodkod.ast.visitor.AbstractCollector<T> (implements kodkod.ast.visitor.ReturnVisitor<E,F,D,I>)
  • kodkod.ast.visitor.AbstractDetector (implements kodkod.ast.visitor.ReturnVisitor<E,F,D,I>)
  • kodkod.ast.visitor.AbstractReplacer (implements kodkod.ast.visitor.ReturnVisitor<E,F,D,I>)
  • kodkod.ast.visitor.AbstractVoidVisitor (implements kodkod.ast.visitor.VoidVisitor)

Interface Hierarchy

• kodkod.ast.visitor.ReturnVisitor<E,F,D,I>
• kodkod.ast.visitor.VoidVisitor