mcrl2::data::maintain_variables_in_rhs< Substitution >::assignment Class Reference

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

#include <maintain_variables_in_rhs.h>

Public Member Functions
	assignment (const variable_type &v, Substitution &sigma, std::multiset< variable_type > &variables_in_rhs, std::set< variable_type > &scratch_set)
	Constructor.
assignment &	operator= (const expression_type &e)
	Actual assignment.

Protected Attributes
const variable_type &	m_variable
Substitution &	m_sigma
std::multiset< variable_type > &	m_variables_in_rhs
std::set< variable_type > &	m_scratch_set

Detailed Description

template<IsSubstitution Substitution>
class mcrl2::data::maintain_variables_in_rhs< Substitution >::assignment

Wrapper clas s for internal storage and substitution updates using operator()

Definition at line 50 of file maintain_variables_in_rhs.h.

Constructor & Destructor Documentation

assignment()

template<IsSubstitution Substitution>

mcrl2::data::maintain_variables_in_rhs< Substitution >::assignment::assignment ( const variable_type &  v, Substitution &  sigma, std::multiset< variable_type > &  variables_in_rhs, std::set< variable_type > &  scratch_set  )

inline

Constructor.

Parameters

[in]	v	A reference to the variable.
[in]	sigma	A reference to the substitution.
[in]	variables_in_rhs	Variables in the rhs of the assignments.
[in]	scratch_set	A set used for locally for computations.

Definition at line 64 of file maintain_variables_in_rhs.h.

Member Function Documentation

operator=()

template<IsSubstitution Substitution>

assignment & mcrl2::data::maintain_variables_in_rhs< Substitution >::assignment::operator= ( const expression_type &  e )

inline

Actual assignment.

Definition at line 75 of file maintain_variables_in_rhs.h.

Member Data Documentation

m_scratch_set

template<IsSubstitution Substitution>

std::set<variable_type>& mcrl2::data::maintain_variables_in_rhs< Substitution >::assignment::m_scratch_set

protected

Definition at line 56 of file maintain_variables_in_rhs.h.

m_sigma

template<IsSubstitution Substitution>

Substitution& mcrl2::data::maintain_variables_in_rhs< Substitution >::assignment::m_sigma

protected

Definition at line 54 of file maintain_variables_in_rhs.h.

m_variable

template<IsSubstitution Substitution>

const variable_type& mcrl2::data::maintain_variables_in_rhs< Substitution >::assignment::m_variable

protected

Definition at line 53 of file maintain_variables_in_rhs.h.

m_variables_in_rhs

template<IsSubstitution Substitution>

std::multiset<variable_type>& mcrl2::data::maintain_variables_in_rhs< Substitution >::assignment::m_variables_in_rhs

protected

Definition at line 55 of file maintain_variables_in_rhs.h.

---

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

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