mcrl2/data/experimental/type_checker.h

Include file:

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

add your file description here.

Classes

• mcrl2::data::type_checker

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)