Package org.jgrapht.ext
Class IntegerEdgeNameProvider<E>
java.lang.Object
org.jgrapht.ext.IntegerEdgeNameProvider<E>
- All Implemented Interfaces:
EdgeNameProvider<E>
Assigns a unique integer to represent each edge. Each instance of
IntegerEdgeNameProvider maintains an internal map between every edge it has
ever seen and the unique integer representing that edge. As a result it is
probably desirable to have a separate instance for each distinct graph.
- Author:
- Trevor Harmon
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
clear()
Clears all cached identifiers, and resets the unique identifier counter.getEdgeName
(E edge) Returns the String representation of an edge.
-
Constructor Details
-
IntegerEdgeNameProvider
public IntegerEdgeNameProvider()
-
-
Method Details
-
clear
public void clear()Clears all cached identifiers, and resets the unique identifier counter. -
getEdgeName
Returns the String representation of an edge.- Specified by:
getEdgeName
in interfaceEdgeNameProvider<E>
- Parameters:
edge
- the edge to be named- Returns:
- the name of the edge
-