@ParametersAreNonnullByDefault
See: Description
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.
|
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!.
|
Copyright © 2020 The University of Manchester. All rights reserved.