aterm_balanced_tree.h File Reference

Go to the source code of this file.

Classes
class	atermpp::term_balanced_tree< Term >
	Read-only balanced binary tree of terms. More...
class	atermpp::term_balanced_tree< Term >::iterator
struct	std::hash< atermpp::term_balanced_tree< T > >
	Standard hash function. More...

Namespaces
namespace	atermpp
	The main namespace for the aterm++ library.
namespace	atermpp::anonymous_namespace{aterm_balanced_tree.h}
namespace	std
	STL namespace.

Typedefs
typedef term_balanced_tree< aterm >	atermpp::aterm_balanced_tree
	A term_balanced_tree with elements of type aterm.

Functions
global_function_symbol	atermpp::anonymous_namespace{aterm_balanced_tree.h}::g_empty ("@empty@", 0)
global_function_symbol	atermpp::anonymous_namespace{aterm_balanced_tree.h}::g_tree_node ("@node@", 2)
global_function_symbol	atermpp::anonymous_namespace{aterm_balanced_tree.h}::g_single_tree_node ("@single_node@", 1)
aterm	atermpp::anonymous_namespace{aterm_balanced_tree.h}::g_empty_tree (g_empty)
template<class Term , class ForwardTraversalIterator , class Transformer >
void	atermpp::make_term_balanced_tree (term_balanced_tree< Term > &result, ForwardTraversalIterator p, const std::size_t size, Transformer transformer)
bool	atermpp::is_aterm_balanced_tree (const aterm &t)
template<class Term >
std::string	atermpp::pp (const term_balanced_tree< Term > t)
template<class T >
void	std::swap (atermpp::term_balanced_tree< T > &t1, atermpp::term_balanced_tree< T > &t2)
	Swaps two balanced trees.