mcrl2/data/experimental/type_checker.h

Include file:

#include "mcrl2/data/experimental/type_checker.h"

add your file description here.

Functions

bool mcrl2::data::detail::is_nat(const core::identifier_string &Number)
bool mcrl2::data::detail::is_numeric_type(const sort_expression &x)
bool mcrl2::data::detail::is_pos(const core::identifier_string &Number)
function_sort mcrl2::data::detail::make_function_sort(const sort_expression &domain, const sort_expression &codomain)
atermpp::term_list<T> mcrl2::data::detail::transform_aterm_list(const Function &f, const atermpp::term_list<T> &x)
sort_expression mcrl2::data::detail::unwind_sort_expression(const sort_expression &x, const alias_vector &aliases)