23 #ifndef SPOT_TGBA_BDDPRINT_HH
24 # define SPOT_TGBA_BDDPRINT_HH
40 SPOT_API std::ostream&
59 SPOT_API std::ostream&
69 SPOT_API std::ostream&
85 SPOT_API std::ostream&
99 SPOT_API std::ostream&
113 SPOT_API std::ostream&
114 bdd_print_dot(std::ostream& os,
const bdd_dict* dict, bdd b);
120 SPOT_API std::ostream&
139 SPOT_API std::ostream&
144 #endif // SPOT_TGBA_BDDPRINT_HH
SPOT_API std::ostream & bdd_print_accset(std::ostream &os, const bdd_dict *dict, bdd b)
Print a BDD as a set of acceptance conditions.
SPOT_API std::string bdd_format_isop(const bdd_dict *dict, bdd b)
Format a BDD as an irredundant sum of product.
SPOT_API std::ostream & bdd_print_table(std::ostream &os, const bdd_dict *dict, bdd b)
Print a BDD as a table.
SPOT_API void enable_utf8()
Enable UTF-8 output for bdd printers.
SPOT_API std::ostream & bdd_print_formula(std::ostream &os, const bdd_dict *dict, bdd b)
Print a BDD as a formula.
SPOT_API std::ostream & bdd_print_sat(std::ostream &os, const bdd_dict *dict, bdd b)
Print a BDD as a list of literals.
SPOT_API std::string bdd_format_accset(const bdd_dict *dict, bdd b)
Format a BDD as a set of acceptance conditions.
SPOT_API std::string bdd_format_sat(const bdd_dict *dict, bdd b)
Format a BDD as a list of literals.
SPOT_API std::string bdd_format_set(const bdd_dict *dict, bdd b)
Format a BDD as a set.
SPOT_API std::ostream & bdd_print_isop(std::ostream &os, const bdd_dict *dict, bdd b)
Print a BDD as an irredundant sum of product.
SPOT_API std::ostream & bdd_print_dot(std::ostream &os, const bdd_dict *dict, bdd b)
Print a BDD as a diagram in dotty format.
SPOT_API std::ostream & bdd_print_acc(std::ostream &os, const bdd_dict *dict, bdd b)
Print a BDD as a list of acceptance conditions.
SPOT_API std::string bdd_format_formula(const bdd_dict *dict, bdd b)
Format a BDD as a formula.
SPOT_API std::ostream & bdd_print_set(std::ostream &os, const bdd_dict *dict, bdd b)
Print a BDD as a set.