spot  2.11.6
Classes | Public Member Functions | List of all members
spot::cspins_iterator Class Referencefinal

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 sucessors with two different orders


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

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.9.1