spot::numbered_state_heap_const_iterator Class Reference

Iterator on numbered_state_heap objects. More...

#include <tgbaalgos/gtec/nsheap.hh>

List of all members.

Public Member Functions
virtual	~numbered_state_heap_const_iterator ()
virtual void	first ()=0
	Iteration.
virtual void	next ()=0
virtual bool	done () const=0
virtual const state *	get_state () const=0
	Inspection.
virtual int	get_index () const=0

---

Detailed Description

Iterator on numbered_state_heap objects.

---

Constructor & Destructor Documentation

virtual spot::numbered_state_heap_const_iterator::~numbered_state_heap_const_iterator

(

)

[inline, virtual]

---

Member Function Documentation

virtual void spot::numbered_state_heap_const_iterator::first

(

)

[pure virtual]

Iteration.

virtual void spot::numbered_state_heap_const_iterator::next

(

)

[pure virtual]

virtual bool spot::numbered_state_heap_const_iterator::done

(

)

const [pure virtual]

virtual const state* spot::numbered_state_heap_const_iterator::get_state

(

)

const [pure virtual]

Inspection.

virtual int spot::numbered_state_heap_const_iterator::get_index

(

)

const [pure virtual]

---

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

• tgbaalgos/gtec/nsheap.hh

---

Please comment this page and report errors about it on the RefDocComments page.