22 #include <spot/twa/twagraph.hh>
42 SPOT_API twa_graph_ptr
44 int target_state_number,
45 bool state_based =
false);
53 SPOT_API twa_graph_ptr
55 bool state_based =
false,
64 SPOT_API twa_graph_ptr
66 bool state_based =
false,
80 SPOT_API twa_graph_ptr
82 bool state_based =
false,
99 SPOT_API twa_graph_ptr
101 bool state_based =
false,
Definition: automata.hh:27
twa_graph_ptr dtba_sat_minimize_assume(const const_twa_graph_ptr &a, bool state_based=false, int max_states=-1, int param=6)
Attempt to minimize a deterministic TBA incrementally with a SAT solver.
twa_graph_ptr dtba_sat_minimize_incr(const const_twa_graph_ptr &a, bool state_based=false, int max_states=-1, int param=2)
Attempt to minimize a det. TBA with a SAT solver.
twa_graph_ptr dtba_sat_minimize(const const_twa_graph_ptr &a, bool state_based=false, int max_states=-1)
Attempt to minimize a deterministic TBA with a SAT solver.
twa_graph_ptr dtba_sat_minimize_dichotomy(const const_twa_graph_ptr &a, bool state_based=false, bool langmap=false, int max_states=-1)
Attempt to minimize a deterministic TBA with a SAT solver.
twa_graph_ptr dtba_sat_synthetize(const const_twa_graph_ptr &a, int target_state_number, bool state_based=false)
Attempt to synthetize an equivalent deterministic TBA with a SAT solver.