typecheck.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
struct	mcrl2::pbes_system::detail::typecheck_builder
class	mcrl2::pbes_system::pbes_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::pbes_system
	The main namespace for the PBES library.
namespace	mcrl2::pbes_system::detail

Functions
typecheck_builder	mcrl2::pbes_system::detail::make_typecheck_builder (data::data_type_checker &data_typechecker, const data::detail::variable_context &variables, const detail::pbes_context &propositional_variables)
void	mcrl2::pbes_system::typecheck_pbes (pbes &pbesspec)
	Type check a parsed mCRL2 pbes specification. Throws an exception if something went wrong.
template<typename VariableContainer >
propositional_variable	mcrl2::pbes_system::typecheck_propositional_variable (const propositional_variable &x, const VariableContainer &variables, const data::data_specification &dataspec=data::data_specification())
	Type check a parsed mCRL2 propositional variable. Throws an exception if something went wrong.
template<typename VariableContainer , typename PropositionalVariableContainer >
pbes_expression	mcrl2::pbes_system::typecheck_pbes_expression (pbes_expression &x, const VariableContainer &variables, const PropositionalVariableContainer &propositional_variables, const data::data_specification &dataspec=data::data_specification())
	Type check a parsed mCRL2 pbes expression. Throws an exception if something went wrong.

Detailed Description

add your file description here.

Definition in file typecheck.h.