public class GraphClosureRenderer extends AbstractClosureRenderer implements GraphRenderer
graph, prettyPrinter, stream
Constructor and Description |
---|
GraphClosureRenderer(PrintStream stream) |
GraphClosureRenderer(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 GraphClosureRenderer(PrintStream stream)
public GraphClosureRenderer(String file)
public void render(OWLGraphEdge e)
render
in class AbstractClosureRenderer
Copyright © 2010–2015. All rights reserved.