mCRL2
Loading...
Searching...
No Matches
atermpp::deque< T, Alloc > Class Template Reference

A deque class in which aterms can be stored. More...

#include <deque.h>

Inheritance diagram for atermpp::deque< T, Alloc >:

Public Types

typedef super::allocator_type allocator_type
 Standard typedefs.
 
typedef super::value_type value_type
 
typedef super::size_type size_type
 
typedef super::reference reference
 
typedef super::iterator iterator
 
typedef super::const_iterator const_iterator
 

Public Member Functions

 deque ()
 Default constructor.
 
 deque (const allocator_type &alloc)
 Constructor.
 
 deque (size_type n, const allocator_type &alloc=allocator_type())
 Constructor.
 
 deque (size_type n, const value_type &val, const allocator_type &alloc=allocator_type())
 Constructor.
 
template<class InputIterator >
 deque (InputIterator first, InputIterator last, const allocator_type &alloc=allocator_type())
 Constructor.
 
 deque (const deque &x)
 Constructor.
 
 deque (const deque &x, const allocator_type &alloc)
 Constructor.
 
 deque (deque &&x)
 Constructor.
 
 deque (deque &&x, const allocator_type &alloc)
 Constructor.
 
 deque (std::initializer_list< value_type > il, const allocator_type &alloc=allocator_type())
 Constructor.
 
dequeoperator= (const deque &other)=default
 Copy assignment operator.
 
dequeoperator= (deque &&other)=default
 Move assignment operator.
 
 ~deque ()=default
 Standard destructor.
 
void shrink_to_fit ()
 
void clear () noexcept
 
iterator insert (const_iterator pos, const T &value)
 
iterator insert (const_iterator pos, T &&value)
 
iterator insert (const_iterator pos, size_type count, const T &value)
 
template<class InputIt >
iterator insert (const_iterator pos, InputIt first, InputIt last)
 
iterator insert (const_iterator pos, std::initializer_list< T > ilist)
 
template<class... Args>
iterator emplace (const_iterator pos, Args &&... args)
 
iterator erase (const_iterator pos)
 
iterator erase (const_iterator first, const_iterator last)
 
void push_back (const T &value)
 
void push_back (T &&value)
 
template<class... Args>
reference emplace_back (Args &&... args)
 
void pop_back ()
 
void push_front (const T &value)
 
void push_front (T &&value)
 
template<class... Args>
reference emplace_front (Args &&... args)
 
void resize (size_type count)
 
void resize (size_type count, const value_type &value)
 
std::size_t size () const
 
void swap (deque &other) noexcept
 

Protected Types

typedef std::deque< detail::reference_aterm< T >, Alloc > super
 

Protected Attributes

detail::generic_aterm_container< std::deque< detail::reference_aterm< T >, Alloc > > container_wrapper
 

Detailed Description

template<class T, class Alloc = std::allocator<detail::reference_aterm<T> >>
class atermpp::deque< T, Alloc >

A deque class in which aterms can be stored.

Definition at line 33 of file deque.h.

Member Typedef Documentation

◆ allocator_type

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
typedef super::allocator_type atermpp::deque< T, Alloc >::allocator_type

Standard typedefs.

Definition at line 43 of file deque.h.

◆ const_iterator

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
typedef super::const_iterator atermpp::deque< T, Alloc >::const_iterator

Definition at line 48 of file deque.h.

◆ iterator

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
typedef super::iterator atermpp::deque< T, Alloc >::iterator

Definition at line 47 of file deque.h.

◆ reference

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
typedef super::reference atermpp::deque< T, Alloc >::reference

Definition at line 46 of file deque.h.

◆ size_type

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
typedef super::size_type atermpp::deque< T, Alloc >::size_type

Definition at line 45 of file deque.h.

◆ super

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
typedef std::deque< detail::reference_aterm<T>, Alloc > atermpp::deque< T, Alloc >::super
protected

Definition at line 36 of file deque.h.

◆ value_type

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
typedef super::value_type atermpp::deque< T, Alloc >::value_type

Definition at line 44 of file deque.h.

Constructor & Destructor Documentation

◆ deque() [1/10]

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
atermpp::deque< T, Alloc >::deque ( )
inline

Default constructor.

Definition at line 51 of file deque.h.

◆ deque() [2/10]

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
atermpp::deque< T, Alloc >::deque ( const allocator_type alloc)
inlineexplicit

Constructor.

Definition at line 57 of file deque.h.

◆ deque() [3/10]

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
atermpp::deque< T, Alloc >::deque ( size_type  n,
const allocator_type alloc = allocator_type() 
)
inlineexplicit

Constructor.

Definition at line 63 of file deque.h.

◆ deque() [4/10]

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
atermpp::deque< T, Alloc >::deque ( size_type  n,
const value_type val,
const allocator_type alloc = allocator_type() 
)
inline

Constructor.

Definition at line 69 of file deque.h.

◆ deque() [5/10]

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
template<class InputIterator >
atermpp::deque< T, Alloc >::deque ( InputIterator  first,
InputIterator  last,
const allocator_type alloc = allocator_type() 
)
inline

Constructor.

Definition at line 76 of file deque.h.

◆ deque() [6/10]

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
atermpp::deque< T, Alloc >::deque ( const deque< T, Alloc > &  x)
inline

Constructor.

Definition at line 82 of file deque.h.

