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,
85 bool colored =
false);
97 SPOT_API twa_graph_ptr
98 dtwa_sat_minimize_incr(
const const_twa_graph_ptr& a,
99 unsigned target_acc_number,
100 const acc_cond::acc_code& target_acc,
101 bool state_based =
false,
103 bool colored =
false,
118 SPOT_API twa_graph_ptr
119 dtwa_sat_minimize_assume(
const const_twa_graph_ptr& a,
120 unsigned target_acc_number,
121 const acc_cond::acc_code& target_acc,
122 bool state_based =
false,
124 bool colored =
false,
144 SPOT_API twa_graph_ptr
145 sat_minimize(twa_graph_ptr aut,
const char* opt,
bool state_based =
false);