java.lang.Object
org.jgrapht.nio.IntegerIdProvider<T>
- Type Parameters:
T
- the element type
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.
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
nextId
private int nextId -
idMap
-
-
Constructor Details
-
IntegerIdProvider
public IntegerIdProvider()Create a new provider -
IntegerIdProvider
public IntegerIdProvider(int nextId) Create a new provider.- Parameters:
nextId
- identifier to start from
-
-
Method Details