23 #ifndef SPOT_TGBA_BDDPRINT_HH
24 # define SPOT_TGBA_BDDPRINT_HH
40 SPOT_API std::ostream&
41 bdd_print_sat(std::ostream& os,
const bdd_dict* dict, bdd b);
50 bdd_format_sat(
const bdd_dict* dict, bdd b);
59 SPOT_API std::ostream&
60 bdd_print_acc(std::ostream& os,
const bdd_dict* dict, bdd b);
69 SPOT_API std::ostream&
70 bdd_print_accset(std::ostream& os,
const bdd_dict* dict, bdd b);
79 bdd_format_accset(
const bdd_dict* dict, bdd b);
85 SPOT_API std::ostream&
86 bdd_print_set(std::ostream& os,
const bdd_dict* dict, bdd b);
93 bdd_format_set(
const bdd_dict* dict, bdd b);
99 SPOT_API std::ostream&
100 bdd_print_formula(std::ostream& os,
const bdd_dict* dict, bdd b);
107 bdd_format_formula(
const bdd_dict* dict, bdd b);
113 SPOT_API std::ostream&
114 bdd_print_dot(std::ostream& os,
const bdd_dict* dict, bdd b);
120 SPOT_API std::ostream&
121 bdd_print_table(std::ostream& os,
const bdd_dict* dict, bdd b);
124 SPOT_API
void enable_utf8();
132 bdd_format_isop(
const bdd_dict* dict, bdd b);
139 SPOT_API std::ostream&
140 bdd_print_isop(std::ostream& os,
const bdd_dict* dict, bdd b);
144 #endif // SPOT_TGBA_BDDPRINT_HH