mcrl2/atermpp/aterm_string.h

Include file:

#include "mcrl2/atermpp/aterm_string.h"

Functions

const aterm_string &atermpp::empty_string()

Returns the empty aterm string.

Functions

void std::swap(atermpp::aterm_string &t1, atermpp::aterm_string &t2) noexcept

Swaps two aterm_strings.

This operation is more efficient than exchanging terms by an assignment, as swapping does not require to change the protection of terms. In order to be used in the standard containers, the declaration must be preceded by an empty template declaration.

Parameters:

  • t1 The first term

  • t2 The second term