spot
2.3.3.dev
|
Public Types | |
typedef digraph< cstate, transition > | graph_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 |