mcrl2::lps::todo_set Class Reference

#include <explorer.h>

Inheritance diagram for mcrl2::lps::todo_set:

Public Member Functions
	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
atermpp::deque< state >	todo

Detailed Description

Definition at line 60 of file explorer.h.

Constructor & Destructor Documentation

todo_set() [1/3]

mcrl2::lps::todo_set::todo_set ( )

inlineexplicit

Definition at line 66 of file explorer.h.

todo_set() [2/3]

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

inlineexplicit

Definition at line 69 of file explorer.h.

todo_set() [3/3]

template<typename ForwardIterator >

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

inline

Definition at line 74 of file explorer.h.

~todo_set()

virtual mcrl2::lps::todo_set::~todo_set ( )

virtualdefault

Member Function Documentation

choose_element()

virtual void mcrl2::lps::todo_set::choose_element ( state &  result )

inlinevirtual

Reimplemented in mcrl2::lps::breadth_first_todo_set, mcrl2::lps::depth_first_todo_set, and mcrl2::lps::highway_todo_set.

Definition at line 80 of file explorer.h.

empty()

virtual bool mcrl2::lps::todo_set::empty ( ) const

inlinevirtual

Reimplemented in mcrl2::lps::highway_todo_set.

Definition at line 94 of file explorer.h.

finish_state()

virtual void mcrl2::lps::todo_set::finish_state ( )

inlinevirtual

Reimplemented in mcrl2::lps::highway_todo_set.

Definition at line 91 of file explorer.h.

insert()

virtual void mcrl2::lps::todo_set::insert ( const state &  s )

inlinevirtual

Reimplemented in mcrl2::lps::breadth_first_todo_set, mcrl2::lps::depth_first_todo_set, and mcrl2::lps::highway_todo_set.

Definition at line 86 of file explorer.h.

size()

virtual std::size_t mcrl2::lps::todo_set::size ( ) const

inlinevirtual

Reimplemented in mcrl2::lps::highway_todo_set.

Definition at line 99 of file explorer.h.

Member Data Documentation

todo

atermpp::deque<state> mcrl2::lps::todo_set::todo

protected

Definition at line 63 of file explorer.h.

---

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

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