mCRL2
Loading...
Searching...
No Matches
mcrl2::data::detail::compare_variable Member List

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_variableinline
operator()(Term2 t) constmcrl2::data::detail::compare_term< variable >inline
termmcrl2::data::detail::compare_term< variable >