Package org.jgrapht.ext
Class IntegerEdgeNameProvider<E>
- java.lang.Object
-
- org.jgrapht.ext.IntegerEdgeNameProvider<E>
-
- All Implemented Interfaces:
EdgeNameProvider<E>
public class IntegerEdgeNameProvider<E> extends java.lang.Object implements 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 Constructor Description IntegerEdgeNameProvider()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
clear()
Clears all cached identifiers, and resets the unique identifier counter.java.lang.String
getEdgeName(E edge)
Returns the String representation of an edge.
-
-
-
Method Detail
-
clear
public void clear()
Clears all cached identifiers, and resets the unique identifier counter.
-
getEdgeName
public java.lang.String getEdgeName(E edge)
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
-
-