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
	Standard iterator type alias. More...
using	value_type = unsigned
	Standard iterator type alias. More...
using	difference_type = std::ptrdiff_t
	Standard iterator type alias. More...
using	pointer = const unsigned *
	Standard iterator type alias. More...
using	reference = const unsigned &
	Standard iterator type alias. More...

Public Member Functions
	successor_iterator (const adjlist *g, unsigned idx)
	Construct an iterator over successors of state at idx in graph g. More...
int	operator* () const
	Dereference: return destination state. More...
successor_iterator &	operator++ ()
	Pre-increment: advance to next successor. More...
successor_iterator	operator++ (int)
	Post-increment: advance to next successor. More...

Friends
bool	operator== (const successor_iterator &iter, std::nullptr_t)
	Return true iff iter is past the end. More...
bool	operator== (std::nullptr_t, const successor_iterator &iter)
	Return true iff iter is past the end. More...
bool	operator!= (const successor_iterator &iter, std::nullptr_t)
	Return true iff iter is not past the end. More...
bool	operator!= (std::nullptr_t, const successor_iterator &iter)
	Return true iff iter is not past the end. More...

Detailed Description

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

Iterator for traversing successors of a state.

Member Typedef Documentation

difference_type

template<class State_Data >

using spot::adjlist< State_Data >::successor_iterator::difference_type = std::ptrdiff_t

Standard iterator type alias.

iterator_category

template<class State_Data >

using spot::adjlist< State_Data >::successor_iterator::iterator_category = std::input_iterator_tag

Standard iterator type alias.

pointer

template<class State_Data >

using spot::adjlist< State_Data >::successor_iterator::pointer = const unsigned*

Standard iterator type alias.

reference

template<class State_Data >

using spot::adjlist< State_Data >::successor_iterator::reference = const unsigned&

Standard iterator type alias.

value_type

template<class State_Data >

using spot::adjlist< State_Data >::successor_iterator::value_type = unsigned

Standard iterator type alias.

Constructor & Destructor Documentation

successor_iterator()

template<class State_Data >

spot::adjlist< State_Data >::successor_iterator::successor_iterator ( const adjlist *  g, unsigned  idx  )

inline

Construct an iterator over successors of state at idx in graph g.

Member Function Documentation

operator*()

template<class State_Data >

int spot::adjlist< State_Data >::successor_iterator::operator* ( ) const

inline

Dereference: return destination state.

operator++() [1/2]

template<class State_Data >

successor_iterator& spot::adjlist< State_Data >::successor_iterator::operator++ ( )

inline

Pre-increment: advance to next successor.

operator++() [2/2]

template<class State_Data >

successor_iterator spot::adjlist< State_Data >::successor_iterator::operator++ ( int  )

inline

Post-increment: advance to next successor.

Friends And Related Function Documentation

operator!= [1/2]

template<class State_Data >

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

friend

Return true iff iter is not past the end.

operator!= [2/2]

template<class State_Data >

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

friend

Return true iff iter is not past the end.

operator== [1/2]

template<class State_Data >

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

friend

Return true iff iter is past the end.

operator== [2/2]

template<class State_Data >

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

friend

Return true iff iter is past the end.

---

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

• spot/graph/adjlist.hh