mcrl2::lts::detail::embedded_list_node< TYPE > Class Template Reference

#include <embedded_list.h>

Protected Attributes
TYPE *	m_next
TYPE *	m_prev

Friends
template<class T >
class	embedded_list

Detailed Description

template<class TYPE>
class mcrl2::lts::detail::embedded_list_node< TYPE >

Definition at line 36 of file embedded_list.h.

Friends And Related Symbol Documentation

embedded_list

template<class TYPE >

template<class T >

friend class embedded_list

friend

Definition at line 39 of file embedded_list.h.

Member Data Documentation

m_next

template<class TYPE >

TYPE* mcrl2::lts::detail::embedded_list_node< TYPE >::m_next

protected

Definition at line 42 of file embedded_list.h.

m_prev

template<class TYPE >

TYPE* mcrl2::lts::detail::embedded_list_node< TYPE >::m_prev

protected

Definition at line 43 of file embedded_list.h.

---

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

• lts/include/mcrl2/lts/detail/embedded_list.h