mcrl2::data::maintain_variables_in_rhs::assignment¶
Include file:
#include "mcrl2/data/substitutions/maintain_variables_in_rhs.h
-
class
mcrl2::data::maintain_variables_in_rhs::assignment¶ Wrapper class for internal storage and substitution updates using operator()
Protected attributes¶
-
std::set<variable_type> &
mcrl2::data::maintain_variables_in_rhs::assignment::m_scratch_set¶
-
Substitution &
mcrl2::data::maintain_variables_in_rhs::assignment::m_sigma¶
-
const variable_type &
mcrl2::data::maintain_variables_in_rhs::assignment::m_variable¶
-
std::multiset<variable_type> &
mcrl2::data::maintain_variables_in_rhs::assignment::m_variables_in_rhs¶
Public member functions¶
-
assignment(const variable_type &v, Substitution &sigma, std::multiset<variable_type> &variables_in_rhs, std::set<variable_type> &scratch_set)¶ Constructor.
Parameters:
- v A reference to the variable.
- sigma A reference to the substitution.
- variables_in_rhs Variables in the rhs of the assignments.
- scratch_set A set used for locally for computations.
-
void
operator=(const expression_type &e)¶ Actual assignment.
