mcrl2/data/xyz_identifier_generator.h

Include file:

#include "mcrl2/data/xyz_identifier_generator.h"

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

Classes

• mcrl2::data::xyz_identifier_generator