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

#include <substitutions.h>

Public Member Functions
	assignment (const propositional_variable &v, map_type &m)
	Constructor.

assignment &	operator= (const pbes_expression &e)
	Assigns expression on the right-hand side.

Private Attributes
const propositional_variable &	m_variable

map_type &	m_map

Detailed Description

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

Definition at line 79 of file substitutions.h.

Constructor & Destructor Documentation

◆ assignment()

mcrl2::pbes_system::propositional_variable_substitution::assignment::assignment	(	const propositional_variable &	v,
		map_type &	m
	)

inline

Constructor.

Parameters

[in]	v	a variable.
[in]	m	a mapping of variables to expressions.

Definition at line 91 of file substitutions.h.

Member Function Documentation

◆ operator=()

assignment & mcrl2::pbes_system::propositional_variable_substitution::assignment::operator= ( const pbes_expression & e )

inline

Assigns expression on the right-hand side.

Parameters

[in]

e

the expression to associate to the variable for the owning substitution object

template< typename E, typename V >
void example(V const& v, E const& e) {
  substitution< E, V > s;         // substitution
 
  s[v] = e;
 
  assert(s(v) == e);

Definition at line 107 of file substitutions.h.

Member Data Documentation

◆ m_map

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

private

Definition at line 83 of file substitutions.h.

◆ m_variable

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

private

Definition at line 82 of file substitutions.h.

The documentation for this class was generated from the following file:

pbes/include/mcrl2/pbes/substitutions.h

Public Member Functions

Private Attributes