mcrl2::data::detail::is_a_variable Member List

This is the complete list of members for mcrl2::data::detail::is_a_variable, including all inherited members.

operator()(const atermpp::aterm &t) const	mcrl2::data::detail::is_a_variable	inline
operator()(const atermpp::aterm &t) const	mcrl2::data::detail::is_a_variable	inline