Helper structure to iterate over the successors of a state using the on-the-fly interface. More...

Collaboration diagram for spot::internal::succ_iterator:

Public Member Functions
	succ_iterator (twa_succ_iterator *it)

bool	operator== (succ_iterator o) const

bool	operator!= (succ_iterator o) const

const twa_succ_iterator *	operator* () const

void	operator++ ()

Detailed Description

Helper structure to iterate over the successors of a state using the on-the-fly interface.

This one emulates an STL-like iterator over the twa_succ_iterator interface.

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

Public Member Functions