mcrl2::lps::highway_todo_set Class Reference

#include <explorer.h>

Inheritance diagram for mcrl2::lps::highway_todo_set:

Public Member Functions
	highway_todo_set (const state &init, std::size_t N_)
template<typename ForwardIterator >
	highway_todo_set (ForwardIterator first, ForwardIterator last, std::size_t N_)
void	choose_element (state &result) override
void	insert (const state &s) override
std::size_t	size () const override
bool	empty () const override
void	finish_state () override
Public Member Functions inherited from mcrl2::lps::todo_set
	todo_set ()
	todo_set (const state &init)
template<typename ForwardIterator >
	todo_set (ForwardIterator first, ForwardIterator last)
virtual	~todo_set ()=default
virtual void	choose_element (state &result)
virtual void	insert (const state &s)
virtual void	finish_state ()
virtual bool	empty () const
virtual std::size_t	size () const

Protected Attributes
std::size_t	N
breadth_first_todo_set	new_states
std::size_t	n =0
std::random_device	device
std::mt19937	generator
Protected Attributes inherited from mcrl2::lps::todo_set
atermpp::deque< state >	todo

Detailed Description

Definition at line 167 of file explorer.h.

Constructor & Destructor Documentation

highway_todo_set() [1/2]

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

inlineexplicit

Definition at line 177 of file explorer.h.

highway_todo_set() [2/2]

template<typename ForwardIterator >

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

inline

Definition at line 187 of file explorer.h.

Member Function Documentation

choose_element()

void mcrl2::lps::highway_todo_set::choose_element ( state &  result )

inlineoverridevirtual

Reimplemented from mcrl2::lps::todo_set.

Definition at line 198 of file explorer.h.

empty()

bool mcrl2::lps::highway_todo_set::empty ( ) const

inlineoverridevirtual

Reimplemented from mcrl2::lps::todo_set.

Definition at line 233 of file explorer.h.

finish_state()

void mcrl2::lps::highway_todo_set::finish_state ( )

inlineoverridevirtual

Reimplemented from mcrl2::lps::todo_set.

Definition at line 238 of file explorer.h.

insert()

void mcrl2::lps::highway_todo_set::insert ( const state &  s )

inlineoverridevirtual

Reimplemented from mcrl2::lps::todo_set.

Definition at line 209 of file explorer.h.

size()

std::size_t mcrl2::lps::highway_todo_set::size ( ) const

inlineoverridevirtual

Reimplemented from mcrl2::lps::todo_set.

Definition at line 228 of file explorer.h.

Member Data Documentation

device

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

protected

Definition at line 173 of file explorer.h.

generator

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

protected

Definition at line 174 of file explorer.h.

N

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

protected

Definition at line 170 of file explorer.h.

n

std::size_t mcrl2::lps::highway_todo_set::n =0

protected

Definition at line 172 of file explorer.h.

new_states

breadth_first_todo_set mcrl2::lps::highway_todo_set::new_states

protected

Definition at line 171 of file explorer.h.

---

The documentation for this class was generated from the following file:

• lps/include/mcrl2/lps/explorer.h