22 #include "twa/twagraph.hh"
51 SPOT_API twa_graph_ptr
52 dtgba_sat_synthetize(
const const_twa_graph_ptr& a,
53 unsigned target_acc_number,
54 const acc_cond::acc_code& target_acc,
55 int target_state_number,
56 bool state_based =
false,
57 bool colored =
false);
65 SPOT_API twa_graph_ptr
66 dtgba_sat_minimize(
const const_twa_graph_ptr& a,
67 unsigned target_acc_number,
68 const acc_cond::acc_code& target_acc,
69 bool state_based =
false,
71 bool colored =
false);
79 SPOT_API twa_graph_ptr
80 dtgba_sat_minimize_dichotomy(
const const_twa_graph_ptr& a,
81 unsigned target_acc_number,
82 const acc_cond::acc_code& target_acc,
83 bool state_based =
false,
85 bool colored =
false);
101 SPOT_API twa_graph_ptr
102 sat_minimize(twa_graph_ptr aut,
const char* opt,
bool state_based =
false);