| Interface | Description |
|---|---|
| IntegerTokenizer |
An integer tokenizer is a stream of integers.
|
| NameGenerator |
A name generator is an object that generate String names
that are guaranteed to be all different.
|
| PseudoRandom |
A Pseudo Random object is an object able to generate a pseudo random
integer value.
|
| Class | Description |
|---|---|
| DimacsTokenizer |
The integer tokenizer that reads a file in Dimacs format.
|
| DotStream |
A DotStream, i.e., a dot stream,
is an interface for saving graphviz files.
|
| IdentityMap<K> | |
| Mersenne |
An implementation of Mersenne twister.
|
| NumberedNameGenerator |
A numbered name generator is a name generator
that generates names of the type "Xx"
where "X" is a fixed (specified) prefix
and "x" is a counter.
|
| Pair<C1,C2> |
A simple class to manipulate a pair of elements.
|