mcrl2::lps::detail::data_equation_argument_generator

Include file:

#include "mcrl2/lps/lpsparunfoldlib.h

class mcrl2::lps::detail::data_equation_argument_generator

Fresh variable generator for the arguments of a function symbol.

Intended for use to generate variables in the left hand side of a data equation. Therefore, reuse of fresh variables is allowed in multiple equations. This generator reuses such variable names.

Protected attributes

data::set_identifier_generator &mcrl2::lps::detail::data_equation_argument_generator::m_identifier_generator

std::map<data::sort_expression, data::variable_vector> mcrl2::lps::detail::data_equation_argument_generator::m_variables

Public member functions

data::variable_vector arguments(const data::function_symbol &f)

Generate argument variables for f.

data_equation_argument_generator(data::set_identifier_generator &identifier_generator)