UniqueIdGenerator (Sosy-Lab Common Library)

java.lang.Object
- org.sosy_lab.common.UniqueIdGenerator

```
public final class UniqueIdGenerator
extends Object
```
Utility class for generating unique. This class is fully thread-safe.
It gives out at most MAX_INT ids, afterwards it throws an exception.

- Constructor Summary
  
  Constructors
  Constructor Description
  
  UniqueIdGenerator()
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  int getFreshId()
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - UniqueIdGenerator
```
public UniqueIdGenerator()
```
- Method Detail
  - getFreshId
```
public int getFreshId()
```