|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ElementNotFoundException | |
---|---|
org.graphstream.graph | |
org.graphstream.graph.implementations | |
org.graphstream.ui.graphicGraph |
Uses of ElementNotFoundException in org.graphstream.graph |
---|
Methods in org.graphstream.graph that throw ElementNotFoundException | ||
---|---|---|
|
Graph.addEdge(String id,
String node1,
String node2)
Adds an undirected edge between nodes. |
|
|
Graph.addEdge(String id,
String from,
String to,
boolean directed)
Like Graph.addEdge(String, String, String) , but this edge can be
directed between the two given nodes. |
|
void |
Graph.read(String filename)
Utility method to read a graph. |
|
|
Graph.removeEdge(int fromIndex,
int toIndex)
Removes an edge between two nodes. |
|
|
Graph.removeEdge(Node node1,
Node node2)
Removes an edge between two nodes. |
|
|
Graph.removeEdge(String id)
Removes an edge knowing its identifier. |
|
|
Graph.removeEdge(String from,
String to)
Remove an edge given the identifiers of its two endpoints. |
|
|
Graph.removeNode(String id)
Remove a node using its identifier. |
Uses of ElementNotFoundException in org.graphstream.graph.implementations |
---|
Methods in org.graphstream.graph.implementations that throw ElementNotFoundException | |
---|---|
void |
AbstractGraph.read(String filename)
|
Uses of ElementNotFoundException in org.graphstream.ui.graphicGraph |
---|
Methods in org.graphstream.ui.graphicGraph that throw ElementNotFoundException | ||
---|---|---|
|
GraphicGraph.addEdge(String id,
String from,
String to)
|
|
|
GraphicGraph.addEdge(String id,
String from,
String to,
boolean directed)
|
|
|
GraphicGraph.removeEdge(String id)
|
|
Edge |
GraphicGraph.removeEdge(String sourceId,
long timeId,
String id)
|
|
Edge |
GraphicGraph.removeEdge(String sourceId,
long timeId,
String from,
String to)
|
|
|
GraphicGraph.removeEdge(String from,
String to)
|
|
|
GraphicGraph.removeNode(String id)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |