Package com.clarkparsia.owlapi.explanation.io

Class ConciseExplanationRenderer

java.lang.Object

com.clarkparsia.owlapi.explanation.io.ConciseExplanationRenderer

All Implemented Interfaces:

ExplanationRenderer

public class ConciseExplanationRenderer
extends Object
implements ExplanationRenderer

Explanation renderer in concise form.

Constructor Summary

Constructors

Constructor	Description
ConciseExplanationRenderer()

Method Summary

Modifier and Type	Method	Description
void	endRendering()	end of rendering.
void	render(OWLAxiom axiom, Set<Set<OWLAxiom>> explanations)	Render.
void	startRendering(Writer writer)	Start rendering.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ConciseExplanationRenderer

public ConciseExplanationRenderer()

Method Details

startRendering

public void startRendering(Writer writer)

Description copied from interface: ExplanationRenderer

Start rendering.

Specified by:

startRendering in interface ExplanationRenderer

Parameters:

writer - the writer to use

render

public void render(OWLAxiom axiom,
 @Nonnull
 Set<Set<OWLAxiom>> explanations)

Description copied from interface: ExplanationRenderer

Render.

Specified by:

render in interface ExplanationRenderer

Parameters:

axiom - the axiom to render

explanations - the explanations to render

endRendering

public void endRendering()

Description copied from interface: ExplanationRenderer

end of rendering.

Specified by:

endRendering in interface ExplanationRenderer