27 #include <spot/twa/bdddict.hh> 39 SPOT_API std::ostream&
40 bdd_print_sat(std::ostream& os,
const bdd_dict_ptr& dict, bdd b);
58 SPOT_API std::ostream&
74 SPOT_API std::ostream&
75 bdd_print_set(std::ostream& os,
const bdd_dict_ptr& dict, bdd b);
88 SPOT_API std::ostream&
114 SPOT_API std::ostream&
115 bdd_print_isop(std::ostream& os,
const bdd_dict_ptr& dict, bdd b);
std::string bdd_format_isop(const bdd_dict_ptr &dict, bdd b)
Format a BDD as an irredundant sum of product.
std::string bdd_format_set(const bdd_dict_ptr &dict, bdd b)
Format a BDD as a set.
std::ostream & bdd_print_isop(std::ostream &os, const bdd_dict_ptr &dict, bdd b)
Print a BDD as an irredundant sum of product.
std::string bdd_format_sat(const bdd_dict_ptr &dict, bdd b)
Format a BDD as a list of literals.
std::ostream & bdd_print_sat(std::ostream &os, const bdd_dict_ptr &dict, bdd b)
Print a BDD as a list of literals.
std::string bdd_format_formula(const bdd_dict_ptr &dict, bdd b)
Format a BDD as a formula.
std::ostream & bdd_print_formula(std::ostream &os, const bdd_dict_ptr &dict, bdd b)
Print a BDD as a formula.
std::string bdd_format_accset(const bdd_dict_ptr &dict, bdd b)
Format a BDD as a set of acceptance conditions.
void enable_utf8()
Enable UTF-8 output for bdd printers.
std::ostream & bdd_print_accset(std::ostream &os, const bdd_dict_ptr &dict, bdd b)
Print a BDD as a set of acceptance conditions.
std::ostream & bdd_print_set(std::ostream &os, const bdd_dict_ptr &dict, bdd b)
Print a BDD as a set.