mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Private Attributes | List of all members
mcrl2::process::detail::action_context Class Reference

#include <action_context.h>

Public Member Functions

bool is_declared (const core::identifier_string &name) const
 
template<typename ActionLabelContainer >
void add_context_action_labels (const ActionLabelContainer &actions, const data::sort_type_checker &sort_typechecker)
 
data::sorts_list matching_action_sorts (const core::identifier_string &name) const
 
data::sorts_list matching_action_sorts (const core::identifier_string &name, const data::data_expression_list &parameters) const
 
void clear ()
 

Private Attributes

std::multimap< core::identifier_string, action_label > m_actions
 

Detailed Description

Definition at line 24 of file action_context.h.

Member Function Documentation

◆ add_context_action_labels()

template<typename ActionLabelContainer >
void mcrl2::process::detail::action_context::add_context_action_labels ( const ActionLabelContainer &  actions,
const data::sort_type_checker &  sort_typechecker 
)
inline

Definition at line 38 of file action_context.h.

◆ clear()

void mcrl2::process::detail::action_context::clear ( )
inline

Definition at line 91 of file action_context.h.

◆ is_declared()

bool mcrl2::process::detail::action_context::is_declared ( const core::identifier_string &  name) const
inline

Definition at line 30 of file action_context.h.

◆ matching_action_sorts() [1/2]

data::sorts_list mcrl2::process::detail::action_context::matching_action_sorts ( const core::identifier_string &  name) const
inline

Definition at line 63 of file action_context.h.

◆ matching_action_sorts() [2/2]

data::sorts_list mcrl2::process::detail::action_context::matching_action_sorts ( const core::identifier_string &  name,
const data::data_expression_list &  parameters 
) const
inline

Definition at line 76 of file action_context.h.

Member Data Documentation

◆ m_actions

std::multimap<core::identifier_string, action_label> mcrl2::process::detail::action_context::m_actions
private

Definition at line 27 of file action_context.h.

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