public class GraphVizPNGGrphRenderer extends GraphRenderer
Constructor and Description |
---|
GraphVizPNGGrphRenderer(Grph g) |
Modifier and Type | Method and Description |
---|---|
javax.swing.JComponent |
getComponent() |
javax.swing.JComponent |
toGraphvizPNGAWTComponent() |
protected void |
update() |
directedHyperEdgeAdded, directedHyperEdgeRemoved, directedSimpleEdgeAdded, directedSimpleEdgeRemoved, getG, undirectedHyperEdgeAdded, undirectedHyperEdgeRemoved, undirectedSimpleEdgeAdded, undirectedSimpleEdgeRemoved, valueChanged, vertexAdded, vertexAddedToDirectedHyperEdgeHead, vertexAddedToDirectedHyperEdgeTail, vertexAddedToUndirectedSimpleEdge, vertexRemoved, vertexRemovedFromDirectedHyperEdgeHead, vertexRemovedFromDirectedHyperEdgeTail, vertexRemovedFromUndirectedHyperEdge
public GraphVizPNGGrphRenderer(Grph g)
public javax.swing.JComponent toGraphvizPNGAWTComponent()
public javax.swing.JComponent getComponent()
getComponent
in class GraphRenderer
protected void update()
update
in class GraphRenderer