uk.ac.manchester.cs.owl.explanation.ordering

Interfaces

• ExplanationOrderer
• NodeRenderer
• Tree

Classes

• AlphaExplanationOrderer
• EntailedAxiomTree
• ExplanationOrdererImpl
• ExplanationTree
• MutableTree
• NullExplanationOrderer