public class ConciseExplanationRenderer extends Object implements ExplanationRenderer
Constructor and Description |
---|
ConciseExplanationRenderer() |
Modifier and Type | Method and Description |
---|---|
void |
endRendering()
end of rendering.
|
void |
render(OWLAxiom axiom,
Set<Set<OWLAxiom>> explanations)
Render.
|
void |
startRendering(Writer w)
Start rendering.
|
public void startRendering(Writer w)
ExplanationRenderer
startRendering
in interface ExplanationRenderer
w
- the writer to usepublic void render(OWLAxiom axiom, Set<Set<OWLAxiom>> explanations) throws OWLException, IOException
ExplanationRenderer
render
in interface ExplanationRenderer
axiom
- the axiom to renderexplanations
- the explanations to renderOWLException
- OWL troublesIOException
- IO troublespublic void endRendering()
ExplanationRenderer
endRendering
in interface ExplanationRenderer
Copyright © 2017 The University of Manchester. All Rights Reserved.