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
typedef AssociativeContainer::key_type	variable_type
typedef AssociativeContainer::mapped_type	expression_type
using	argument_type = variable_type
using	result_type = expression_type

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

Public Attributes
const AssociativeContainer &	m_map

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 25 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 29 of file map_substitution.h.

expression_type

template<typename AssociativeContainer >

typedef AssociativeContainer::mapped_type mcrl2::data::map_substitution< AssociativeContainer >::expression_type

Definition at line 28 of file map_substitution.h.

result_type

template<typename AssociativeContainer >

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

Definition at line 30 of file map_substitution.h.

variable_type

template<typename AssociativeContainer >

typedef AssociativeContainer::key_type mcrl2::data::map_substitution< AssociativeContainer >::variable_type

Definition at line 27 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 34 of file map_substitution.h.

Member Function Documentation

operator()()

template<typename AssociativeContainer >

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

inline

Definition at line 38 of file map_substitution.h.

to_string()

template<typename AssociativeContainer >

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

inline

Definition at line 53 of file map_substitution.h.

Member Data Documentation

m_map

template<typename AssociativeContainer >

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

Definition at line 32 of file map_substitution.h.

---

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

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