22 #include <spot/twa/twagraph.hh> 42 SPOT_API twa_graph_ptr
43 dtba_sat_synthetize(
const const_twa_graph_ptr& a,
44 int target_state_number,
45 bool state_based =
false);
53 SPOT_API twa_graph_ptr
54 dtba_sat_minimize(
const const_twa_graph_ptr& a,
55 bool state_based =
false,
64 SPOT_API twa_graph_ptr
65 dtba_sat_minimize_dichotomy(
const const_twa_graph_ptr& a,
66 bool state_based =
false,
80 SPOT_API twa_graph_ptr
81 dtba_sat_minimize_incr(
const const_twa_graph_ptr& a,
82 bool state_based =
false,
99 SPOT_API twa_graph_ptr
100 dtba_sat_minimize_assume(
const const_twa_graph_ptr& a,
101 bool state_based =
false,
Definition: automata.hh:26