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(OWLDataFactory dataFactory)
dataFactory - dataFactorypublic String render(OWLObject object)
OWLObjectRendererrender in interface OWLObjectRendererobject - The object to be rendered.public void setShortFormProvider(ShortFormProvider shortFormProvider)
OWLObjectRenderersetShortFormProvider in interface OWLObjectRenderershortFormProvider - The short form provider to be used.Copyright © 2020 The University of Manchester. All rights reserved.