mCRL2
Loading...
Searching...
No Matches
aterm_pool_storage.h File Reference

Go to the source code of this file.

Classes

class  atermpp::detail::aterm_pool_storage< Element, Hash, Equals, N >
 This class provides for all types of term storage. It also provides garbage collection via its mark and sweep functions. More...
 

Namespaces

namespace  atermpp
 The main namespace for the aterm++ library.
 
namespace  atermpp::detail
 

Functions

void atermpp::add_deletion_hook (const function_symbol &, term_callback)
 Check for reasonably sized aterm (32 bits, 4 bytes) This check might break on perfectly valid architectures that have char == 2 bytes, and sizeof(header_type) == 2.
 
void atermpp::detail::mark_term (const _aterm &root, std::stack< std::reference_wrapper< _aterm > > &todo)
 Marks a term and recursively all arguments that are not reachable.