| cleaning() (defined in spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual >) | spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual > | inline |
| edge(unsigned int, unsigned int) (defined in spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual >) | spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual > | inline |
| edges() (defined in spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual >) | spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual > | inline |
| finalize() (defined in spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual >) | spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual > | inline |
| how_many_generations() (defined in spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual >) | spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual > | inline |
| insert_status_ (defined in spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual >) | spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual > | |
| inserted() (defined in spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual >) | spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual > | inline |
| pop(State s) (defined in spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual >) | spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual > | inline |
| push(State s, unsigned int tid) (defined in spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual >) | spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual > | inline |
| run() (defined in spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual >) | spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual > | inline |
| sampling() (defined in spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual >) | spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual > | inline |
| setup() (defined in spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual >) | spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual > | inline |
| shared_map typedef (defined in spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual >) | spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual > | |
| states() (defined in spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual >) | spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual > | inline |
| 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) (defined in spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual >) | spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual > | inline |
| swarming(State initial) (defined in spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual >) | spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual > | inline |
| walltime() (defined in spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual >) | spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual > | inline |
| ~swarmed_dfs2() (defined in spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual >) | spot::swarmed_dfs2< State, SuccIterator, StateHash, StateEqual > | inlinevirtual |