xyz_identifier_generator.h File Reference

Class that generates identifiers in the range X, Y, Z, X0, Y0, Z0, X1, ... More...

Go to the source code of this file.

Classes
class	mcrl2::data::xyz_identifier_generator
	Identifier generator that generates names from the range X, Y, Z, X0, Y0, Z0, X1, ... More...

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::data
	Namespace for all data library functionality.

Detailed Description

Class that generates identifiers in the range X, Y, Z, X0, Y0, Z0, X1, ...

Definition in file xyz_identifier_generator.h.