spot::cspins_iterator Class Reference

This class provides an iterator over the successors of a state. All successors are computed once when an iterator is recycled or created. More...

#include <spot/ltsmin/spins_kripke.hh>

Collaboration diagram for spot::cspins_iterator:

Classes
struct	cspins_iterator_param

Public Member Functions
	cspins_iterator (const cspins_iterator &)=delete
	cspins_iterator (cspins_iterator &)=delete
	cspins_iterator (cspins_iterator_param &p)
void	recycle (cspins_iterator_param &p)
void	next ()
bool	done () const
cspins_state	state () const
cube	condition () const

Detailed Description

This class provides an iterator over the successors of a state. All successors are computed once when an iterator is recycled or created.

Note: Two threads will explore successors with two different orders

---

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

• spot/ltsmin/spins_kripke.hh