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

Public Types

typedef digraph< cstate, transitiongraph_t
 
typedef graph_t::edge_storage_t edge_storage_t
 

Public Member Functions

 trans_index (trans_index &ci)=delete
 
 trans_index (unsigned int state, graph_t &g)
 
 trans_index (trans_index &&ci)
 
void reset ()
 
void next ()
 
bool done () const
 
unsigned int current (unsigned int seed=0) 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:58 for spot by doxygen 1.8.13