mcrl2::data::mutable_substitution_composer< mutable_map_substitution< AssociativeContainer > > Class Template Reference

Specialization for mutable_map_substitution. More...

#include <mutable_substitution_composer.h>

Public Types
using	substitution_type = mutable_map_substitution< AssociativeContainer >
	The type of the wrapped substitution.
using	variable_type = typename substitution_type::variable_type
	type used to represent variables.
using	expression_type = typename substitution_type::expression_type
	type used to represent expressions.
using	assignment = typename substitution_type::assignment
	Wrapper class for internal storage and substitution updates using operator().
using	argument_type = variable_type
using	result_type = expression_type

Public Member Functions
	mutable_substitution_composer (mutable_map_substitution< AssociativeContainer > &g)
	Constructor with mutable substitution object.
const expression_type	operator() (variable_type const &v) const
	Apply on single single variable expression.
assignment	operator[] (variable_type const &v)
const substitution_type &	substitution () const
	Returns the wrapped substitution.

Protected Attributes
substitution_type &	g_
	object on which substitution manipulations are performed.

Detailed Description

template<typename AssociativeContainer>
class mcrl2::data::mutable_substitution_composer< mutable_map_substitution< AssociativeContainer > >

Specialization for mutable_map_substitution.

Definition at line 79 of file mutable_substitution_composer.h.

Member Typedef Documentation

argument_type

template<typename AssociativeContainer >

using mcrl2::data::mutable_substitution_composer< mutable_map_substitution< AssociativeContainer > >::argument_type = variable_type

Definition at line 94 of file mutable_substitution_composer.h.

assignment

template<typename AssociativeContainer >

using mcrl2::data::mutable_substitution_composer< mutable_map_substitution< AssociativeContainer > >::assignment = typename substitution_type::assignment

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

Definition at line 92 of file mutable_substitution_composer.h.

expression_type

template<typename AssociativeContainer >

using mcrl2::data::mutable_substitution_composer< mutable_map_substitution< AssociativeContainer > >::expression_type = typename substitution_type::expression_type

type used to represent expressions.

Definition at line 89 of file mutable_substitution_composer.h.

result_type

template<typename AssociativeContainer >

using mcrl2::data::mutable_substitution_composer< mutable_map_substitution< AssociativeContainer > >::result_type = expression_type

Definition at line 95 of file mutable_substitution_composer.h.

substitution_type

template<typename AssociativeContainer >

using mcrl2::data::mutable_substitution_composer< mutable_map_substitution< AssociativeContainer > >::substitution_type = mutable_map_substitution<AssociativeContainer>

The type of the wrapped substitution.

Definition at line 83 of file mutable_substitution_composer.h.

variable_type

template<typename AssociativeContainer >

using mcrl2::data::mutable_substitution_composer< mutable_map_substitution< AssociativeContainer > >::variable_type = typename substitution_type::variable_type

type used to represent variables.

Definition at line 86 of file mutable_substitution_composer.h.

Constructor & Destructor Documentation

mutable_substitution_composer()

template<typename AssociativeContainer >

mcrl2::data::mutable_substitution_composer< mutable_map_substitution< AssociativeContainer > >::mutable_substitution_composer ( mutable_map_substitution< AssociativeContainer > &  g )

inline

Constructor with mutable substitution object.

Parameters

[in,out]

g

underlying substitution object.

Definition at line 105 of file mutable_substitution_composer.h.

Member Function Documentation

operator()()

template<typename AssociativeContainer >

const expression_type mcrl2::data::mutable_substitution_composer< mutable_map_substitution< AssociativeContainer > >::operator() ( variable_type const &  v ) const

inline

Apply on single single variable expression.

Parameters

[in]

v

the variable for which to give the associated expression.

Returns

expression equivalent to s(e), or a reference to such an expression.

Definition at line 112 of file mutable_substitution_composer.h.

operator[]()

template<typename AssociativeContainer >

assignment mcrl2::data::mutable_substitution_composer< mutable_map_substitution< AssociativeContainer > >::operator[] ( variable_type const &  v )

inline

Definition at line 117 of file mutable_substitution_composer.h.

substitution()

template<typename AssociativeContainer >

const substitution_type & mcrl2::data::mutable_substitution_composer< mutable_map_substitution< AssociativeContainer > >::substitution ( ) const

inline

Returns the wrapped substitution.

Returns

The wrapped substitution

Definition at line 124 of file mutable_substitution_composer.h.

Member Data Documentation

g_

template<typename AssociativeContainer >

substitution_type& mcrl2::data::mutable_substitution_composer< mutable_map_substitution< AssociativeContainer > >::g_

protected

object on which substitution manipulations are performed.

Definition at line 99 of file mutable_substitution_composer.h.

---

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

• data/include/mcrl2/data/substitutions/mutable_substitution_composer.h