23 #include "twa/twagraph.hh"
51 SPOT_API twa_graph_ptr
52 compsusp(
const ltl::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);
Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Wed Aug 26 2015 08:42:37 for spot by
1.8.8