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 Alloc

Standard typedefs.

type atermpp::deque::size_type¶: typedef for super::size_type

type atermpp::deque::value_type¶: typedef for T

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.

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.

deque &operator=(const deque &other) = default¶: Copy assignment operator.

deque &operator=(deque &&other) = default¶: Move assignment operator.

~deque() = default¶: Standard destructor.