spot::adjlist< State_Data >::successor_iterator Class Reference

Iterator for traversing successors of a state. More...

#include <spot/graph/adjlist.hh>

Collaboration diagram for spot::adjlist< State_Data >::successor_iterator:

Public Types
using	iterator_category = std::input_iterator_tag
using	value_type = unsigned
using	difference_type = std::ptrdiff_t
using	pointer = const unsigned*
using	reference = const unsigned&

Public Member Functions
	successor_iterator (const adjlist *g, unsigned idx)
int	operator* () const
successor_iterator &	operator++ ()
successor_iterator	operator++ (int)

Friends
bool	operator== (const successor_iterator &iter, std::nullptr_t)
bool	operator== (std::nullptr_t, const successor_iterator &iter)
bool	operator!= (const successor_iterator &iter, std::nullptr_t)
bool	operator!= (std::nullptr_t, const successor_iterator &iter)

Detailed Description

template<class State_Data>
class spot::adjlist< State_Data >::successor_iterator

Iterator for traversing successors of a state.

---

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

• spot/graph/adjlist.hh