mcrl2::lps::highway_todo_set

Include file:

#include "mcrl2/lps/explorer.h

class mcrl2::lps::highway_todo_set

Protected attributes

std::random_device mcrl2::lps::highway_todo_set::device

std::mt19937 mcrl2::lps::highway_todo_set::generator

std::size_t mcrl2::lps::highway_todo_set::N

std::size_t mcrl2::lps::highway_todo_set::n

breadth_first_todo_set mcrl2::lps::highway_todo_set::new_states

Public member functions

void choose_element(state &result) override

bool empty() const override

void finish_state() override

highway_todo_set(const state &init, std::size_t N_)

highway_todo_set(ForwardIterator first, ForwardIterator last, std::size_t N_)

void insert(const state &s) override

std::size_t size() const override