23 #ifndef SPOT_TGBAALGOS_LTL2TGBA_FM_HH
24 # define SPOT_TGBAALGOS_LTL2TGBA_FM_HH
27 #include "tgba/tgbaexplicit.hh"
28 #include "ltlvisit/apcollect.hh"
29 #include "ltlvisit/simplify.hh"
123 SPOT_API tgba_explicit_formula*
127 bool exprop =
false,
bool symb_merge =
true,
128 bool branching_postponement =
false,
129 bool fair_loop_approx =
false,
131 ltl::ltl_simplifier* simplifier = 0);
134 #endif // SPOT_TGBAALGOS_LTL2TGBA_FM_HH