typecheck.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
class	mcrl2::data::data_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::data
	Namespace for all data library functionality.

Typedefs
typedef atermpp::term_list< sort_expression_list >	mcrl2::data::sorts_list

Functions
void	mcrl2::data::typecheck_sort_expression (const sort_expression &sort_expr, const data_specification &data_spec)
	Type check a sort expression. Throws an exception if something went wrong.
template<typename VariableContainer >
data_expression	mcrl2::data::typecheck_data_expression (const data_expression &x, const VariableContainer &variables, const data_specification &dataspec=data_specification())
	Type check a data expression. Throws an exception if something went wrong.
data_expression	mcrl2::data::typecheck_data_expression (const data_expression &x, const data_specification &dataspec=data_specification())
	Type check a data expression. Throws an exception if something went wrong.
void	mcrl2::data::typecheck_data_specification (data_specification &data_spec)
	Type check a parsed mCRL2 data specification. Throws an exception if something went wrong.
data_expression	mcrl2::data::typecheck_untyped_data_parameter (data_type_checker &typechecker, const core::identifier_string &name, const data_expression_list &parameters, const data::sort_expression &expected_sort, const detail::variable_context &variable_context)

Detailed Description

add your file description here.

Definition in file typecheck.h.