Uses of Package
util

Packages that use util

Package	Description
sdd
util

Classes in util used by sdd

Class and Description
DotStream A DotStream, i.e., a dot stream, is an interface for saving graphviz files.
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.

Classes in util used by util

Class and 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.
Pair A simple class to manipulate a pair of elements.
PseudoRandom A Pseudo Random object is an object able to generate a pseudo random integer value.