mCRL2
Loading...
Searching...
No Matches
mcrl2::lps::highway_todo_set Class Reference

#include <explorer.h>

Inheritance diagram for mcrl2::lps::highway_todo_set:
mcrl2::lps::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< statetodo
 

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: