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 voidclear()Clears all cached identifiers, and resets the unique identifier counter.java.lang.StringgetEdgeName(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:
getEdgeNamein interfaceEdgeNameProvider<E>- Parameters:
edge- the edge to be named- Returns:
- the name of the edge
-
-