|
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 |
1.8.13