mcrl2/data/is_sub_sort.h

Include file:

#include "mcrl2/data/is_sub_sort.h"

add your file description here.

Functions

bool mcrl2::data::is_sub_sort(const sort_expression &x1, const sort_expression &x2)

Functions

bool mcrl2::data::detail::is_numeric_sort(const sort_expression &x)

std::size_t mcrl2::data::detail::numeric_sort_value(const sort_expression &x)