Package | Description |
---|---|
org.graphstream.ui.graphicGraph |
Modifier and Type | Field and Description |
---|---|
ArrayList<GraphicEdge> |
GraphicEdge.EdgeGroup.edges
The set of multiple edges.
|
Modifier and Type | Method and Description |
---|---|
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.
|
Modifier and Type | Method and Description |
---|---|
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.
|
Constructor and Description |
---|
GraphicEdge.EdgeGroup(GraphicEdge first,
GraphicEdge second)
Create a new edge group, starting with two edges.
|
Copyright © 2015. All rights reserved.