mcrl2::data::mutable_substitution_composer

Include file:

#include "mcrl2/data/substitutions/mutable_substitution_composer.h
class mcrl2::data::mutable_substitution_composer

An adapter that makes an arbitrary substitution function mutable.

Public types

type mcrl2::data::mutable_substitution_composer::argument_type

typedef for variable_type

type mcrl2::data::mutable_substitution_composer::assignment

typedef for typename mutable_map_substitution< std::map< variable_type, expression_type > >::assignment

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

type mcrl2::data::mutable_substitution_composer::expression_type

typedef for typename Substitution::expression_type

type used to represent expressions.

type mcrl2::data::mutable_substitution_composer::substitution_type

typedef for Substitution

The type of the wrapped substitution.

type mcrl2::data::mutable_substitution_composer::variable_type

typedef for typename Substitution::variable_type

type used to represent variables.

Protected attributes

const Substitution &mcrl2::data::mutable_substitution_composer::f_

The wrapped substitution.

mutable_map_substitution<std::map<variable_type, expression_type>> mcrl2::data::mutable_substitution_composer::g_

An additional mutable substitution.

Public member functions

mutable_substitution_composer(const Substitution &f)

Constructor.

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.