mcrl2::lps::action_rename_type_checker

Include file:

#include "mcrl2/lps/typecheck.h

class mcrl2::lps::action_rename_type_checker

Protected attributes

process::detail::action_context mcrl2::lps::action_rename_type_checker::m_action_context

data::data_type_checker mcrl2::lps::action_rename_type_checker::m_data_type_checker

Protected member functions

action_rename_rule typecheck_action_rename_rule(const action_rename_rule &x, const process::action_label_list &action_labels)

Public member functions

action_rename_type_checker()

Default constructor for an action rename type checker.

action_rename_specification operator()(const action_rename_specification &arspec, const stochastic_specification &lpsspec)

Type check an action_rename_specification.

Parameters:

• arspec An action rename specification that has not been type checked.
• lpsspec A linear specification with data, action and global variable declarations.

Returns: a action rename specification where all untyped identifiers have been replace by typed ones.