mcrl2/atermpp/aterm_appl.h

Include file:

#include "mcrl2/atermpp/aterm_appl.h"

The term_appl class represents function application.

Typedefs

type aterm_appl

typedef for term_appl< aterm >

Functions

void std::swap(atermpp::term_appl<T> &t1, atermpp::term_appl<T> &t2) noexcept

Swaps two term_applss.

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.