◆ deque() [7/10]

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
atermpp::deque< T, Alloc >::deque ( const deque< T, Alloc > &  x,
const allocator_type alloc 
)
inline

Constructor.

Definition at line 88 of file deque.h.

◆ deque() [8/10]

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
atermpp::deque< T, Alloc >::deque ( deque< T, Alloc > &&  x)
inline

Constructor.

Definition at line 94 of file deque.h.

◆ deque() [9/10]

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
atermpp::deque< T, Alloc >::deque ( deque< T, Alloc > &&  x,
const allocator_type alloc 
)
inline

Constructor.

Definition at line 100 of file deque.h.

◆ deque() [10/10]

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
atermpp::deque< T, Alloc >::deque ( std::initializer_list< value_type il,
const allocator_type alloc = allocator_type() 
)
inline

Constructor.

Definition at line 106 of file deque.h.

◆ ~deque()

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
atermpp::deque< T, Alloc >::~deque ( )
default

Standard destructor.

Member Function Documentation

◆ clear()

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
void atermpp::deque< T, Alloc >::clear ( )
inlinenoexcept

Definition at line 126 of file deque.h.

◆ emplace()

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
template<class... Args>
iterator atermpp::deque< T, Alloc >::emplace ( const_iterator  pos,
Args &&...  args 
)
inline

Definition at line 165 of file deque.h.

◆ emplace_back()

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
template<class... Args>
reference atermpp::deque< T, Alloc >::emplace_back ( Args &&...  args)
inline

Definition at line 196 of file deque.h.

◆ emplace_front()

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
template<class... Args>
reference atermpp::deque< T, Alloc >::emplace_front ( Args &&...  args)
inline

Definition at line 221 of file deque.h.

◆ erase() [1/2]

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
iterator atermpp::deque< T, Alloc >::erase ( const_iterator  first,
const_iterator  last 
)
inline

Definition at line 177 of file deque.h.

◆ erase() [2/2]

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
iterator atermpp::deque< T, Alloc >::erase ( const_iterator  pos)
inline

Definition at line 171 of file deque.h.

◆ insert() [1/5]

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
iterator atermpp::deque< T, Alloc >::insert ( const_iterator  pos,
const T &  value 
)
inline

Definition at line 132 of file deque.h.

◆ insert() [2/5]

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
template<class InputIt >
iterator atermpp::deque< T, Alloc >::insert ( const_iterator  pos,
InputIt  first,
InputIt  last 
)
inline

Definition at line 151 of file deque.h.

◆ insert() [3/5]

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
iterator atermpp::deque< T, Alloc >::insert ( const_iterator  pos,
size_type  count,
const T &  value 
)
inline

Definition at line 144 of file deque.h.

◆ insert() [4/5]

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
iterator atermpp::deque< T, Alloc >::insert ( const_iterator  pos,
std::initializer_list< T >  ilist 
)
inline

Definition at line 158 of file deque.h.

◆ insert() [5/5]

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
iterator atermpp::deque< T, Alloc >::insert ( const_iterator  pos,
T &&  value 
)
inline

Definition at line 138 of file deque.h.

◆ operator=() [1/2]

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
deque & atermpp::deque< T, Alloc >::operator= ( const deque< T, Alloc > &  other)
default

Copy assignment operator.

◆ operator=() [2/2]

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
deque & atermpp::deque< T, Alloc >::operator= ( deque< T, Alloc > &&  other)
default

Move assignment operator.

◆ pop_back()

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
void atermpp::deque< T, Alloc >::pop_back ( )
inline

Definition at line 202 of file deque.h.

◆ push_back() [1/2]

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
void atermpp::deque< T, Alloc >::push_back ( const T &  value)
inline

Definition at line 183 of file deque.h.

◆ push_back() [2/2]

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
void atermpp::deque< T, Alloc >::push_back ( T &&  value)
inline

Definition at line 189 of file deque.h.

◆ push_front() [1/2]

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
void atermpp::deque< T, Alloc >::push_front ( const T &  value)
inline

Definition at line 208 of file deque.h.

◆ push_front() [2/2]

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
void atermpp::deque< T, Alloc >::push_front ( T &&  value)
inline

Definition at line 214 of file deque.h.

◆ resize() [1/2]

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
void atermpp::deque< T, Alloc >::resize ( size_type  count)
inline

Definition at line 227 of file deque.h.

◆ resize() [2/2]

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
void atermpp::deque< T, Alloc >::resize ( size_type  count,
const value_type value 
)
inline

Definition at line 233 of file deque.h.

◆ shrink_to_fit()

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
void atermpp::deque< T, Alloc >::shrink_to_fit ( )
inline

Definition at line 120 of file deque.h.

◆ size()

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
std::size_t atermpp::deque< T, Alloc >::size ( ) const
inline

Definition at line 239 of file deque.h.

◆ swap()

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
void atermpp::deque< T, Alloc >::swap ( deque< T, Alloc > &  other)
inlinenoexcept

Definition at line 244 of file deque.h.

Member Data Documentation

◆ container_wrapper

template<class T , class Alloc = std::allocator<detail::reference_aterm<T> >>
detail::generic_aterm_container<std::deque<detail::reference_aterm<T>, Alloc> > atermpp::deque< T, Alloc >::container_wrapper
protected

Definition at line 38 of file deque.h.


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