|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use GraphicEdge | |
---|---|
org.graphstream.ui.graphicGraph |
Uses of GraphicEdge in org.graphstream.ui.graphicGraph |
---|
Fields in org.graphstream.ui.graphicGraph with type parameters of type GraphicEdge | |
---|---|
ArrayList<GraphicEdge> |
GraphicEdge.EdgeGroup.edges
The set of multiple edges. |
Methods in org.graphstream.ui.graphicGraph that return GraphicEdge | |
---|---|
GraphicEdge |
GraphicEdge.EdgeGroup.getEdge(int i)
I-th edge of the group. |
GraphicEdge |
GraphicSprite.getEdgeAttachment()
The edge this sprite is attached to or null if not attached to an edge. |
Methods in org.graphstream.ui.graphicGraph with parameters of type GraphicEdge | |
---|---|
void |
GraphicSprite.attachToEdge(GraphicEdge edge)
Attach this sprite to the given edge. |
void |
GraphicEdge.EdgeGroup.decrement(GraphicEdge edge)
Remove an edge from the group. |
void |
GraphicEdge.EdgeGroup.increment(GraphicEdge edge)
Add an edge in the group. |
Constructors in org.graphstream.ui.graphicGraph with parameters of type GraphicEdge | |
---|---|
GraphicEdge.EdgeGroup(GraphicEdge first,
GraphicEdge second)
Create a new edge group, starting with two edges. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |