org.coode.owlapi.latex

Class LatexOWLObjectRenderer

java.lang.Object

org.coode.owlapi.latex.LatexOWLObjectRenderer

All Implemented Interfaces:

OWLObjectRenderer

public class LatexOWLObjectRenderer
extends Object
implements OWLObjectRenderer

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 25-Nov-2007

Constructor Summary

Constructors

Constructor and Description
LatexOWLObjectRenderer(OWLDataFactory dataFactory)

Method Summary

Methods

Modifier and Type	Method and Description
String	render(OWLObject object)
void	setShortFormProvider(ShortFormProvider shortFormProvider)

Methods inherited from class java.lang.Object

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

Constructor Detail

LatexOWLObjectRenderer

public LatexOWLObjectRenderer(OWLDataFactory dataFactory)

Method Detail

render

public String render(OWLObject object)

Specified by:

render in interface OWLObjectRenderer

setShortFormProvider

public void setShortFormProvider(ShortFormProvider shortFormProvider)

Specified by:

setShortFormProvider in interface OWLObjectRenderer