21#include <spot/twa/twagraph.hh>
41 SPOT_API twa_graph_ptr
43 int target_state_number,
44 bool state_based =
false);
52 SPOT_API twa_graph_ptr
54 bool state_based =
false,
63 SPOT_API twa_graph_ptr
65 bool state_based =
false,
79 SPOT_API twa_graph_ptr
81 bool state_based =
false,
98 SPOT_API twa_graph_ptr
100 bool state_based =
false,
Definition: automata.hh:26
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.