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