aterm_core.h File Reference

Go to the source code of this file.

Classes
class	atermpp::detail::_aterm
	This is the class to which an aterm points. More...

Namespaces
namespace	atermpp
	The main namespace for the aterm++ library.
namespace	atermpp::detail

Typedefs
template<typename ... Terms>
using	atermpp::detail::are_terms = mcrl2::utilities::forall< std::is_convertible< Terms, unprotected_aterm_core >... >
	Can be used to check whether all elements in the parameter pack are derived from aterms.
template<typename Term >
using	atermpp::detail::is_term_or_function = std::disjunction< std::is_convertible< Term, unprotected_aterm_core >, std::disjunction< mcrl2::utilities::is_applicable< Term, unprotected_aterm_core & >, mcrl2::utilities::is_constant_function_yielding< Term, unprotected_aterm_core > > >
template<typename ... Terms>
using	atermpp::detail::are_terms_or_functions = mcrl2::utilities::forall< is_term_or_function< Terms >... >

Functions
void	atermpp::detail::debug_print (std::ostream &o, const _aterm *t, const std::size_t d=3)
_aterm *	atermpp::detail::address (const unprotected_aterm_core &t)