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

empty entry, used for the sentinel More...

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

Protected Member Functions

 empty_entry (empty_entry *const new_next, empty_entry *const new_prev)
 

Protected Attributes

empty_entrynext
 pointer to the next element in the list
 
empty_entryprev
 pointer to the previous element in the list
 

Friends

class simple_list
 

Detailed Description

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

empty entry, used for the sentinel

Definition at line 400 of file liblts_bisim_dnj.h.

Constructor & Destructor Documentation

◆ empty_entry()

template<class T >
mcrl2::lts::detail::bisim_dnj::simple_list< T >::empty_entry::empty_entry ( empty_entry *const  new_next,
empty_entry *const  new_prev 
)
inlineprotected

Definition at line 409 of file liblts_bisim_dnj.h.

Friends And Related Symbol Documentation

◆ simple_list

template<class T >
friend class simple_list
friend

Definition at line 414 of file liblts_bisim_dnj.h.

Member Data Documentation

◆ next

template<class T >
empty_entry* mcrl2::lts::detail::bisim_dnj::simple_list< T >::empty_entry::next
protected

pointer to the next element in the list

Definition at line 404 of file liblts_bisim_dnj.h.

◆ prev

template<class T >
empty_entry* mcrl2::lts::detail::bisim_dnj::simple_list< T >::empty_entry::prev
protected

pointer to the previous element in the list

Definition at line 407 of file liblts_bisim_dnj.h.


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