spot::product_to_twa< State, SuccIterator, StateHash, StateEqual > Class Template Reference

convert a (cube) product automaton into a twa Note that this algorithm cannot be run in parallel. More...

#include <spot/mc/utils.hh>

Collaboration diagram for spot::product_to_twa< State, SuccIterator, StateHash, StateEqual >:

Public Member Functions
	product_to_twa (kripkecube< State, SuccIterator > &sys, twacube_ptr twa)
bool	run ()
twa_graph_ptr	twa ()
void	setup ()
bool	push_state (product_state s, unsigned i, acc_cond::mark_t)
bool	update (product_state, unsigned src, product_state, unsigned dst, acc_cond::mark_t cond)
bool	pop_state (product_state, unsigned, bool, product_state, unsigned)

Detailed Description

template<typename State, typename SuccIterator, typename StateHash, typename StateEqual>
class spot::product_to_twa< State, SuccIterator, StateHash, StateEqual >

convert a (cube) product automaton into a twa Note that this algorithm cannot be run in parallel.

---

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

• spot/mc/utils.hh