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_variable	inline
operator()(Term2 t) const	mcrl2::data::detail::compare_term< variable >	inline
term	mcrl2::data::detail::compare_term< variable >