atermpp::deque

Include file:

#include "mcrl2/atermpp/standard_containers/deque.h

class atermpp::deque

A deque class in which aterms can be stored.

Protected types

type atermpp::deque::container_wrapper

typedef for detail::generic_aterm_container< std::deque< detail::reference_aterm< T >, Alloc > >

type atermpp::deque::super

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

Public types

type atermpp::deque::allocator_type

typedef for super::allocator_type

Standard typedefs.

type atermpp::deque::const_iterator

typedef for super::const_iterator

type atermpp::deque::iterator

typedef for super::iterator

type atermpp::deque::reference

typedef for super::reference

type atermpp::deque::size_type

typedef for super::size_type

type atermpp::deque::value_type

typedef for super::value_type

Public member functions

void clear() noexcept

deque()

Default constructor.

deque(const allocator_type &alloc)

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(InputIterator first, InputIterator last, const allocator_type &alloc = allocator_type())

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.

deque(std::initializer_list<value_type> il, const allocator_type &alloc = allocator_type())

Constructor.

iterator emplace(const_iterator pos, Args&&... args)

reference emplace_back(Args&&... args)

reference emplace_front(Args&&... args)

iterator erase(const_iterator first, const_iterator last)

iterator erase(const_iterator pos)

iterator insert(const_iterator pos, const T &value)

iterator insert(const_iterator pos, InputIt first, InputIt last)

iterator insert(const_iterator pos, size_type count, const T &value)

iterator insert(const_iterator pos, std::initializer_list<T> ilist)

iterator insert(const_iterator pos, T &&value)

deque &operator=(const deque &other) = default

Copy assignment operator.

deque &operator=(deque &&other) = default

Move assignment operator.

void pop_back()

void push_back(const T &value)

void push_back(T &&value)

void push_front(const T &value)

void push_front(T &&value)

void resize(size_type count)

void resize(size_type count, const value_type &value)

void shrink_to_fit()

std::size_t size() const override

void swap(deque &other) noexcept

~deque() = default

Standard destructor.