Interface | Description |
---|---|
ExplanationOrderer |
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 | |
NullExplanationOrderer |
An implementation of an explanation order, which doesn't really do any
ordering!
|
Copyright © 2017 The University of Manchester. All Rights Reserved.