22 #include "twa/twagraph.hh"
48 SPOT_API twa_graph_ptr
49 dtgba_sat_synthetize(
const const_twa_graph_ptr& a,
50 unsigned target_acc_number,
51 const acc_cond::acc_code& target_acc,
52 int target_state_number,
53 bool state_based =
false);
61 SPOT_API twa_graph_ptr
62 dtgba_sat_minimize(
const const_twa_graph_ptr& a,
63 unsigned target_acc_number,
64 const acc_cond::acc_code& target_acc,
65 bool state_based =
false,
74 SPOT_API twa_graph_ptr
75 dtgba_sat_minimize_dichotomy(
const const_twa_graph_ptr& a,
76 unsigned target_acc_number,
77 const acc_cond::acc_code& target_acc,
78 bool state_based =
false,
94 SPOT_API twa_graph_ptr
95 sat_minimize(twa_graph_ptr aut,
const char* opt,
bool state_based =
false);