- Generated by
1.9.7
|
mCRL2
|
This class allocates _aterm_appl objects where the size is based on the arity of the function symbol. More...
#include <aterm.h>
Classes | |
| struct | rebind |
Public Types | |
| using | size_type = std::size_t |
| using | pointer = T * |
| using | value_type = T |
Public Member Functions | |
| template<typename ForwardIterator > | |
| T * | allocate_args (const function_symbol &symbol, ForwardIterator, ForwardIterator) |
| Allocates space for an _aterm_appl where the arity is given by the function symbol. | |
| T * | allocate_args (const function_symbol &symbol, unprotected_aterm_core *) |
| Allocates space for an _aterm_appl where the arity is given by the function symbol. | |
| template<typename ForwardIterator > | |
| void | construct (T *element, const function_symbol &symbol, ForwardIterator begin, ForwardIterator end) |
| Constructs an _aterm_appl with arguments taken from begin, the arity is given by the function symbol. | |
| void | destroy (T *element) |
| Specialize destroy for _aterm_appl to only destroy the function symbol. The reference count for the aterm does not have to be decreased. | |
| void | deallocate (T *element, std::size_t) |
| constexpr std::size_t | capacity () const |
| constexpr std::size_t | consolidate () const noexcept |
| constexpr bool | has_free_slots () const noexcept |
Static Private Member Functions | |
| static constexpr std::size_t | term_appl_size (std::size_t arity) |
Private Attributes | |
| std::allocator< char > | m_packed_allocator |
This class allocates _aterm_appl objects where the size is based on the arity of the function symbol.
The template T is required to be an object that implicitly converts to an _aterm_appl.
| using atermpp::detail::_aterm_appl_allocator< T >::pointer = T* |
| using atermpp::detail::_aterm_appl_allocator< T >::size_type = std::size_t |
| using atermpp::detail::_aterm_appl_allocator< T >::value_type = T |
|
inline |
Allocates space for an _aterm_appl where the arity is given by the function symbol.
|
inline |
Allocates space for an _aterm_appl where the arity is given by the function symbol.
Assumes that arguments contains symbol.arity() number of terms.
|
inlineconstexpr |
|
inlineconstexprnoexcept |
|
inline |
Constructs an _aterm_appl with arguments taken from begin, the arity is given by the function symbol.
|
inline |
|
inline |
Specialize destroy for _aterm_appl to only destroy the function symbol. The reference count for the aterm does not have to be decreased.
|
inlineconstexprnoexcept |
|
inlinestaticconstexprprivate |
|
private |
1.9.7