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 and Description
ConciseExplanationRenderer()

Method Summary

Modifier and Type	Method and 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 Detail

ConciseExplanationRenderer

public ConciseExplanationRenderer()

Method Detail

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