typecheck.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
struct	mcrl2::process::detail::typecheck_builder
class	mcrl2::process::process_type_checker

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::process
	The main namespace for the Process library.
namespace	mcrl2::process::detail

Functions
action	mcrl2::process::typecheck_action (const core::identifier_string &name, const data::data_expression_list &parameters, data::data_type_checker &typechecker, const data::detail::variable_context &variable_context, const detail::action_context &action_context)
data::sorts_list	mcrl2::process::sorts_list_intersection (const data::sorts_list &sorts1, const data::sorts_list &sorts2)
std::ostream &	mcrl2::process::operator<< (std::ostream &out, const data::sorts_list &x)
bool	mcrl2::process::detail::equal_multi_actions (core::identifier_string_list a1, core::identifier_string_list a2)
bool	mcrl2::process::detail::multi_actions_contains (const core::identifier_string_list &a, const action_name_multiset_list &A)
std::ostream &	mcrl2::process::detail::operator<< (std::ostream &out, const std::pair< core::identifier_string, data::sort_expression_list > &x)
typecheck_builder	mcrl2::process::detail::make_typecheck_builder (data::data_type_checker &data_typechecker, const data::detail::variable_context &variables, const detail::process_context &process_identifiers, const detail::action_context &action_context, const process_identifier *current_equation=nullptr)
void	mcrl2::process::typecheck_process_specification (process_specification &proc_spec)
	Type check a parsed mCRL2 process specification. Throws an exception if something went wrong.
template<typename VariableContainer , typename ActionLabelContainer , typename ProcessIdentifierContainer >
process_expression	mcrl2::process::typecheck_process_expression (const process_expression &x, const VariableContainer &variables=VariableContainer(), const data::data_specification &dataspec=data::data_specification(), const ActionLabelContainer &action_labels=ActionLabelContainer(), const ProcessIdentifierContainer &process_identifiers=ProcessIdentifierContainer(), const process_identifier *current_equation=nullptr)
	Typecheck a process expression.

Detailed Description

add your file description here.

Definition in file typecheck.h.