Package | Description |
---|---|
org.graphstream.ui.graphicGraph | |
org.graphstream.ui.view.camera |
Modifier and Type | Field and Description |
---|---|
java.util.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 |
---|
EdgeGroup(GraphicEdge first,
GraphicEdge second)
Create a new edge group, starting with two edges.
|
Modifier and Type | Method and Description |
---|---|
boolean |
DefaultCamera2D.isEdgeIn(GraphicEdge edge,
double X1,
double Y1,
double X2,
double Y2) |
boolean |
DefaultCamera2D.isEdgeVisible(GraphicEdge edge)
Check if an edge is visible in the current view port.
|