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

Range wrapper for successor iteration. More...

#include <spot/graph/adjlist.hh>

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

Public Member Functions
	successor_range (const adjlist *g, unsigned s)
	Construct range over successors of state s in g.
successor_iterator	begin () const
	Return iterator to first successor.
std::nullptr_t	end () const
	Return past-the-end sentinel.

Detailed Description

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

Range wrapper for successor iteration.

Constructor & Destructor Documentation

successor_range()

template<class State_Data >

spot::adjlist< State_Data >::successor_range::successor_range ( const adjlist *  g, unsigned  s  )

inline

Construct range over successors of state s in g.

Member Function Documentation

begin()

template<class State_Data >

successor_iterator spot::adjlist< State_Data >::successor_range::begin ( ) const

inline

Return iterator to first successor.

end()

template<class State_Data >

std::nullptr_t spot::adjlist< State_Data >::successor_range::end ( ) const

inline

Return past-the-end sentinel.

---

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

• spot/graph/adjlist.hh