|
||||||||||
| 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 | |||||||||