22 #include <spot/twa/twagraph.hh> 95 SPOT_API twa_graph_ptr
minimize_wdba(
const const_twa_graph_ptr& a);
120 SPOT_API twa_graph_ptr
155 const_twa_graph_ptr aut_neg_f =
nullptr,
156 bool reject_bigger =
false);
twa_graph_ptr minimize_wdba(const const_twa_graph_ptr &a)
Minimize a Büchi automaton in the WDBA class.
twa_graph_ptr minimize_monitor(const const_twa_graph_ptr &a)
Construct a minimal deterministic monitor.
twa_graph_ptr minimize_obligation(const const_twa_graph_ptr &aut_f, formula f=nullptr, const_twa_graph_ptr aut_neg_f=nullptr, bool reject_bigger=false)
Minimize an automaton if it represents an obligation property.