public final class StringRenderer extends Object
Modifier and Type | Class and Description |
---|---|
static class |
StringRenderer.Rendering |
Constructor and Description |
---|
StringRenderer() |
Modifier and Type | Method and Description |
---|---|
static org.semanticweb.owlapi.io.OWLObjectRenderer |
getRenderer() |
static void |
setRenderer(org.semanticweb.owlapi.io.OWLObjectRenderer r) |
static void |
setRenderer(String syntax) |
static void |
setRenderer(StringRenderer.Rendering r) |
static void |
setShortFormProvider(org.semanticweb.owlapi.util.ShortFormProvider shortFormProvider) |
public StringRenderer()
public static void setRenderer(StringRenderer.Rendering r)
public static void setRenderer(org.semanticweb.owlapi.io.OWLObjectRenderer r)
public static void setRenderer(String syntax)
public static org.semanticweb.owlapi.io.OWLObjectRenderer getRenderer()
public static void setShortFormProvider(org.semanticweb.owlapi.util.ShortFormProvider shortFormProvider)
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann