mcrl2/atermpp/aterm_int.h

Include file:

#include "mcrl2/atermpp/aterm_int.h"

Term containing an integer.

Functions

void atermpp::make_aterm_int(aterm_int &target, std::size_t value)

Constructs an integer term from a value.

Parameters:

  • target The term into which the term is constructed.

Functions

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

Swaps two aterm_ints.

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