mcrl2::data::map_substitution< AssociativeContainer > Struct Template Reference

Generic substitution function. The substitution is stored as a mapping of variables to expressions. More...

#include <map_substitution.h>

Public Types
using	variable_type = typename AssociativeContainer::key_type
using	expression_type = typename AssociativeContainer::mapped_type
using	argument_type = variable_type
using	result_type = expression_type

Public Member Functions
	map_substitution (const AssociativeContainer &m)
expression_type	operator() (const variable_type &v) const
std::string	to_string () const

Public Attributes
const AssociativeContainer &	m_map

Static Public Attributes
static constexpr bool	is_identity_substitution =false

Detailed Description

template<typename AssociativeContainer>
struct mcrl2::data::map_substitution< AssociativeContainer >

Generic substitution function. The substitution is stored as a mapping of variables to expressions.

Definition at line 24 of file map_substitution.h.

Member Typedef Documentation

argument_type

template<typename AssociativeContainer >

using mcrl2::data::map_substitution< AssociativeContainer >::argument_type = variable_type

Definition at line 28 of file map_substitution.h.

expression_type

template<typename AssociativeContainer >

using mcrl2::data::map_substitution< AssociativeContainer >::expression_type = typename AssociativeContainer::mapped_type

Definition at line 27 of file map_substitution.h.

result_type

template<typename AssociativeContainer >

using mcrl2::data::map_substitution< AssociativeContainer >::result_type = expression_type

Definition at line 29 of file map_substitution.h.

variable_type

template<typename AssociativeContainer >

using mcrl2::data::map_substitution< AssociativeContainer >::variable_type = typename AssociativeContainer::key_type

Definition at line 26 of file map_substitution.h.

Constructor & Destructor Documentation

map_substitution()

template<typename AssociativeContainer >

mcrl2::data::map_substitution< AssociativeContainer >::map_substitution ( const AssociativeContainer &  m )

inline

Definition at line 33 of file map_substitution.h.

Member Function Documentation

operator()()

template<typename AssociativeContainer >

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

inline

Definition at line 37 of file map_substitution.h.

to_string()

template<typename AssociativeContainer >

std::string mcrl2::data::map_substitution< AssociativeContainer >::to_string ( ) const

inline

Definition at line 52 of file map_substitution.h.

Member Data Documentation

is_identity_substitution

template<typename AssociativeContainer >

constexpr bool mcrl2::data::map_substitution< AssociativeContainer >::is_identity_substitution =false

staticconstexpr

Definition at line 50 of file map_substitution.h.

m_map

template<typename AssociativeContainer >

const AssociativeContainer& mcrl2::data::map_substitution< AssociativeContainer >::m_map

Definition at line 31 of file map_substitution.h.

---

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

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