mcrl2::lps::highway_todo_set

Include file:

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

Protected attributes

std::random_device device
std::mt19937 generator
std::size_t L
std::size_t N
std::size_t n

Public member functions

state choose_element() override
state choose_element() override
void finish_state() override
void finish_state() override
highway_todo_set(const state &init, std::size_t N_)
highway_todo_set(const state &init, std::size_t N_)
highway_todo_set(ForwardIterator first, ForwardIterator last, std::size_t N_)
highway_todo_set(ForwardIterator first, ForwardIterator last, std::size_t N_)
void insert(const state &s) override
void insert(const state &s) override