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

#include <process_context.h>

Public Member Functions

bool is_declared (const core::identifier_string &name) const
 
template<typename ProcessIdentifierContainer >
void add_process_identifiers (const ProcessIdentifierContainer &ids, const action_context &action_ctx, const data::sort_type_checker &sort_typechecker)
 
process_identifier match_untyped_process_instance_assignment (const untyped_process_assignment &x) const
 
process_instance make_process_instance (const core::identifier_string &name, const data::sort_expression_list &formal_parameters, const data::data_expression_list &actual_parameters) const
 
std::set< data::sort_expression_list > matching_process_sorts (const core::identifier_string &name, const data::data_expression_list &parameters) const
 
void clear ()
 

Private Member Functions

bool is_matching_assignment (const data::untyped_identifier_assignment_list &assignments, const data::variable_list &parameters) const
 
data::untyped_identifier_assignment find_violating_assignment (const data::untyped_identifier_assignment_list &assignments, const data::variable_list &parameters) const
 

Private Attributes

std::multimap< core::identifier_string, process_identifier > m_process_identifiers
 

Detailed Description

Definition at line 22 of file process_context.h.

Member Function Documentation

◆ add_process_identifiers()

template<typename ProcessIdentifierContainer >
void mcrl2::process::detail::process_context::add_process_identifiers ( const ProcessIdentifierContainer &  ids,
const action_context &  action_ctx,
const data::sort_type_checker &  sort_typechecker 
)
inline

Definition at line 61 of file process_context.h.

◆ clear()

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

Definition at line 166 of file process_context.h.

◆ find_violating_assignment()

data::untyped_identifier_assignment mcrl2::process::detail::process_context::find_violating_assignment ( const data::untyped_identifier_assignment_list &  assignments,
const data::variable_list &  parameters 
) const
inlineprivate

Definition at line 41 of file process_context.h.

◆ is_declared()

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

Definition at line 55 of file process_context.h.

◆ is_matching_assignment()

bool mcrl2::process::detail::process_context::is_matching_assignment ( const data::untyped_identifier_assignment_list &  assignments,
const data::variable_list &  parameters 
) const
inlineprivate

Definition at line 28 of file process_context.h.

◆ make_process_instance()

process_instance mcrl2::process::detail::process_context::make_process_instance ( const core::identifier_string &  name,
const data::sort_expression_list &  formal_parameters,
const data::data_expression_list &  actual_parameters 
) const
inline

Definition at line 136 of file process_context.h.

◆ match_untyped_process_instance_assignment()

process_identifier mcrl2::process::detail::process_context::match_untyped_process_instance_assignment ( const untyped_process_assignment &  x) const
inline

Definition at line 100 of file process_context.h.

◆ matching_process_sorts()

std::set< data::sort_expression_list > mcrl2::process::detail::process_context::matching_process_sorts ( const core::identifier_string &  name,
const data::data_expression_list &  parameters 
) const
inline

Definition at line 151 of file process_context.h.

Member Data Documentation

◆ m_process_identifiers

std::multimap<core::identifier_string, process_identifier> mcrl2::process::detail::process_context::m_process_identifiers
private

Definition at line 25 of file process_context.h.

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