Include file:

#include "mcrl2/lps/typecheck.h
class mcrl2::lps::action_rename_type_checker

Protected attributes

process::detail::action_context m_action_context
data::data_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


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.


  • 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.