std::set< const atomic_prop *, formula_ptr_less_than > atomic_prop_set
Set of atomic propositions.
Definition: apcollect.hh:39
SPOT_API twa_graph_ptr ltl_to_tgba_fm(const ltl::formula *f, const bdd_dict_ptr &dict, bool exprop=false, bool symb_merge=true, bool branching_postponement=false, bool fair_loop_approx=false, const ltl::atomic_prop_set *unobs=0, ltl::ltl_simplifier *simplifier=0, bool unambiguous=false)
Build a spot::twa_graph_ptr from an LTL formula.