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.