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