22 #include <spot/twa/twagraph.hh>
50 SPOT_API twa_graph_ptr
51 dtwa_sat_synthetize(
const const_twa_graph_ptr& a,
52 unsigned target_acc_number,
53 const acc_cond::acc_code& target_acc,
54 int target_state_number,
55 bool state_based =
false,
56 bool colored =
false);
64 SPOT_API twa_graph_ptr
65 dtwa_sat_minimize(
const const_twa_graph_ptr& a,
66 unsigned target_acc_number,
67 const acc_cond::acc_code& target_acc,
68 bool state_based =
false,
70 bool colored =
false);
78 SPOT_API twa_graph_ptr
79 dtwa_sat_minimize_dichotomy(
const const_twa_graph_ptr& a,
80 unsigned target_acc_number,
81 const acc_cond::acc_code& target_acc,
82 bool state_based =
false,
84 bool colored =
false);
100 SPOT_API twa_graph_ptr
101 sat_minimize(twa_graph_ptr aut,
const char* opt,
bool state_based =
false);