atermpp::detail::aterm_allocator< T, Allocator >::rebind< U > Struct Template Reference

#include <aterm_container.h>

Public Types
typedef aterm_allocator< U, typename Allocator::template rebind< U >::other >	other

Detailed Description

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

Definition at line 411 of file aterm_container.h.

Member Typedef Documentation

other

template<typename T , typename Allocator >

template<class U >

typedef aterm_allocator<U, typename Allocator::template rebind<U>::other> atermpp::detail::aterm_allocator< T, Allocator >::rebind< U >::other

Definition at line 413 of file aterm_container.h.

---

The documentation for this struct was generated from the following file:

• atermpp/include/mcrl2/atermpp/detail/aterm_container.h