mcrl2::lps::breadth_first_todo_set

Include file:

#include "mcrl2/lps/explorer.h

class mcrl2::lps::breadth_first_todo_set

Public member functions

breadth_first_todo_set()

breadth_first_todo_set(const state &init)

breadth_first_todo_set(ForwardIterator first, ForwardIterator last)

void choose_element(state &result) override

void insert(const state &s) override

void swap(breadth_first_todo_set &other)

atermpp::deque<state> &todo_buffer()