|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
ExplanationOrderer | Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 11-Jan-2008 |
Class Summary | |
---|---|
AlphaExplanationOrderer | Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 22-Jan-2008 Orders an explanation in a flat list, sorting axioms alphabetically. |
DefaultExplanationOrderer | Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 11-Jan-2008 Provides ordering and indenting of explanations based on various ordering heuristics. |
EntailedAxiomTree | Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 22-Jan-2008 |
ExplanationTree | Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 22-Jan-2008 |
NullExplanationOrderer | Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 22-Jan-2008 An implementation of an explanation order, which doesn't really do any ordering! |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |