public class ClassExpressionGraphClosureRenderer extends AbstractClosureRenderer implements GraphRenderer
graph, prettyPrinter, stream
Constructor and Description |
---|
ClassExpressionGraphClosureRenderer(PrintStream stream) |
ClassExpressionGraphClosureRenderer(String file) |
Modifier and Type | Method and Description |
---|---|
void |
render(OWLGraphEdge e) |
render
getStream, nl, print, print, sep, setStream, setStream
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
render
public ClassExpressionGraphClosureRenderer(PrintStream stream)
public ClassExpressionGraphClosureRenderer(String file)
public void render(OWLGraphEdge e)
render
in class AbstractClosureRenderer
Copyright © 2010–2016. All rights reserved.