spot  2.11.6
Classes | Public Types | Public Member Functions | Static Public Member Functions | List of all members
spot::swarmed_cndfs< State, SuccIterator, StateHash, StateEqual > Class Template Reference
Collaboration diagram for spot::swarmed_cndfs< State, SuccIterator, StateHash, StateEqual >:

Public Types

using shared_map = brick::hashset::FastConcurrent< product_state, state_hasher >
 < More...
 
using shared_struct = shared_map
 

Public Member Functions

 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 Public Member Functions

static shared_struct * make_shared_structure (shared_map m, unsigned i)
 

Member Typedef Documentation

◆ 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:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.9.1