public abstract class GraphRenderer extends java.lang.Object implements TopologyListener, PropertyListener
Constructor and Description |
---|
GraphRenderer(Grph g) |
Modifier and Type | Method and Description |
---|---|
void |
directedHyperEdgeAdded(Grph graph,
int edge) |
void |
directedHyperEdgeRemoved(Grph graph,
int edge,
it.unimi.dsi.fastutil.ints.IntSet src,
it.unimi.dsi.fastutil.ints.IntSet dest) |
void |
directedSimpleEdgeAdded(Grph Grph,
int edge,
int src,
int dest) |
void |
directedSimpleEdgeRemoved(Grph Grph,
int edge,
int a,
int b) |
abstract javax.swing.JComponent |
getComponent() |
Grph |
getG() |
void |
undirectedHyperEdgeAdded(Grph graph,
int edge) |
void |
undirectedHyperEdgeRemoved(Grph graph,
int edge,
it.unimi.dsi.fastutil.ints.IntSet incidentVertices) |
void |
undirectedSimpleEdgeAdded(Grph Grph,
int edge,
int a,
int b) |
void |
undirectedSimpleEdgeRemoved(Grph Grph,
int edge,
int a,
int b) |
protected abstract void |
update() |
void |
valueChanged(Property g,
int id) |
void |
vertexAdded(Grph graph,
int vertex) |
void |
vertexAddedToDirectedHyperEdgeHead(Grph Grph,
int e,
int v) |
void |
vertexAddedToDirectedHyperEdgeTail(Grph Grph,
int e,
int v) |
void |
vertexAddedToUndirectedSimpleEdge(Grph Grph,
int edge,
int vertex) |
void |
vertexRemoved(Grph graph,
int vertex) |
void |
vertexRemovedFromDirectedHyperEdgeHead(Grph g,
int e,
int v) |
void |
vertexRemovedFromDirectedHyperEdgeTail(Grph g,
int e,
int v) |
void |
vertexRemovedFromUndirectedHyperEdge(Grph g,
int edge,
int vertex) |
public GraphRenderer(Grph g)
public abstract javax.swing.JComponent getComponent()
public void vertexAdded(Grph graph, int vertex)
vertexAdded
in interface TopologyListener
protected abstract void update()
public void vertexRemoved(Grph graph, int vertex)
vertexRemoved
in interface TopologyListener
public void valueChanged(Property g, int id)
valueChanged
in interface PropertyListener
public void directedSimpleEdgeAdded(Grph Grph, int edge, int src, int dest)
directedSimpleEdgeAdded
in interface TopologyListener
public void undirectedSimpleEdgeAdded(Grph Grph, int edge, int a, int b)
undirectedSimpleEdgeAdded
in interface TopologyListener
public void undirectedHyperEdgeAdded(Grph graph, int edge)
undirectedHyperEdgeAdded
in interface TopologyListener
public void directedHyperEdgeAdded(Grph graph, int edge)
directedHyperEdgeAdded
in interface TopologyListener
public void directedSimpleEdgeRemoved(Grph Grph, int edge, int a, int b)
directedSimpleEdgeRemoved
in interface TopologyListener
public void undirectedSimpleEdgeRemoved(Grph Grph, int edge, int a, int b)
undirectedSimpleEdgeRemoved
in interface TopologyListener
public void undirectedHyperEdgeRemoved(Grph graph, int edge, it.unimi.dsi.fastutil.ints.IntSet incidentVertices)
undirectedHyperEdgeRemoved
in interface TopologyListener
public void directedHyperEdgeRemoved(Grph graph, int edge, it.unimi.dsi.fastutil.ints.IntSet src, it.unimi.dsi.fastutil.ints.IntSet dest)
directedHyperEdgeRemoved
in interface TopologyListener
public void vertexAddedToDirectedHyperEdgeTail(Grph Grph, int e, int v)
vertexAddedToDirectedHyperEdgeTail
in interface TopologyListener
public void vertexAddedToDirectedHyperEdgeHead(Grph Grph, int e, int v)
vertexAddedToDirectedHyperEdgeHead
in interface TopologyListener
public void vertexAddedToUndirectedSimpleEdge(Grph Grph, int edge, int vertex)
vertexAddedToUndirectedSimpleEdge
in interface TopologyListener
public void vertexRemovedFromUndirectedHyperEdge(Grph g, int edge, int vertex)
vertexRemovedFromUndirectedHyperEdge
in interface TopologyListener
public void vertexRemovedFromDirectedHyperEdgeTail(Grph g, int e, int v)
vertexRemovedFromDirectedHyperEdgeTail
in interface TopologyListener
public void vertexRemovedFromDirectedHyperEdgeHead(Grph g, int e, int v)
vertexRemovedFromDirectedHyperEdgeHead
in interface TopologyListener
public Grph getG()