|
|
using | shared_map = brick::hashset::FastConcurrent< my_pair, inner_pair_hasher > |
| |
|
|
| 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 () |
| |
The documentation for this class was generated from the following file: