25 #include <spot/twa/bdddict.hh>
42 formula_to_bdd(formula f,
const bdd_dict_ptr& d,
void* for_me);
46 formula_to_bdd(formula f,
const bdd_dict_ptr& d,
47 const std::shared_ptr<T>& for_me)
49 return formula_to_bdd(f, d, for_me.get());
62 formula bdd_to_formula(bdd f,
const bdd_dict_ptr d);