spot  2.3.3.dev
Public Member Functions | List of all members
spot::cspins_iterator Class Referencefinal
Collaboration diagram for spot::cspins_iterator:
Collaboration graph

Public Member Functions

 cspins_iterator (cspins_state s, const spot::spins_interface *d, cspins_state_manager &manager, inner_callback_parameters &inner, cube cond, bool compress, bool selfloopize, cubeset &cubeset, int dead_idx, unsigned tid)
 
void recycle (cspins_state s, const spot::spins_interface *d, cspins_state_manager &manager, inner_callback_parameters &inner, cube cond, bool compress, bool selfloopize, cubeset &cubeset, int dead_idx, unsigned tid)
 
void next ()
 
bool done () const
 
cspins_state state () const
 
cube condition () const
 

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 Tue Apr 18 2017 14:42:57 for spot by doxygen 1.8.13