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

Public Member Functions

 interpolate (kripkecube< State, SuccIterator > &sys, std::function< void(State, unsigned int)> display, std::function< std::vector< State > *(std::vector< State > &)> interpolate_fun, unsigned tid, bool &stop, std::string algoname)
 
void setup ()
 
bool push (State st, unsigned int dfsnum)
 
bool pop (State)
 
void edge (unsigned int, unsigned int)
 
void finalize ()
 
interpolate< State, SuccIterator, StateHash, StateEqual > & self ()
 
void run ()
 
unsigned int states ()
 
unsigned int trans ()
 

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