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

Public Types

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

Public Member Functions

 swarmed_dfs (kripkecube< State, SuccIterator > &sys, shared_map &map, unsigned tid)
 
void setup ()
 
bool push (State s, unsigned int tid)
 
bool pop (State s)
 
void edge (unsigned int, unsigned int)
 
void finalize ()
 
unsigned walltime ()
 
unsigned inserted ()
 
unsigned states ()
 
unsigned edges ()
 
unsigned how_many_generations ()
 
void run ()
 

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 Mon Jul 29 2019 10:30:39 for spot by doxygen 1.8.13