|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.graphstream.ui.graphicGraph.GraphicEdge.EdgeGroup
public class GraphicEdge.EdgeGroup
An edge group contains the set of edges between two given nodes. This
allows to quickly know how many 'multi' edges there is between two nodes
in a multigraph and to associate invariant indices to edges (the
GraphicEdge.multi
attribute) inside the multi-representation.
Field Summary | |
---|---|
ArrayList<GraphicEdge> |
edges
The set of multiple edges. |
Constructor Summary | |
---|---|
GraphicEdge.EdgeGroup(GraphicEdge first,
GraphicEdge second)
Create a new edge group, starting with two edges. |
Method Summary | |
---|---|
void |
decrement(GraphicEdge edge)
Remove an edge from the group. |
int |
getCount()
Number of edges in this group. |
GraphicEdge |
getEdge(int i)
I-th edge of the group. |
void |
increment(GraphicEdge edge)
Add an edge in the group. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public ArrayList<GraphicEdge> edges
Constructor Detail |
---|
public GraphicEdge.EdgeGroup(GraphicEdge first, GraphicEdge second)
first
- The initial edge.second
- The second edge.Method Detail |
---|
public GraphicEdge getEdge(int i)
i
- The edge index.
public int getCount()
public void increment(GraphicEdge edge)
edge
- The edge to add.public void decrement(GraphicEdge edge)
edge
- The edge to remove.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |