mCRL2
|
This is the complete list of members for mcrl2::lts::detail::my_pool< T, NR_ELEMENTS >, including all inherited members.
begin_used_in_first_block | mcrl2::lts::detail::my_pool< T, NR_ELEMENTS > | private |
construct(Args &&... args) | mcrl2::lts::detail::my_pool< T, NR_ELEMENTS > | inline |
construct_othersize(Args &&... args) | mcrl2::lts::detail::my_pool< T, NR_ELEMENTS > | inlineprivate |
construct_samesize(Args &&... args) | mcrl2::lts::detail::my_pool< T, NR_ELEMENTS > | inlineprivate |
deref_void(void *addr) | mcrl2::lts::detail::my_pool< T, NR_ELEMENTS > | inlineprivatestatic |
destroy(U *const old_el) | mcrl2::lts::detail::my_pool< T, NR_ELEMENTS > | inline |
first_block | mcrl2::lts::detail::my_pool< T, NR_ELEMENTS > | private |
first_free_T | mcrl2::lts::detail::my_pool< T, NR_ELEMENTS > | private |
my_pool() | mcrl2::lts::detail::my_pool< T, NR_ELEMENTS > | inline |
~my_pool() | mcrl2::lts::detail::my_pool< T, NR_ELEMENTS > | inline |