| Interface | Description |
|---|---|
| ExplanationOrderer | |
| NodeRenderer<N> | |
| Tree<N> |
| 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.
|
| ExplanationTree | |
| MutableTree<N> | |
| NullExplanationOrderer |
An implementation of an explanation order, which doesn't really do any
ordering!.
|
Copyright © 2020 The University of Manchester. All rights reserved.