mCRL2
Loading...
Searching...
No Matches
atermpp::detail::aterm_allocator< T, Allocator > Class Template Reference

#include <aterm_container.h>

Classes

struct  rebind
 

Public Types

using value_type = T
 
using size_type = std::size_t
 
using difference_type = std::ptrdiff_t
 

Public Member Functions

 aterm_allocator ()=default
 
T * allocate (size_type n, const void *hint=nullptr)
 
void deallocate (T *p, size_type n)
 
 aterm_allocator (aterm_allocator &&)=default
 
aterm_allocatoroperator= (aterm_allocator &&)=default
 

Private Attributes

Allocator m_allocator
 

Detailed Description

template<typename T, typename Allocator>
class atermpp::detail::aterm_allocator< T, Allocator >

Definition at line 401 of file aterm_container.h.

Member Typedef Documentation

◆ difference_type

template<typename T , typename Allocator >
using atermpp::detail::aterm_allocator< T, Allocator >::difference_type = std::ptrdiff_t

Definition at line 406 of file aterm_container.h.

◆ size_type

template<typename T , typename Allocator >
using atermpp::detail::aterm_allocator< T, Allocator >::size_type = std::size_t

Definition at line 405 of file aterm_container.h.

◆ value_type

template<typename T , typename Allocator >
using atermpp::detail::aterm_allocator< T, Allocator >::value_type = T

Definition at line 404 of file aterm_container.h.

Constructor & Destructor Documentation

◆ aterm_allocator() [1/2]

template<typename T , typename Allocator >
atermpp::detail::aterm_allocator< T, Allocator >::aterm_allocator ( )
default

◆ aterm_allocator() [2/2]

template<typename T , typename Allocator >
atermpp::detail::aterm_allocator< T, Allocator >::aterm_allocator ( aterm_allocator< T, Allocator > &&  )
default

Member Function Documentation

◆ allocate()

template<typename T , typename Allocator >
T * atermpp::detail::aterm_allocator< T, Allocator >::allocate ( size_type  n,
const void *  hint = nullptr 
)
inline

The unused parameter is to make the interface equivalent to the allocator.

Definition at line 420 of file aterm_container.h.

◆ deallocate()

template<typename T , typename Allocator >
void atermpp::detail::aterm_allocator< T, Allocator >::deallocate ( T *  p,
size_type  n 
)

The unused parameter is to make the interface equivalent to the allocator.

Definition at line 41 of file aterm_implementation.h.

◆ operator=()

template<typename T , typename Allocator >
aterm_allocator & atermpp::detail::aterm_allocator< T, Allocator >::operator= ( aterm_allocator< T, Allocator > &&  )
default

Member Data Documentation

◆ m_allocator

template<typename T , typename Allocator >
Allocator atermpp::detail::aterm_allocator< T, Allocator >::m_allocator
private

Definition at line 434 of file aterm_container.h.


The documentation for this class was generated from the following files: