uk.ac.manchester.cs.jfact.visitors

Interfaces

• DLAxiomVisitor
• DLAxiomVisitorEx
• DLExpressionVisitor
• DLExpressionVisitorEx

Classes

• DLAxiomVisitorAdapter
• DLAxiomVisitorExAdapter
• DLExpressionVisitorAdapter
• DLExpressionVisitorExAdapter