twa_graph_ptr ltl_to_tgba_fm(formula f, const bdd_dict_ptr &dict, bool exprop=false, bool symb_merge=true, bool branching_postponement=false, bool fair_loop_approx=false, const atomic_prop_set *unobs=nullptr, tl_simplifier *simplifier=nullptr, bool unambiguous=false)
Build a spot::twa_graph_ptr from an LTL or PSL formula.