22#include <spot/twa/taatgba.hh>
35 SPOT_API taa_tgba_formula_ptr
37 bool refined_rules =
false);
taa_tgba_formula_ptr ltl_to_taa(formula f, const bdd_dict_ptr &dict, bool refined_rules=false)
Build a spot::taa* from an LTL formula.
Definition: automata.hh:26