spot::internal::succ_iterator Struct Reference

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

#include <spot/twa/twa.hh>

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++ ()

Protected Attributes
twa_succ_iterator *	it_

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:

• spot/twa/twa.hh