mCRL2
|
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_checker | inlineprotectedstatic |
m_action_context | mcrl2::process::process_type_checker | protected |
m_data_type_checker | mcrl2::process::process_type_checker | protected |
m_process_context | mcrl2::process::process_type_checker | protected |
m_variable_context | mcrl2::process::process_type_checker | protected |
operator()(const process_expression &x, const process_identifier *current_equation=nullptr) | mcrl2::process::process_type_checker | inline |
operator()(process_specification &procspec) | mcrl2::process::process_type_checker | inline |
process_type_checker(const data::data_specification &dataspec, const VariableContainer &variables, const ActionLabelContainer &action_labels, const ProcessIdentifierContainer &process_identifiers) | mcrl2::process::process_type_checker | inline |
process_type_checker(const data::data_specification &dataspec=data::data_specification()) | mcrl2::process::process_type_checker | inlineexplicit |
typecheck_process_expression(const data::detail::variable_context &variables, const process_expression &x, const process_identifier *current_equation=nullptr) | mcrl2::process::process_type_checker | inlineprotected |