typecheck.cpp File Reference

Go to the source code of this file.

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.
namespace	mcrl2::data::detail

Functions
static bool	mcrl2::data::detail::includes (const std::set< variable > &s1, const std::set< variable > &s2, variable &culprit)
static bool	mcrl2::data::detail::IsPos (const core::identifier_string &Number)
static bool	mcrl2::data::detail::IsNat (const core::identifier_string &Number)
static sort_expression_list	mcrl2::data::detail::GetVarTypes (variable_list VarDecls)
static bool	mcrl2::data::detail::HasUnknown (const sort_expression &Type)
static bool	mcrl2::data::detail::IsNumericType (const sort_expression &Type)
static sort_expression	mcrl2::data::detail::MinType (const sort_expression_list &TypeList)
static sort_expression	mcrl2::data::detail::replace_possible_sorts (const sort_expression &Type)
template<class S >
atermpp::term_list< S >	mcrl2::data::detail::insert_sort_unique (const atermpp::term_list< S > &list, const S &el)