mcrl2::pbes_system::propositional_variable_substitution::assignment

Include file:

#include "mcrl2/pbes/substitutions.h

class mcrl2::pbes_system::propositional_variable_substitution::assignment

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

Private attributes

map_type &mcrl2::pbes_system::propositional_variable_substitution::assignment::m_map

const propositional_variable &mcrl2::pbes_system::propositional_variable_substitution::assignment::m_variable

Public member functions

assignment(const propositional_variable &v, map_type &m)

Constructor.

Parameters:

• v a variable.
• m a mapping of variables to expressions.

void operator=(const pbes_expression &e)

Assigns expression on the right-hand side.

Parameters:

• e the expression to associate to the variable for the owning substitution object template<typenameE,typenameV>voidexample(Vconst&v,Econst&e){substitution<E,V>s;//substitutions[v]=e;assert(s(v)==e);