20 #ifndef SPOT_TGBAALGOS_DTGBASAT_HH
21 # define SPOT_TGBAALGOS_DTGBASAT_HH
23 #include "tgba/tgbaexplicit.hh"
47 SPOT_API tgba_explicit_number*
48 dtgba_sat_synthetize(
const tgba* a,
unsigned target_acc_number,
49 int target_state_number,
50 bool state_based =
false);
58 SPOT_API tgba_explicit_number*
59 dtgba_sat_minimize(
const tgba* a,
unsigned target_acc_number,
60 bool state_based =
false);
68 SPOT_API tgba_explicit_number*
69 dtgba_sat_minimize_dichotomy(
const tgba* a,
unsigned target_acc_number,
70 bool state_based =
false);
73 #endif // SPOT_TGBAALGOS_DTGBASAT_HH