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

Initial value:

<

Shortcut to ease shared map manipulation

---

The documentation for this class was generated from the following file:

• spot/mc/cndfs.hh