#include <enumerator_identifier_generator.h>
◆ enumerator_identifier_generator()
mcrl2::data::enumerator_identifier_generator::enumerator_identifier_generator |
( |
const std::string & |
prefix = "x_" | ) |
|
|
inlineexplicit |
Constructor.
- Parameters
-
prefix | The prefix of the generated generated strings |
- Precondition
- The prefix may not be empty, and it may not have trailing digits
Definition at line 39 of file enumerator_identifier_generator.h.
◆ clear()
void mcrl2::data::enumerator_identifier_generator::clear |
( |
| ) |
|
|
inline |
◆ operator()()
The documentation for this class was generated from the following file: