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::L
std::size_t mcrl2::lps::highway_todo_set::N
std::size_t mcrl2::lps::highway_todo_set::n

Public member functions

state choose_element() 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