mCRL2
Loading...
Searching...
No Matches
mcrl2::data::maintain_variables_in_rhs< Substitution >::assignment Class Reference

Wrapper class 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.
 
void operator= (const expression_type &e)
 Actual assignment.
 

Protected Attributes

const variable_typem_variable
 
Substitution & m_sigma
 
std::multiset< variable_type > & m_variables_in_rhs
 
std::set< variable_type > & m_scratch_set
 

Detailed Description

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

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

Definition at line 53 of file maintain_variables_in_rhs.h.

Constructor & Destructor Documentation

◆ assignment()

template<typename 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]vA reference to the variable.
[in]sigmaA reference to the substitution.
[in]variables_in_rhsVariables in the rhs of the assignments.
[in]scratch_setA set used for locally for computations.

Definition at line 67 of file maintain_variables_in_rhs.h.

Member Function Documentation

◆ operator=()

template<typename Substitution >
void mcrl2::data::maintain_variables_in_rhs< Substitution >::assignment::operator= ( const expression_type e)
inline

Actual assignment.

Definition at line 78 of file maintain_variables_in_rhs.h.

Member Data Documentation

◆ m_scratch_set

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

Definition at line 59 of file maintain_variables_in_rhs.h.

◆ m_sigma

template<typename Substitution >
Substitution& mcrl2::data::maintain_variables_in_rhs< Substitution >::assignment::m_sigma
protected

Definition at line 57 of file maintain_variables_in_rhs.h.

◆ m_variable

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

Definition at line 56 of file maintain_variables_in_rhs.h.

◆ m_variables_in_rhs

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

Definition at line 58 of file maintain_variables_in_rhs.h.


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