mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Static Public Attributes | Private Types | Private Attributes | List of all members
mcrl2::state_formulas::detail::mapvector_substitution Class Reference

#include <resolve_name_clashes.h>

Public Member Functions

 mapvector_substitution (const vector_map &substitutions)
 
data::data_expression operator() (const data::variable &v) const
 

Static Public Attributes

static constexpr bool is_identity_substitution =false
 

Private Types

using vector_map = std::map< data::variable, std::vector< data::variable > >
 

Private Attributes

vector_map m_substitutions
 

Detailed Description

Definition at line 23 of file resolve_name_clashes.h.

Member Typedef Documentation

◆ vector_map

using mcrl2::state_formulas::detail::mapvector_substitution::vector_map = std::map<data::variable, std::vector<data::variable> >
private

Definition at line 25 of file resolve_name_clashes.h.

Constructor & Destructor Documentation

◆ mapvector_substitution()

mcrl2::state_formulas::detail::mapvector_substitution::mapvector_substitution ( const vector_map &  substitutions)
inline

Definition at line 32 of file resolve_name_clashes.h.

Member Function Documentation

◆ operator()()

data::data_expression mcrl2::state_formulas::detail::mapvector_substitution::operator() ( const data::variable &  v) const
inline

Definition at line 36 of file resolve_name_clashes.h.

Member Data Documentation

◆ is_identity_substitution

constexpr bool mcrl2::state_formulas::detail::mapvector_substitution::is_identity_substitution =false
staticconstexpr

Definition at line 30 of file resolve_name_clashes.h.

◆ m_substitutions

vector_map mcrl2::state_formulas::detail::mapvector_substitution::m_substitutions
private

Definition at line 27 of file resolve_name_clashes.h.

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