Include file:
#include "mcrl2/atermpp/standard_containers/deque.h
atermpp::
deque
¶A deque class in which aterms can be stored.
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
(std::initializer_list<value_type> il, const allocator_type &alloc = allocator_type())¶Constructor.
~deque
() = default¶Standard destructor.