mcrl2::lts::detail::embedded_list< TYPE > Class Template Reference

#include <embedded_list.h>

Classes
class	iterator

Public Member Functions
	embedded_list ()
	embedded_list (const embedded_list &other)=default
embedded_list &	operator= (const embedded_list &other)=default
std::size_t	size () const
TYPE &	front ()
TYPE &	back ()
void	push_back (TYPE &e)
void	push_front (TYPE &e)
void	erase (TYPE &e)
void	clear ()
void	append (embedded_list &l)
iterator	begin () const
iterator	end () const

Protected Member Functions
bool	check_this_embedded_list () const
bool	check_presence (const TYPE &e) const

Protected Attributes
TYPE *	m_first
TYPE *	m_last
std::size_t	m_size = 0

Detailed Description

template<class TYPE>
class mcrl2::lts::detail::embedded_list< TYPE >

Definition at line 48 of file embedded_list.h.

Constructor & Destructor Documentation

embedded_list() [1/2]

template<class TYPE >

mcrl2::lts::detail::embedded_list< TYPE >::embedded_list ( )

inline

Definition at line 91 of file embedded_list.h.

embedded_list() [2/2]

template<class TYPE >

mcrl2::lts::detail::embedded_list< TYPE >::embedded_list ( const embedded_list< TYPE > &  other )

default

Member Function Documentation

append()

template<class TYPE >

void mcrl2::lts::detail::embedded_list< TYPE >::append ( embedded_list< TYPE > &  l )

inline

Definition at line 209 of file embedded_list.h.

back()

template<class TYPE >

TYPE & mcrl2::lts::detail::embedded_list< TYPE >::back ( )

inline

Definition at line 115 of file embedded_list.h.

begin()

template<class TYPE >

iterator mcrl2::lts::detail::embedded_list< TYPE >::begin ( ) const

inline

Definition at line 286 of file embedded_list.h.

check_presence()

template<class TYPE >

bool mcrl2::lts::detail::embedded_list< TYPE >::check_presence ( const TYPE &  e ) const

inlineprotected

Definition at line 74 of file embedded_list.h.

check_this_embedded_list()

template<class TYPE >

bool mcrl2::lts::detail::embedded_list< TYPE >::check_this_embedded_list ( ) const

inlineprotected

Definition at line 57 of file embedded_list.h.

clear()

template<class TYPE >

void mcrl2::lts::detail::embedded_list< TYPE >::clear ( )

inline

Definition at line 198 of file embedded_list.h.

end()

template<class TYPE >

iterator mcrl2::lts::detail::embedded_list< TYPE >::end ( ) const

inline

Definition at line 292 of file embedded_list.h.

erase()

template<class TYPE >

void mcrl2::lts::detail::embedded_list< TYPE >::erase ( TYPE &  e )

inline

Definition at line 165 of file embedded_list.h.

front()

template<class TYPE >

TYPE & mcrl2::lts::detail::embedded_list< TYPE >::front ( )

inline

Definition at line 108 of file embedded_list.h.

operator=()

template<class TYPE >

embedded_list & mcrl2::lts::detail::embedded_list< TYPE >::operator= ( const embedded_list< TYPE > &  other )

default

push_back()

template<class TYPE >

void mcrl2::lts::detail::embedded_list< TYPE >::push_back ( TYPE &  e )

inline

Definition at line 122 of file embedded_list.h.

push_front()

template<class TYPE >

void mcrl2::lts::detail::embedded_list< TYPE >::push_front ( TYPE &  e )

inline

Definition at line 143 of file embedded_list.h.

size()

template<class TYPE >

std::size_t mcrl2::lts::detail::embedded_list< TYPE >::size ( ) const

inline

Definition at line 102 of file embedded_list.h.

Member Data Documentation

m_first

template<class TYPE >

TYPE* mcrl2::lts::detail::embedded_list< TYPE >::m_first

protected

Definition at line 51 of file embedded_list.h.

m_last

template<class TYPE >

TYPE* mcrl2::lts::detail::embedded_list< TYPE >::m_last

protected

Definition at line 52 of file embedded_list.h.

m_size

template<class TYPE >

std::size_t mcrl2::lts::detail::embedded_list< TYPE >::m_size = 0

protected

Definition at line 53 of file embedded_list.h.

---

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

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