|
| kripke_to_twa (kripkecube< State, SuccIterator > &sys, bdd_dict_ptr dict) |
|
void | setup () |
|
void | push (State s, unsigned i) |
|
void | edge (unsigned src, unsigned dst) |
|
void | finalize () |
|
twa_graph_ptr | twa () |
|
kripke_to_twa< State, SuccIterator, StateHash, StateEqual > & | self () |
|
void | run () |
|
unsigned int | states () |
|
unsigned int | trans () |
|
|
typedef std::unordered_map< const State, int, StateHash, StateEqual > | visited_map |
|
|
kripkecube< State, SuccIterator > & | sys_ |
|
std::vector< todo_element > | todo |
|
visited_map | visited |
|
unsigned int | dfs_number |
|
unsigned int | transitions |
|
unsigned int | tid_ |
|
bool & | stop_ |
|
The documentation for this class was generated from the following file: