mCRL2
Loading...
Searching...
No Matches
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

Definition at line 293 of file liblts_bisim_gj.h.

◆ m_free_list

Definition at line 294 of file liblts_bisim_gj.h.


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