20 #ifndef SPOT_TGBAALGOS_DTBASAT_HH
21 # define SPOT_TGBAALGOS_DTBASAT_HH
23 #include "tgba/tgbaexplicit.hh"
43 SPOT_API tgba_explicit_number*
44 dtba_sat_synthetize(
const tgba* a,
int target_state_number,
45 bool state_based =
false);
53 SPOT_API tgba_explicit_number*
54 dtba_sat_minimize(
const tgba* a,
bool state_based =
false);
62 SPOT_API tgba_explicit_number*
63 dtba_sat_minimize_dichotomy(
const tgba* a,
bool state_based =
false);
66 #endif // SPOT_TGBAALGOS_DTBASAT_HH