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)
successor_iterator	begin () const
std::nullptr_t	end () const

Detailed Description

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

Range wrapper for successor iteration.

---

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

• spot/graph/adjlist.hh