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