mCRL2
|
This is the complete list of members for mcrl2::data::detail::compare_sort, including all inherited members.
compare_sort(sort_expression s_) | mcrl2::data::detail::compare_sort | inline |
operator()(const atermpp::aterm &t) const | mcrl2::data::detail::compare_sort | inline |
s | mcrl2::data::detail::compare_sort |