mcrl2::data::mutable_indexed_substitution< VariableType, ExpressionType >::assignment Struct Reference

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

#include <mutable_indexed_substitution.h>

Public Member Functions
	assignment (const variable_type &v, mutable_indexed_substitution< VariableType, ExpressionType > &super)
	Constructor.
void	operator= (const expression_type &e)
	Actual assignment.

Public Attributes
const variable_type &	m_variable
mutable_indexed_substitution< VariableType, ExpressionType > &	m_super

Detailed Description

template<typename VariableType = data::variable, typename ExpressionType = data_expression>
struct mcrl2::data::mutable_indexed_substitution< VariableType, ExpressionType >::assignment

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

Definition at line 86 of file mutable_indexed_substitution.h.

Constructor & Destructor Documentation

assignment()

template<typename VariableType = data::variable, typename ExpressionType = data_expression>

mcrl2::data::mutable_indexed_substitution< VariableType, ExpressionType >::assignment::assignment ( const variable_type &  v, mutable_indexed_substitution< VariableType, ExpressionType > &  super  )

inline

Constructor.

Parameters

[in]	v	a variable.
[in]	super	A reference to the surrounding indexed substitution.

Definition at line 94 of file mutable_indexed_substitution.h.

Member Function Documentation

operator=()

template<typename VariableType = data::variable, typename ExpressionType = data_expression>

void mcrl2::data::mutable_indexed_substitution< VariableType, ExpressionType >::assignment::operator= ( const expression_type &  e )

inline

Actual assignment.

Definition at line 101 of file mutable_indexed_substitution.h.

Member Data Documentation

m_super

template<typename VariableType = data::variable, typename ExpressionType = data_expression>

mutable_indexed_substitution< VariableType, ExpressionType >& mcrl2::data::mutable_indexed_substitution< VariableType, ExpressionType >::assignment::m_super

Definition at line 89 of file mutable_indexed_substitution.h.

m_variable

template<typename VariableType = data::variable, typename ExpressionType = data_expression>

const variable_type& mcrl2::data::mutable_indexed_substitution< VariableType, ExpressionType >::assignment::m_variable

Definition at line 88 of file mutable_indexed_substitution.h.

---

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

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