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

Detailed Description

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

Definition at line 52 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 95 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 213 of file embedded_list.h.

back()

template<class TYPE >

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

inline

Definition at line 119 of file embedded_list.h.

begin()

template<class TYPE >

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

inline

Definition at line 290 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 78 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 61 of file embedded_list.h.

clear()

template<class TYPE >

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

inline

Definition at line 202 of file embedded_list.h.

end()

template<class TYPE >

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

inline

Definition at line 296 of file embedded_list.h.

erase()

template<class TYPE >

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

inline

Definition at line 169 of file embedded_list.h.

front()

template<class TYPE >

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

inline

Definition at line 112 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 126 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 147 of file embedded_list.h.

size()

template<class TYPE >

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

inline

Definition at line 106 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 55 of file embedded_list.h.

m_last

template<class TYPE >

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

protected

Definition at line 56 of file embedded_list.h.

m_size

template<class TYPE >

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

protected

Definition at line 57 of file embedded_list.h.

---

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

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