mcrl2/atermpp/aterm_balanced_tree.h¶

Include file:

#include "mcrl2/atermpp/aterm_balanced_tree.h"

Classes¶

Typedefs¶

type atermpp::aterm_balanced_tree¶

typedef for term_balanced_tree< aterm >

A term_balanced_tree with elements of type aterm.

Functions¶

std::string atermpp::pp(const term_balanced_tree<Term> t)¶

Functions¶

void 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