mcrl2::lps::breadth_first_todo_set

Include file:

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

Public member functions

breadth_first_todo_set(const state &init)
breadth_first_todo_set(const state &init)
breadth_first_todo_set(ForwardIterator first, ForwardIterator last)
breadth_first_todo_set(ForwardIterator first, ForwardIterator last)
state choose_element() override
state choose_element() override
void insert(const state &s) override
void insert(const state &s) override