mcrl2::lps::detail::replace_constants_by_variables_builder Struct Reference

#include <replace_constants_by_variables.h>

Inheritance diagram for mcrl2::lps::detail::replace_constants_by_variables_builder:

Public Types
typedef data::detail::replace_constants_by_variables_builder< lps::data_expression_builder >	super
Public Types inherited from mcrl2::data::detail::replace_constants_by_variables_builder< lps::data_expression_builder >
typedef lps::data_expression_builder< replace_constants_by_variables_builder< lps::data_expression_builder > >	super

Public Member Functions
	replace_constants_by_variables_builder (const data::rewriter &r, data::mutable_indexed_substitution<> &sigma)
Public Member Functions inherited from mcrl2::data::detail::replace_constants_by_variables_builder< lps::data_expression_builder >
bool	is_constant (const data::data_expression &x) const
	replace_constants_by_variables_builder (const data::rewriter &r_, data::mutable_indexed_substitution<> &sigma_)
void	apply (T &result, const data::application &x)

Additional Inherited Members
Public Attributes inherited from mcrl2::data::detail::replace_constants_by_variables_builder< lps::data_expression_builder >
data::set_identifier_generator	id_generator
std::unordered_map< data::data_expression, data::variable >	substitutions
const data::rewriter &	r
data::mutable_indexed_substitution &	sigma

Detailed Description

Definition at line 24 of file replace_constants_by_variables.h.

Member Typedef Documentation

super

typedef data::detail::replace_constants_by_variables_builder<lps::data_expression_builder> mcrl2::lps::detail::replace_constants_by_variables_builder::super

Definition at line 26 of file replace_constants_by_variables.h.

Constructor & Destructor Documentation

replace_constants_by_variables_builder()

mcrl2::lps::detail::replace_constants_by_variables_builder::replace_constants_by_variables_builder ( const data::rewriter &  r, data::mutable_indexed_substitution<> &  sigma  )

inline

Definition at line 30 of file replace_constants_by_variables.h.

---

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

• lps/include/mcrl2/lps/replace_constants_by_variables.h