Include file:
#include "mcrl2/atermpp/aterm_balanced_tree.h"
atermpp::
aterm_balanced_tree
¶typedef for term_balanced_tree< aterm >
A term_balanced_tree with elements of type aterm.
atermpp::
pp
(const term_balanced_tree<Term> t)¶std::
swap
(atermpp::term_balanced_tree<T> &t1, atermpp::term_balanced_tree<T> &t2)¶Swaps two balanced trees.
This operation is more efficient than exchanging terms by an assignment, as swapping does not require to change the protection of terms.
Parameters:
t1 The first term
t2 The second term