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

Public Types

using shared_map = brick::hashset::FastConcurrent< my_pair, inner_pair_hasher >
 

Public Member Functions

 swarmed_gp (kripkecube< State, SuccIterator > &sys, std::function< std::vector< State > *(std::vector< State > &)> interpolate_fun, shared_map &map, unsigned tid, bool &stop)
 
void setup ()
 
bool push (State s, unsigned int dfsnum)
 
bool pop (State s)
 
void edge (unsigned int, unsigned int)
 
void finalize ()
 
unsigned walltime ()
 
unsigned inserted ()
 
unsigned states ()
 
unsigned edges ()
 
unsigned how_many_generations ()
 
swarmed_gp< State, SuccIterator, StateHash, StateEqual > & self ()
 
void run ()
 
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