mcrl2::data::mutable_map_substitution< AssociativeContainer >::assignment Struct Reference

Wrapper class for internal storage and substitution updates using operator() More...

#include <mutable_map_substitution.h>

Public Member Functions
	assignment (typename AssociativeContainer::key_type v, AssociativeContainer &m)
	Constructor.
template<typename AssignableToExpression >
assignment &	operator= (AssignableToExpression const &e)

Public Attributes
AssociativeContainer::key_type	m_variable
AssociativeContainer &	m_map

Detailed Description

template<typename AssociativeContainer = std::map<variable,data_expression>>
struct mcrl2::data::mutable_map_substitution< AssociativeContainer >::assignment

Wrapper class for internal storage and substitution updates using operator()

Definition at line 47 of file mutable_map_substitution.h.

Constructor & Destructor Documentation

assignment()

template<typename AssociativeContainer = std::map<variable,data_expression>>

mcrl2::data::mutable_map_substitution< AssociativeContainer >::assignment::assignment ( typename AssociativeContainer::key_type  v, AssociativeContainer &  m  )

inline

Constructor.

Parameters

[in]	v	a variable.
[in]	m	a mapping of variables to expressions.

Definition at line 56 of file mutable_map_substitution.h.

Member Function Documentation

operator=()

template<typename AssociativeContainer = std::map<variable,data_expression>>

template<typename AssignableToExpression >

assignment & mcrl2::data::mutable_map_substitution< AssociativeContainer >::assignment::operator= ( AssignableToExpression const &  e )

inline

Definition at line 61 of file mutable_map_substitution.h.

Member Data Documentation

m_map

template<typename AssociativeContainer = std::map<variable,data_expression>>

AssociativeContainer& mcrl2::data::mutable_map_substitution< AssociativeContainer >::assignment::m_map

Definition at line 50 of file mutable_map_substitution.h.

m_variable

template<typename AssociativeContainer = std::map<variable,data_expression>>

AssociativeContainer::key_type mcrl2::data::mutable_map_substitution< AssociativeContainer >::assignment::m_variable

Definition at line 49 of file mutable_map_substitution.h.

---

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

• data/include/mcrl2/data/substitutions/mutable_map_substitution.h