mcrl2/atermpp/aterm_appl.h
Include file:
#include "mcrl2/atermpp/aterm_appl.h"
The term_appl class represents function application.
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.