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

Collaboration diagram for spot::cspins_iterator:

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:

Classes