Uses of Class
proper.util.TemporaryName

Packages that use TemporaryName

proper.engine

The engine classes (all derived from Engine ) perform the actions defined by the parameters they get from the Application-classes.

Uses of TemporaryName in proper.engine

Methods in proper.engine that return TemporaryName

TemporaryName	Propagator.getTemporaryName() returns the temporary name generator
TemporaryName	Flattener.getTemporaryName() returns the temporary name generator

Methods in proper.engine with parameters of type TemporaryName

void	Propagator.setTemporaryName(TemporaryName tmpName) sets the generator for temporary names
void	Flattener.setTemporaryName(TemporaryName tmpName) sets the generator for temporary names