Fresh variable generator for the arguments of a function symbol. More...

#include <lpsparunfoldlib.h>

Public Member Functions
	data_equation_argument_generator (data::set_identifier_generator &identifier_generator)

data::variable_vector	arguments (const data::function_symbol &f)
	Generate argument variables for f.

Protected Attributes
data::set_identifier_generator &	m_identifier_generator

std::map< data::sort_expression, data::variable_vector >	m_variables

Detailed Description

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.

Definition at line 48 of file lpsparunfoldlib.h.

Constructor & Destructor Documentation

◆ data_equation_argument_generator()

mcrl2::lps::detail::data_equation_argument_generator::data_equation_argument_generator ( data::set_identifier_generator & identifier_generator )

inline

Definition at line 51 of file lpsparunfoldlib.h.

Member Function Documentation

◆ arguments()

data::variable_vector mcrl2::lps::detail::data_equation_argument_generator::arguments ( const data::function_symbol & f )

inline

Generate argument variables for f.

Definition at line 57 of file lpsparunfoldlib.h.

Member Data Documentation

◆ m_identifier_generator

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

protected

Definition at line 86 of file lpsparunfoldlib.h.

◆ m_variables

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

protected

Definition at line 87 of file lpsparunfoldlib.h.

The documentation for this class was generated from the following file:

lps/include/mcrl2/lps/lpsparunfoldlib.h

Public Member Functions

Protected Attributes