mCRL2
Loading...
Searching...
No Matches
mcrl2::process::process_type_checker Member List

This is the complete list of members for mcrl2::process::process_type_checker, including all inherited members.

equation_identifiers(const std::vector< process_equation > &equations)mcrl2::process::process_type_checkerinlineprotectedstatic
m_action_contextmcrl2::process::process_type_checkerprotected
m_data_type_checkermcrl2::process::process_type_checkerprotected
m_process_contextmcrl2::process::process_type_checkerprotected
m_variable_contextmcrl2::process::process_type_checkerprotected
operator()(const process_expression &x, const process_identifier *current_equation=nullptr)mcrl2::process::process_type_checkerinline
operator()(process_specification &procspec)mcrl2::process::process_type_checkerinline
process_type_checker(const data::data_specification &dataspec, const VariableContainer &variables, const ActionLabelContainer &action_labels, const ProcessIdentifierContainer &process_identifiers)mcrl2::process::process_type_checkerinline
process_type_checker(const data::data_specification &dataspec=data::data_specification())mcrl2::process::process_type_checkerinlineexplicit
typecheck_process_expression(const data::detail::variable_context &variables, const process_expression &x, const process_identifier *current_equation=nullptr)mcrl2::process::process_type_checkerinlineprotected