aterm_int.h File Reference

Term containing an integer. More...

Go to the source code of this file.

Classes
class	atermpp::aterm_int
	An integer term stores a single std::size_t value. It carries no arguments. More...

Namespaces
namespace	atermpp
	The main namespace for the aterm++ library.
namespace	std
	STL namespace.

Functions
void	atermpp::make_aterm_int (aterm_int &target, std::size_t value)
	Constructs an integer term from a value.
template<>
void	std::swap (atermpp::aterm_int &t1, atermpp::aterm_int &t2) noexcept
	Swaps two aterm_ints.

Detailed Description

Term containing an integer.

Definition in file aterm_int.h.