@ParametersAreNonnullByDefault

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

Explanation ordering package.

See: Description

Interface Summary

Interface	Description
ExplanationOrderer
NodeRenderer<N>
Tree<N>

Class Summary

Class	Description
AlphaExplanationOrderer	Orders an explanation in a flat list, sorting axioms alphabetically.
EntailedAxiomTree
ExplanationOrdererImpl	Provides ordering and indenting of explanations based on various ordering heuristics.
ExplanationOrdererImplNoManager	Provides ordering and indenting of explanations based on various ordering heuristics.
ExplanationTree
MutableTree<N>
NullExplanationOrderer	An implementation of an explanation order, which doesn't really do any ordering!.

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

Explanation ordering package.