21 #ifndef SPOT_FASTTGBAALGOS_TGBA2FASTTGBA_HH
22 # define SPOT_FASTTGBAALGOS_TGBA2FASTTGBA_HH
24 #include "tgba/tgba.hh"
25 #include "tgbaalgos/scc.hh"
26 #include "tgbaalgos/isweakscc.hh"
28 #include "fasttgba/ap_dict.hh"
29 #include "fasttgba/acc_dict.hh"
30 #include "fasttgba/fasttgba.hh"
41 SPOT_API
const fasttgba*
50 #endif // SPOT_FASTTGBAALGOS_TGBA2FASTTGBA_HH
SPOT_API const fasttgba * tgba_2_fasttgba(const spot::tgba *t, spot::ap_dict &aps, spot::acc_dict &accs)
Perform a translation from a Tgba to a Fasttgba.
This class is used to create a dictionary that will contain all atomic propositions that are needed b...
Definition: ap_dict.hh:41
A Transition-based Generalized Büchi Automaton.
Definition: tgba.hh:67
Definition: acc_dict.hh:31