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> &m_scratch_set
Substitution &m_sigma
const variable_type &m_variable
std::multiset<variable_type> &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.
  • vars Variables in the rhs of the assignments.
void operator=(const expression_type &e)

Actual assignment.