mcrl2::data::mutable_substitution_composer< mutable_indexed_substitution< VariableType, ExpressionSequence > >

Include file:

#include "mcrl2/data/substitutions/mutable_substitution_composer.h
template<>
class mcrl2::data::mutable_substitution_composer<mutable_indexed_substitution<VariableType, ExpressionSequence>>

Specialization for mutable_indexed_substitution.

Public types

template<>
type mcrl2::data::mutable_substitution_composer<mutable_indexed_substitution<VariableType, ExpressionSequence>>::argument_type

typedef for variable_type

template<>
type mcrl2::data::mutable_substitution_composer<mutable_indexed_substitution<VariableType, ExpressionSequence>>::assignment

typedef for typename substitution_type::assignment

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

template<>
type mcrl2::data::mutable_substitution_composer<mutable_indexed_substitution<VariableType, ExpressionSequence>>::expression_type

typedef for typename substitution_type::expression_type

type used to represent expressions.

template<>
type mcrl2::data::mutable_substitution_composer<mutable_indexed_substitution<VariableType, ExpressionSequence>>::substitution_type

typedef for mutable_indexed_substitution< VariableType, ExpressionSequence >

The type of the wrapped substitution.

template<>
type mcrl2::data::mutable_substitution_composer<mutable_indexed_substitution<VariableType, ExpressionSequence>>::variable_type

typedef for typename substitution_type::variable_type

type used to represent variables.

Protected attributes

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

object on which substitution manipulations are performed.

Public member functions

mutable_substitution_composer(substitution_type &g)

Constructor with mutable substitution object.

Parameters:

  • g underlying substitution object.

const expression_type operator()(variable_type const &v) const

Apply on single single variable expression.

Parameters:

  • v the variable for which to give the associated expression.

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

assignment operator[](variable_type const &v)
const substitution_type &substitution() const

Returns the wrapped substitution.

Returns: The wrapped substitution.