|
spot
2.3.3.dev
|

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 () |
1.8.13