42 formula_to_bdd(
const ltl::formula* f,
const bdd_dict_ptr& d,
void* for_me);
46 formula_to_bdd(
const ltl::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 ltl::formula* bdd_to_formula(bdd f,
const bdd_dict_ptr d);