mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::detail::bisim_dnj::simple_list< T >::entry Class Reference

list entry More...

#include <liblts_bisim_dnj.h>

Inheritance diagram for mcrl2::lts::detail::bisim_dnj::simple_list< T >::entry:
mcrl2::lts::detail::bisim_dnj::simple_list< T >::empty_entry

Public Member Functions

template<class... Args>
 entry (empty_entry *const new_next, empty_entry *const new_prev, Args &&... args)
 

Private Attributes

data
 

Friends

class simple_list
 

Additional Inherited Members

- Protected Member Functions inherited from mcrl2::lts::detail::bisim_dnj::simple_list< T >::empty_entry
 empty_entry (empty_entry *const new_next, empty_entry *const new_prev)
 
- Protected Attributes inherited from mcrl2::lts::detail::bisim_dnj::simple_list< T >::empty_entry
empty_entrynext
 pointer to the next element in the list
 
empty_entryprev
 pointer to the previous element in the list
 

Detailed Description

template<class T>
class mcrl2::lts::detail::bisim_dnj::simple_list< T >::entry

list entry

If the list is to use the pool allocator, its designated type must be simple_list::entry so elements can be erased.

Definition at line 425 of file liblts_bisim_dnj.h.

Constructor & Destructor Documentation

◆ entry()

template<class T >
template<class... Args>
mcrl2::lts::detail::bisim_dnj::simple_list< T >::entry::entry ( empty_entry *const  new_next,
empty_entry *const  new_prev,
Args &&...  args 
)
inline

Definition at line 433 of file liblts_bisim_dnj.h.

Friends And Related Symbol Documentation

◆ simple_list

template<class T >
friend class simple_list
friend

Definition at line 430 of file liblts_bisim_dnj.h.

Member Data Documentation

◆ data

template<class T >
T mcrl2::lts::detail::bisim_dnj::simple_list< T >::entry::data
private

Definition at line 428 of file liblts_bisim_dnj.h.


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