mcrl2::lps::multi_action_type_checker

Include file:

#include "mcrl2/lps/typecheck.h

class mcrl2::lps::multi_action_type_checker

Protected attributes

process::detail::action_context mcrl2::lps::multi_action_type_checker::m_action_context

data::data_type_checker mcrl2::lps::multi_action_type_checker::m_data_type_checker

data::detail::variable_context mcrl2::lps::multi_action_type_checker::m_variable_context

Public member functions

multi_action_type_checker(const data::data_specification &dataspec, const VariableContainer &variables, const ActionLabelContainer &action_labels)

multi_action_type_checker(const data::data_specification &dataspec = data::data_specification())

Default constructor.

multi_action operator()(const process::untyped_multi_action &x)

Type check a multi action. Throws a mcrl2::runtime_error exception if the expression is not well typed.

Parameters:

• x A multi action that has not been type checked.

Returns: a typed multi action.