23#include <spot/twa/bdddict.hh>
35 SPOT_API std::ostream&
54 SPOT_API std::ostream&
70 SPOT_API std::ostream&
84 SPOT_API std::ostream&
110 SPOT_API std::ostream&
Definition: automata.hh:26
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_formula(std::ostream &os, const bdd_dict_ptr &dict, bdd b)
Print a BDD as a formula.
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_sat(const bdd_dict_ptr &dict, bdd b)
Format a BDD as a list of literals.
std::string bdd_format_set(const bdd_dict_ptr &dict, bdd b)
Format a BDD as a set.
void enable_utf8()
Enable UTF-8 output for bdd printers.
std::string bdd_format_isop(const bdd_dict_ptr &dict, bdd b)
Format a BDD as an irredundant sum of product.
std::ostream & bdd_print_set(std::ostream &os, const bdd_dict_ptr &dict, bdd b)
Print a BDD as a set.
std::string bdd_format_formula(const bdd_dict_ptr &dict, bdd b)
Format 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.
std::ostream & bdd_print_isop(std::ostream &os, const bdd_dict_ptr &dict, bdd b)
Print a BDD as an irredundant sum of product.