public class GraphView extends Display
GraphView(Graph g, java.lang.String label)
void
setGraph(Graph g, java.lang.String label)
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public GraphView(Graph g, java.lang.String label)
public void setGraph(Graph g, java.lang.String label)