mCRL2
|
This is the complete list of members for mcrl2::data::detail::compare_term< Term >, including all inherited members.
compare_term(const Term &t) | mcrl2::data::detail::compare_term< Term > | inline |
operator()(Term2 t) const | mcrl2::data::detail::compare_term< Term > | inline |
term | mcrl2::data::detail::compare_term< Term > |