mcrl2::lps::todo_set

Include file:

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

Protected attributes

std::deque<state> mcrl2::lps::todo_set::todo

Public member functions

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