public final class AlphaExplanationOrderer extends java.lang.Object implements ExplanationOrderer
Modifier and Type | Field and Description |
---|---|
protected OWLObjectRenderer |
renderer |
Constructor and Description |
---|
AlphaExplanationOrderer(OWLObjectRenderer renderer) |
Modifier and Type | Method and Description |
---|---|
ExplanationTree |
getOrderedExplanation(OWLAxiom entailment,
java.util.Set<OWLAxiom> axioms)
Gets an ordered (and possibly indented) explanation.
|
protected final OWLObjectRenderer renderer
public AlphaExplanationOrderer(OWLObjectRenderer renderer)
renderer
- the renderer to usepublic ExplanationTree getOrderedExplanation(OWLAxiom entailment, java.util.Set<OWLAxiom> axioms)
ExplanationOrderer
getOrderedExplanation
in interface ExplanationOrderer
entailment
- The axiom that represents the entailment that the explanation
being ordered is a justification for.axioms
- The axioms that constitute the unordered explanation