mcrl2::lts::detail::bisimulation_gj::global_linked_list_administration< T > Struct Template Reference

#include <liblts_bisim_gj.h>

Public Attributes
std::deque< linked_list_node< T > >	m_content
linked_list_iterator< T >	m_free_list =nullptr

Detailed Description

template<class T>
struct mcrl2::lts::detail::bisimulation_gj::global_linked_list_administration< T >

Definition at line 291 of file liblts_bisim_gj.h.

Member Data Documentation

m_content

template<class T >

std::deque<linked_list_node<T> > mcrl2::lts::detail::bisimulation_gj::global_linked_list_administration< T >::m_content

Definition at line 293 of file liblts_bisim_gj.h.

m_free_list

template<class T >

linked_list_iterator<T> mcrl2::lts::detail::bisimulation_gj::global_linked_list_administration< T >::m_free_list =nullptr

Definition at line 294 of file liblts_bisim_gj.h.

---

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

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