25 #include <spot/twa/bdddict.hh> 47 const std::shared_ptr<T>& for_me)
formula bdd_to_formula(bdd f, const bdd_dict_ptr d)
Convert a BDD into a formula.
bdd formula_to_bdd(formula f, const bdd_dict_ptr &d, void *for_me)
Convert a Boolean formula into a BDD.