spot  2.11.6
Classes | Public Member Functions | List of all members
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:

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