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