20 #ifndef SPOT_TAALGOS_TGBA2TA_HH
21 # define SPOT_TAALGOS_TGBA2TA_HH
23 #include "tgba/tgba.hh"
24 #include "ta/taexplicit.hh"
25 #include "ta/tgtaexplicit.hh"
83 tgba_to_ta(
const tgba* tgba_to_convert, bdd atomic_propositions_set,
84 bool degeneralized =
true,
bool artificial_initial_state_mode =
true,
85 bool single_pass_emptiness_check =
false,
86 bool artificial_livelock_state_mode =
false);
97 SPOT_API tgta_explicit*
98 tgba_to_tgta(
const tgba* tgba_to_convert, bdd atomic_propositions_set);
102 #endif // SPOT_TAALGOS_TGBA2TA_HH