mcrl2::lps::todo_set¶

Include file:

#include "mcrl2/lps/explorer.h

class mcrl2::lps::todo_set¶

Protected attributes¶

atermpp::deque<state> mcrl2::lps::todo_set::todo¶

Public member functions¶

virtual void choose_element(state &result)

virtual bool empty() const

virtual void finish_state()

virtual void insert(const state &s)

virtual std::size_t size() const

todo_set()¶

todo_set(const state &init)¶

todo_set(ForwardIterator first, ForwardIterator last)¶

virtual ~todo_set() = default¶