mCRL2
Loading...
Searching...
No Matches
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: