mCRL2
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Static Public Member Functions | Public Attributes | List of all members
mcrl2::lts::detail::bisimulation_gj::linked_list< T > Struct Template Reference

#include <liblts_bisim_gj.h>

Public Types

typedef linked_list_const_iterator< T > const_iterator
 
typedef linked_list_iterator< T > iterator
 

Public Member Functions

global_linked_list_administration< T > & glla ()
 
iterator begin () const
 
bool empty () const
 
iterator before_end () const
 
bool check_linked_list () const
 
template<class... Args>
iterator emplace (const iterator pos, Args &&... args)
 
template<class... Args>
iterator emplace_back (Args &&... args)
 Puts a new element at the end.
 
template<class... Args>
iterator emplace_after (const iterator pos, Args &&... args)
 
template<class... Args>
iterator emplace_front (Args &&... args)
 
void splice_to_after (iterator const to_pos, linked_list< T > &from_list, iterator const from_pos)
 
void splice (iterator const to_pos, linked_list< T > &from_list, iterator const from_pos)
 
void erase (iterator const pos)
 
iterator next (iterator pos) const
 
iterator prev (iterator pos) const
 

Static Public Member Functions

static iterator end ()
 

Public Attributes

iterator m_initial_node =nullptr
 

Detailed Description

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

Definition at line 298 of file liblts_bisim_gj.h.

Member Typedef Documentation

◆ const_iterator

template<class T >
typedef linked_list_const_iterator<T> mcrl2::lts::detail::bisimulation_gj::linked_list< T >::const_iterator

Definition at line 300 of file liblts_bisim_gj.h.

◆ iterator

template<class T >
typedef linked_list_iterator<T> mcrl2::lts::detail::bisimulation_gj::linked_list< T >::iterator

Definition at line 301 of file liblts_bisim_gj.h.

Member Function Documentation

◆ before_end()

template<class T >
iterator mcrl2::lts::detail::bisimulation_gj::linked_list< T >::before_end ( ) const
inline

Definition at line 325 of file liblts_bisim_gj.h.

◆ begin()

template<class T >
iterator mcrl2::lts::detail::bisimulation_gj::linked_list< T >::begin ( ) const
inline

Definition at line 310 of file liblts_bisim_gj.h.

◆ check_linked_list()

template<class T >
bool mcrl2::lts::detail::bisimulation_gj::linked_list< T >::check_linked_list ( ) const
inline

Definition at line 332 of file liblts_bisim_gj.h.

◆ emplace()

template<class T >
template<class... Args>
iterator mcrl2::lts::detail::bisimulation_gj::linked_list< T >::emplace ( const iterator  pos,
Args &&...  args 
)
inline

Definition at line 361 of file liblts_bisim_gj.h.

◆ emplace_after()

template<class T >
template<class... Args>
iterator mcrl2::lts::detail::bisimulation_gj::linked_list< T >::emplace_after ( const iterator  pos,
Args &&...  args 
)
inline

Puts a new element after the current element indicated by pos, unless pos==end(), in which it is put in front of the list.

Definition at line 425 of file liblts_bisim_gj.h.

◆ emplace_back()

template<class T >
template<class... Args>
iterator mcrl2::lts::detail::bisimulation_gj::linked_list< T >::emplace_back ( Args &&...  args)
inline

Puts a new element at the end.

Definition at line 417 of file liblts_bisim_gj.h.

◆ emplace_front()

template<class T >
template<class... Args>
iterator mcrl2::lts::detail::bisimulation_gj::linked_list< T >::emplace_front ( Args &&...  args)
inline

Definition at line 482 of file liblts_bisim_gj.h.

◆ empty()

template<class T >
bool mcrl2::lts::detail::bisimulation_gj::linked_list< T >::empty ( ) const
inline

Definition at line 320 of file liblts_bisim_gj.h.

◆ end()

template<class T >
static iterator mcrl2::lts::detail::bisimulation_gj::linked_list< T >::end ( )
inlinestatic

Definition at line 315 of file liblts_bisim_gj.h.

◆ erase()

template<class T >
void mcrl2::lts::detail::bisimulation_gj::linked_list< T >::erase ( iterator const  pos)
inline

Definition at line 653 of file liblts_bisim_gj.h.

◆ glla()

template<class T >
global_linked_list_administration< T > & mcrl2::lts::detail::bisimulation_gj::linked_list< T >::glla ( )
inline

Definition at line 303 of file liblts_bisim_gj.h.

◆ next()

template<class T >
iterator mcrl2::lts::detail::bisimulation_gj::linked_list< T >::next ( iterator  pos) const
inline

The function computes the successor of pos in the list. If pos is the last element of the list, it returns end(). It is an error if pos==end() or if pos is not in the list.

Definition at line 694 of file liblts_bisim_gj.h.

◆ prev()

template<class T >
iterator mcrl2::lts::detail::bisimulation_gj::linked_list< T >::prev ( iterator  pos) const
inline

The function computes the predecessor of pos in the list. If pos is at the beginning of the list, it returns end(). It is an error if pos==end() or if pos is not in the list.

Definition at line 708 of file liblts_bisim_gj.h.

◆ splice()

template<class T >
void mcrl2::lts::detail::bisimulation_gj::linked_list< T >::splice ( iterator const  to_pos,
linked_list< T > &  from_list,
iterator const  from_pos 
)
inline

The function moves the element pointed at by from_pos (that is in the list indicated by the 2nd parameter) just before position to_pos (that is in this list). If to_pos == nullptr, move the element to the end of this list.

Definition at line 576 of file liblts_bisim_gj.h.

◆ splice_to_after()

template<class T >
void mcrl2::lts::detail::bisimulation_gj::linked_list< T >::splice_to_after ( iterator const  to_pos,
linked_list< T > &  from_list,
iterator const  from_pos 
)
inline

The function moves the element pointed at by from_pos (that is in the list indicated by the 2nd parameter) just after position to_pos (that is in this list). If to_pos == nullptr, move the element to the beginning of this list.

Definition at line 491 of file liblts_bisim_gj.h.

Member Data Documentation

◆ m_initial_node

template<class T >
iterator mcrl2::lts::detail::bisimulation_gj::linked_list< T >::m_initial_node =nullptr

Definition at line 308 of file liblts_bisim_gj.h.

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