23 #ifndef SPOT_TGBA_FORMULA2BDD_HH
24 # define SPOT_TGBA_FORMULA2BDD_HH
26 # include "bdddict.hh"
56 #endif // SPOT_TGBA_FORMULA2BDD_HH
SPOT_API const ltl::formula * bdd_to_formula(bdd f, const bdd_dict *d)
Convert a BDD into a formula.
SPOT_API bdd formula_to_bdd(const ltl::formula *f, bdd_dict *d, void *for_me)
Convert a Boolean formula into a BDD.