20 #ifndef SPOT_TGBAALGOS_DTBASAT_HH
21 # define SPOT_TGBAALGOS_DTBASAT_HH
23 #include "tgba/tgbaexplicit.hh"
43 SPOT_API tgba_explicit_number*
45 bool state_based =
false);
53 SPOT_API tgba_explicit_number*
62 SPOT_API tgba_explicit_number*
66 #endif // SPOT_TGBAALGOS_DTBASAT_HH
SPOT_API tgba_explicit_number * dtba_sat_minimize(const tgba *a, bool state_based=false)
Attempt to minimize a deterministic TBA with a SAT solver.
SPOT_API tgba_explicit_number * dtba_sat_minimize_dichotomy(const tgba *a, bool state_based=false)
Attempt to minimize a deterministic TBA with a SAT solver.
SPOT_API tgba_explicit_number * dtba_sat_synthetize(const tgba *a, int target_state_number, bool state_based=false)
Attempt to synthetize an equivalent deterministic TBA with a SAT solver.