mcrl2::lps::todo_set

Include file:

#include "mcrl2/lps/explorer-cpp17.h
class mcrl2::lps::todo_set

Protected attributes

std::deque<state> todo

Public member functions

virtual state choose_element() = 0
virtual state choose_element() = 0
bool empty() const
bool empty() const
virtual void finish_state()
virtual void finish_state()
virtual void insert(const state &s) = 0
virtual void insert(const state &s) = 0
std::size_t size() const
std::size_t size() const
todo_set(const state &init)
todo_set(const state &init)
todo_set(ForwardIterator first, ForwardIterator last)
todo_set(ForwardIterator first, ForwardIterator last)
virtual ~todo_set() = default
virtual ~todo_set() = default