public interface ExplanationRenderer
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 writer) |
void startRendering(java.io.Writer writer) throws OWLException, java.io.IOException
writer
- the writer to useOWLException
- OWL troublesjava.io.IOException
- IO troublesvoid render(OWLAxiom axiom, java.util.Set<java.util.Set<OWLAxiom>> explanations) throws OWLException, java.io.IOException
axiom
- the axiom to renderexplanations
- the explanations to renderOWLException
- OWL troublesjava.io.IOException
- IO troublesvoid endRendering() throws OWLException, java.io.IOException
OWLException
- OWL troublesjava.io.IOException
- IO troubles