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

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

---

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

• spot/graph/adjlist.hh