mcrl2::lps::breadth_first_todo_set Class Reference

#include <explorer.h>

Inheritance diagram for mcrl2::lps::breadth_first_todo_set:

Public Member Functions
	breadth_first_todo_set ()
	breadth_first_todo_set (const state &init)
template<typename ForwardIterator >
	breadth_first_todo_set (ForwardIterator first, ForwardIterator last)
void	choose_element (state &result) override
void	insert (const state &s) override
atermpp::deque< state > &	todo_buffer ()
void	swap (breadth_first_todo_set &other)
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< state >	todo

Detailed Description

Definition at line 105 of file explorer.h.

Constructor & Destructor Documentation

breadth_first_todo_set() [1/3]

mcrl2::lps::breadth_first_todo_set::breadth_first_todo_set ( )

inlineexplicit

Definition at line 108 of file explorer.h.

breadth_first_todo_set() [2/3]

mcrl2::lps::breadth_first_todo_set::breadth_first_todo_set ( const state &  init )

inlineexplicit

Definition at line 112 of file explorer.h.

breadth_first_todo_set() [3/3]

template<typename ForwardIterator >

mcrl2::lps::breadth_first_todo_set::breadth_first_todo_set ( ForwardIterator  first, ForwardIterator  last  )

inline

Definition at line 117 of file explorer.h.

Member Function Documentation

choose_element()

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

inlineoverridevirtual

Reimplemented from mcrl2::lps::todo_set.

Definition at line 121 of file explorer.h.

insert()

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

inlineoverridevirtual

Reimplemented from mcrl2::lps::todo_set.

Definition at line 127 of file explorer.h.

swap()

void mcrl2::lps::breadth_first_todo_set::swap ( breadth_first_todo_set &  other )

inline

Definition at line 137 of file explorer.h.

todo_buffer()

atermpp::deque< state > & mcrl2::lps::breadth_first_todo_set::todo_buffer ( )

inline

Definition at line 132 of file explorer.h.

---

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

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