mCRL2
|
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_type & | m_variable |
Substitution & | m_sigma |
std::multiset< variable_type > & | m_variables_in_rhs |
std::set< variable_type > & | m_scratch_set |
Wrapper class for internal storage and substitution updates using operator()
Definition at line 53 of file maintain_variables_in_rhs.h.
|
inline |
Constructor.
[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 67 of file maintain_variables_in_rhs.h.
|
inline |
Actual assignment.
Definition at line 78 of file maintain_variables_in_rhs.h.
|
protected |
Definition at line 59 of file maintain_variables_in_rhs.h.
|
protected |
Definition at line 57 of file maintain_variables_in_rhs.h.
|
protected |
Definition at line 56 of file maintain_variables_in_rhs.h.
|
protected |
Definition at line 58 of file maintain_variables_in_rhs.h.