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

Public Types

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

Public Member Functions

 swarmed_dfs2 (kripkecube< State, SuccIterator > &sys, shared_map &map, unsigned tid, std::function< std::vector< State > *(std::vector< State > &)> fun, std::atomic< bool > &stop, unsigned initial_population=1000, float strategy=0.5)
 
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 sampling ()
 
void cleaning ()
 
void swarming (State initial)
 
void run ()
 

Public Attributes

st_status insert_status_
 

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