mcrl2::data::mutable_substitution_composer< mutable_indexed_substitution< VariableType, ExpressionSequence > > Class Template Reference

Specialization for mutable_indexed_substitution. More...

#include <mutable_substitution_composer.h>

Public Types
using	substitution_type = mutable_indexed_substitution< VariableType, ExpressionSequence >
	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 (substitution_type &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 VariableType, typename ExpressionSequence>
class mcrl2::data::mutable_substitution_composer< mutable_indexed_substitution< VariableType, ExpressionSequence > >

Specialization for mutable_indexed_substitution.

Definition at line 132 of file mutable_substitution_composer.h.

Member Typedef Documentation

argument_type

template<typename VariableType , typename ExpressionSequence >

using mcrl2::data::mutable_substitution_composer< mutable_indexed_substitution< VariableType, ExpressionSequence > >::argument_type = variable_type

Definition at line 147 of file mutable_substitution_composer.h.

assignment

template<typename VariableType , typename ExpressionSequence >

using mcrl2::data::mutable_substitution_composer< mutable_indexed_substitution< VariableType, ExpressionSequence > >::assignment = typename substitution_type::assignment

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

Definition at line 145 of file mutable_substitution_composer.h.

expression_type

template<typename VariableType , typename ExpressionSequence >

using mcrl2::data::mutable_substitution_composer< mutable_indexed_substitution< VariableType, ExpressionSequence > >::expression_type = typename substitution_type::expression_type

type used to represent expressions.

Definition at line 142 of file mutable_substitution_composer.h.

result_type

template<typename VariableType , typename ExpressionSequence >

using mcrl2::data::mutable_substitution_composer< mutable_indexed_substitution< VariableType, ExpressionSequence > >::result_type = expression_type

Definition at line 148 of file mutable_substitution_composer.h.

substitution_type

template<typename VariableType , typename ExpressionSequence >

using mcrl2::data::mutable_substitution_composer< mutable_indexed_substitution< VariableType, ExpressionSequence > >::substitution_type = mutable_indexed_substitution<VariableType, ExpressionSequence>

The type of the wrapped substitution.

Definition at line 136 of file mutable_substitution_composer.h.

variable_type

template<typename VariableType , typename ExpressionSequence >

using mcrl2::data::mutable_substitution_composer< mutable_indexed_substitution< VariableType, ExpressionSequence > >::variable_type = typename substitution_type::variable_type

type used to represent variables.

Definition at line 139 of file mutable_substitution_composer.h.

Constructor & Destructor Documentation

mutable_substitution_composer()

template<typename VariableType , typename ExpressionSequence >

mcrl2::data::mutable_substitution_composer< mutable_indexed_substitution< VariableType, ExpressionSequence > >::mutable_substitution_composer ( substitution_type &  g )

inline

Constructor with mutable substitution object.

Parameters

[in,out]

g

underlying substitution object.

Definition at line 158 of file mutable_substitution_composer.h.

Member Function Documentation

operator()()

template<typename VariableType , typename ExpressionSequence >

const expression_type mcrl2::data::mutable_substitution_composer< mutable_indexed_substitution< VariableType, ExpressionSequence > >::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 165 of file mutable_substitution_composer.h.

operator[]()

template<typename VariableType , typename ExpressionSequence >

assignment mcrl2::data::mutable_substitution_composer< mutable_indexed_substitution< VariableType, ExpressionSequence > >::operator[] ( variable_type const &  v )

inline

Definition at line 170 of file mutable_substitution_composer.h.

substitution()

template<typename VariableType , typename ExpressionSequence >

const substitution_type & mcrl2::data::mutable_substitution_composer< mutable_indexed_substitution< VariableType, ExpressionSequence > >::substitution ( ) const

inline

Returns the wrapped substitution.

Returns

The wrapped substitution.

Definition at line 177 of file mutable_substitution_composer.h.

Member Data Documentation

g_

template<typename VariableType , typename ExpressionSequence >

substitution_type& mcrl2::data::mutable_substitution_composer< mutable_indexed_substitution< VariableType, ExpressionSequence > >::g_

protected

object on which substitution manipulations are performed.

Definition at line 152 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