|
| swarmed_cndfs (kripkecube< State, SuccIterator > &sys, twacube_ptr twa, shared_map &map, shared_struct *, unsigned tid, std::atomic< bool > &stop) |
|
void | run () |
|
void | setup () |
|
std::pair< bool, product_state > | push_blue (product_state s, bool from_accepting) |
|
std::pair< bool, product_state > | push_red (product_state s, bool ignore_cyan) |
|
bool | pop_blue () |
|
bool | pop_red () |
|
void | finalize () |
|
bool | finisher () |
|
unsigned | states () |
|
unsigned | transitions () |
|
unsigned | walltime () |
|
std::string | name () |
|
int | sccs () |
|
mc_rvalue | result () |
|
std::string | trace () |
|
|
static shared_struct * | make_shared_structure (shared_map m, unsigned i) |
|
◆ shared_map
template<typename State , typename SuccIterator , typename StateHash , typename StateEqual >
using spot::swarmed_cndfs< State, SuccIterator, StateHash, StateEqual >::shared_map = brick::hashset::FastConcurrent <product_state, state_hasher> |
<
Shortcut to ease shared map manipulation
The documentation for this class was generated from the following file: