atermpp::stack

Include file:

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

class atermpp::stack

A deque class in which aterms can be stored.

Public types

type atermpp::stack::allocator_type

typedef for Container::allocator_type

Standard typedefs.

type atermpp::stack::const_iterator

typedef for Container::const_iterator

type atermpp::stack::const_reference

typedef for Container::const_reference

type atermpp::stack::iterator

typedef for Container::iterator

type atermpp::stack::reference

typedef for Container::reference

type atermpp::stack::size_type

typedef for Container::size_type

type atermpp::stack::value_type

typedef for Container::value_type

Private attributes

Container atermpp::stack::m_container

Public member functions

void emplace(Args&&... args)

bool empty() const

void mark(std::stack<std::reference_wrapper<detail::_aterm>> &todo) const

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

Copy assignment operator.

stack &operator=(stack &&other) = default

Move assignment operator.

void pop()

void push(const value_type &value)

void push(value_type &&value)

size_type size() const

stack(const Alloc &alloc)

stack(const Container &cont, const Alloc &alloc)

stack(const Container &cont = Container())

Constructor.

stack(const stack &other) = default

stack(const stack &other, const Alloc &alloc)

stack(Container &&cont)

Constructor.

stack(Container &&cont, const Alloc &alloc)

stack(InputIt first, InputIt last)

Constructor.

stack(InputIt first, InputIt last, const Alloc &alloc)

stack(InputIterator first, InputIterator last, const allocator_type &alloc = allocator_type())

Constructor.

stack(stack &&other) = default

stack(stack &&other, const Alloc &alloc)

void swap(stack &other) noexcept

reference top()

const_reference top() const

~stack() = default

Standard destructor.