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 &m_map
const propositional_variable &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);