Uses of Class
org.graphstream.graph.ElementNotFoundException

Packages that use ElementNotFoundException

Package	Description
org.graphstream.graph
org.graphstream.ui.graphicGraph

Uses of ElementNotFoundException in org.graphstream.graph

Methods in org.graphstream.graph that throw ElementNotFoundException

Modifier and Type	Method and Description
default Edge	Graph.addEdge(java.lang.String id, java.lang.String node1, java.lang.String node2) Adds an undirected edge between nodes.
default Edge	Graph.addEdge(java.lang.String id, java.lang.String from, java.lang.String to, boolean directed) Like Graph.addEdge(String, String, String), but this edge can be directed between the two given nodes.
default void	Graph.read(java.lang.String filename) Utility method to read a graph.
default Edge	Graph.removeEdge(int fromIndex, int toIndex) Removes an edge between two nodes.
Edge	Graph.removeEdge(Node node1, Node node2) Removes an edge between two nodes.
default Edge	Graph.removeEdge(java.lang.String id) Removes an edge knowing its identifier.
default Edge	Graph.removeEdge(java.lang.String from, java.lang.String to) Remove an edge given the identifiers of its two endpoints.
default Node	Graph.removeNode(java.lang.String id) Remove a node using its identifier.

Uses of ElementNotFoundException in org.graphstream.ui.graphicGraph

Methods in org.graphstream.ui.graphicGraph that throw ElementNotFoundException

Modifier and Type	Method and Description
Edge	GraphicGraph.addEdge(java.lang.String id, java.lang.String from, java.lang.String to, boolean directed)
Edge	GraphicGraph.removeEdge(java.lang.String id)
Edge	GraphicGraph.removeEdge(java.lang.String from, java.lang.String to)
Node	GraphicGraph.removeNode(java.lang.String id)