| add_deletion_hook(function_symbol sym, term_callback callback) | atermpp::detail::aterm_pool | inline |
| as_empty_list() noexcept | atermpp::detail::aterm_pool | inline |
| as_int() noexcept | atermpp::detail::aterm_pool | inline |
| as_list() noexcept | atermpp::detail::aterm_pool | inline |
| aterm_pool() | atermpp::detail::aterm_pool | inline |
| capacity() const noexcept | atermpp::detail::aterm_pool | inline |
| collect(mcrl2::utilities::shared_mutex &mutex) | atermpp::detail::aterm_pool | inlineprivate |
| collect_impl(mcrl2::utilities::shared_mutex &mutex) | atermpp::detail::aterm_pool | inlineprivate |
| create_appl(aterm &term, const function_symbol &sym, const Terms &... arguments) | atermpp::detail::aterm_pool | inlineprivate |
| create_appl_dynamic(aterm &term, const function_symbol &sym, ForwardIterator begin, ForwardIterator end) | atermpp::detail::aterm_pool | private |
| create_appl_dynamic(aterm &term, const function_symbol &sym, ATermConverter convert_to_aterm, InputIterator begin, InputIterator end) | atermpp::detail::aterm_pool | private |
| create_function_symbol(const std::string &name, const std::size_t arity, const bool check_for_registered_functions=false) | atermpp::detail::aterm_pool | inline |
| create_function_symbol(std::string &&name, const std::size_t arity, const bool check_for_registered_functions=false) | atermpp::detail::aterm_pool | inline |
| create_int(aterm &term, std::size_t val) | atermpp::detail::aterm_pool | inlineprivate |
| create_term(aterm &term, const function_symbol &sym) | atermpp::detail::aterm_pool | inlineprivate |
| created_term(bool allow_collect, mcrl2::utilities::shared_mutex &mutex) | atermpp::detail::aterm_pool | inlineprivate |
| empty_list() noexcept | atermpp::detail::aterm_pool | inline |
| enable_garbage_collection(bool enable) | atermpp::detail::aterm_pool | inline |
| get_symbol_pool() | atermpp::detail::aterm_pool | inline |
| m_appl_dynamic_storage | atermpp::detail::aterm_pool | private |
| m_appl_storage | atermpp::detail::aterm_pool | private |
| m_count_until_collection | atermpp::detail::aterm_pool | private |
| m_count_until_resize | atermpp::detail::aterm_pool | private |
| m_empty_list | atermpp::detail::aterm_pool | private |
| m_enable_garbage_collection | atermpp::detail::aterm_pool | private |
| m_function_symbol_pool | atermpp::detail::aterm_pool | private |
| m_int_storage | atermpp::detail::aterm_pool | private |
| m_shared_mutex | atermpp::detail::aterm_pool | private |
| m_thread_pools | atermpp::detail::aterm_pool | private |
| noncopyable()=default | mcrl2::utilities::noncopyable | |
| noncopyable(const noncopyable &)=delete | mcrl2::utilities::noncopyable | |
| operator=(const noncopyable &)=delete | mcrl2::utilities::noncopyable | |
| print_performance_statistics() const | atermpp::detail::aterm_pool | inline |
| protection_set_size() const | atermpp::detail::aterm_pool | inlineprivate |
| register_thread_aterm_pool(thread_aterm_pool_interface &pool) | atermpp::detail::aterm_pool | inline |
| remove_thread_aterm_pool(thread_aterm_pool_interface &pool) | atermpp::detail::aterm_pool | inline |
| resize_if_needed(mcrl2::utilities::shared_mutex &shared) | atermpp::detail::aterm_pool | inlineprivate |
| shared_mutex() | atermpp::detail::aterm_pool | inlineprivate |
| size() const | atermpp::detail::aterm_pool | inline |
| thread_aterm_pool | atermpp::detail::aterm_pool | friend |
| ~aterm_pool() | atermpp::detail::aterm_pool | inline |
1.9.7