Package | Description |
---|---|
lavesdk.algorithm.plugin.views |
Modifier and Type | Method and Description |
---|---|
protected GraphView.VisualEdge |
GraphView.createVisualEdge(GraphView.VisualVertex predecessor,
GraphView.VisualVertex successor)
Adds a new (undirected) visual edge to the graph between two specified vertices.
|
protected GraphView.VisualEdge |
GraphView.createVisualEdge(GraphView.VisualVertex predecessor,
GraphView.VisualVertex successor,
boolean directed)
Adds a new visual edge to the graph between two specified vertices.
|
GraphView.VisualEdge |
GraphView.getEdgeFromPosition(int x,
int y)
Gets an edge from the given position.
|
GraphView.VisualEdge |
GraphView.getSelectedEdge(int index)
Gets the selected edge at the given index.
|
GraphView.VisualEdge |
GraphView.getVisualEdge(Edge e)
Gets the visual edge of a given edge.
|
GraphView.VisualEdge |
GraphView.getVisualEdge(int index)
Gets the visual edge at the given index.
|
GraphView.VisualEdge |
GraphView.getVisualEdgeByID(int id)
Gets the visual edge of a given edge id.
|
Modifier and Type | Method and Description |
---|---|
protected void |
GraphView.afterVisualEdgeCreated(GraphView.VisualEdge ve)
This method is invoked after a new visual edge is created using graphical input by the user.
|
void |
GraphViewListener.edgeAdded(GraphView.VisualEdge edge)
A new edge is added to the graph.
|
void |
GraphViewListener.edgeRemoved(GraphView.VisualEdge edge)
An edge is removed from the graph view.
|
void |
GraphViewListener.edgeSelected(GraphView.VisualEdge edge)
An edge is selected in the graph view.
|
protected void |
GraphView.removeVisualEdge(GraphView.VisualEdge e)
Removes a visual edge of the graph.
|
void |
GraphView.selectEdge(GraphView.VisualEdge e,
boolean multiSelect)
Selects a visual edge.
|
Modifier and Type | Method and Description |
---|---|
void |
GraphView.selectEdges(java.util.List<GraphView.VisualEdge> edges)
Selects all visual edges in the list.
|