public class ConciseExplanationRenderer extends java.lang.Object implements ExplanationRenderer
Constructor and Description |
---|
ConciseExplanationRenderer() |
Modifier and Type | Method and Description |
---|---|
void |
endRendering()
end of rendering
|
void |
render(OWLAxiom axiom,
java.util.Set<java.util.Set<OWLAxiom>> explanations) |
void |
startRendering(java.io.Writer w) |
public void startRendering(java.io.Writer w)
startRendering
in interface ExplanationRenderer
w
- the writer to usepublic void render(OWLAxiom axiom, java.util.Set<java.util.Set<OWLAxiom>> explanations) throws OWLException, java.io.IOException
render
in interface ExplanationRenderer
axiom
- the axiom to renderexplanations
- the explanations to renderOWLException
- OWL troublesjava.io.IOException
- IO troublespublic void endRendering()
ExplanationRenderer
endRendering
in interface ExplanationRenderer