mcrl2::data::xyz_identifier_generator

Include file:

#include "mcrl2/data/xyz_identifier_generator.h
class mcrl2::data::xyz_identifier_generator

Identifier generator that generates names from the range X, Y, Z, X0, Y0, Z0, X1, …

Protected attributes

char mcrl2::data::xyz_identifier_generator::m_char

The character of the last generated identifier.

int mcrl2::data::xyz_identifier_generator::m_index

The index of the last generated identifier.

Protected member functions

std::string next()

Returns the next name in the range X, Y, Z, X0, Y0, Z0, X1, …

Returns: The next name in the range X, Y, Z, X0, Y0, Z0, X1, …

Public member functions

core::identifier_string operator()(const std::string &hint, bool add_to_context = true)

Returns hint if it isn’t in the context yet. Else the next available identifier in the range X, Y, Z, X0, Y0, Z0, X1, … is returned.

Parameters:

  • hint A string

  • add_to_context If true, the generated identifier is added to the context, it is not added otherwise.

Returns: A fresh identifier.

xyz_identifier_generator()

Constructor.

xyz_identifier_generator(const std::set<core::identifier_string> &ids)

Constructor.

Parameters:

  • ids a set of identifiers to use as context