public class LatexOWLObjectRenderer extends Object implements OWLObjectRenderer
Constructor and Description |
---|
LatexOWLObjectRenderer(OWLDataFactory dataFactory) |
Modifier and Type | Method and Description |
---|---|
String |
render(OWLObject object)
Renders the specified object.
|
void |
setShortFormProvider(ShortFormProvider shortFormProvider)
Sets the short form provider, which determines the short form that should be used for
entities.
|
public LatexOWLObjectRenderer(@Nonnull OWLDataFactory dataFactory)
dataFactory
- dataFactorypublic String render(@Nonnull OWLObject object)
OWLObjectRenderer
render
in interface OWLObjectRenderer
object
- The object to be rendered.public void setShortFormProvider(ShortFormProvider shortFormProvider)
OWLObjectRenderer
setShortFormProvider
in interface OWLObjectRenderer
shortFormProvider
- The short form provider to be used.Copyright © 2020 The University of Manchester. All rights reserved.