spot::adjlist< State_Data > Class Template Reference

Inheritance diagram for spot::adjlist< State_Data >:

Collaboration diagram for spot::adjlist< State_Data >:

Classes
class	successor_iterator
class	successor_range

Public Member Functions
	adjlist (unsigned max_states=10, unsigned max_trans=0)
template<typename... Args>
unsigned	new_state (Args &&... args)
template<typename... Args>
unsigned	new_states (unsigned n, Args &&... args)
internal::boxed_label< State_Data >::data_t &	state_data (unsigned s)
const internal::boxed_label< State_Data >::data_t &	state_data (unsigned s) const
void	new_edge (unsigned src, unsigned dst)
successor_range	out (unsigned state) const
unsigned	num_states () const
unsigned	num_edges () const

---

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

• spot/graph/adjlist.hh