Package org.jgrapht.nio
Class IntegerIdProvider<T>
- java.lang.Object
-
- org.jgrapht.nio.IntegerIdProvider<T>
-
- Type Parameters:
T
- the element type
public class IntegerIdProvider<T> extends Object implements Function<T,String>
Assign a unique integer identifier to a set of elements. Each instance of provider maintains an internal map between every element it has ever seen and the unique integer representing that element.- Author:
- Trevor Harmon
-
-
Constructor Summary
Constructors Constructor Description IntegerIdProvider()
Create a new providerIntegerIdProvider(int nextId)
Create a new provider.
-