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

#include <explorer.h>

Inheritance diagram for mcrl2::lps::depth_first_todo_set:
mcrl2::lps::todo_set

Public Member Functions

 depth_first_todo_set (const state &init)
 
template<typename ForwardIterator >
 depth_first_todo_set (ForwardIterator first, ForwardIterator last)
 
void choose_element (state &result) override
 
void insert (const state &s) 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
 

Additional Inherited Members

- Protected Attributes inherited from mcrl2::lps::todo_set
atermpp::deque< statetodo
 

Detailed Description

Definition at line 143 of file explorer.h.

Constructor & Destructor Documentation

◆ depth_first_todo_set() [1/2]

mcrl2::lps::depth_first_todo_set::depth_first_todo_set ( const state init)
inlineexplicit

Definition at line 146 of file explorer.h.

◆ depth_first_todo_set() [2/2]

template<typename ForwardIterator >
mcrl2::lps::depth_first_todo_set::depth_first_todo_set ( ForwardIterator  first,
ForwardIterator  last 
)
inline

Definition at line 151 of file explorer.h.

Member Function Documentation

◆ choose_element()

void mcrl2::lps::depth_first_todo_set::choose_element ( state result)
inlineoverridevirtual

Reimplemented from mcrl2::lps::todo_set.

Definition at line 155 of file explorer.h.

◆ insert()

void mcrl2::lps::depth_first_todo_set::insert ( const state s)
inlineoverridevirtual

Reimplemented from mcrl2::lps::todo_set.

Definition at line 161 of file explorer.h.


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