23 #include <spot/twa/twagraph.hh> 49 SPOT_API twa_graph_ptr
50 compsusp(formula f,
const bdd_dict_ptr& dict,
51 bool no_wdba =
false,
bool no_simulation =
false,
52 bool early_susp =
false,
bool no_susp_product =
false,
53 bool wdba_smaller =
false,
bool oblig =
false);
Definition: automata.hh:26