atermpp::detail::_aterm_appl_allocator< T >::rebind< U > Struct Template Reference

#include <aterm.h>

Public Types
typedef _aterm_appl_allocator< U >	other

Detailed Description

template<typename T = _term_appl>
template<class U>
struct atermpp::detail::_aterm_appl_allocator< T >::rebind< U >

Definition at line 134 of file aterm.h.

Member Typedef Documentation

other

template<typename T = _term_appl>

template<class U >

typedef _aterm_appl_allocator<U> atermpp::detail::_aterm_appl_allocator< T >::rebind< U >::other

Definition at line 136 of file aterm.h.

---

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

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