spot  2.3.3.dev
Public Member Functions | Protected Types | Protected Attributes | List of all members
spot::kripke_to_twa< State, SuccIterator, StateHash, StateEqual > Class Template Reference
Inheritance diagram for spot::kripke_to_twa< State, SuccIterator, StateHash, StateEqual >:
Inheritance graph
Collaboration diagram for spot::kripke_to_twa< State, SuccIterator, StateHash, StateEqual >:
Collaboration graph

Public Member Functions

 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 ()
 

Protected Types

typedef std::unordered_map< const State, int, StateHash, StateEqual > visited_map
 

Protected Attributes

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:

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