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);
49 bdd_format_sat(
const bdd_dict_ptr& dict, bdd b);
58 SPOT_API std::ostream&
59 bdd_print_accset(std::ostream& os,
const bdd_dict_ptr& dict, bdd b);
68 bdd_format_accset(
const bdd_dict_ptr& dict, bdd b);
74 SPOT_API std::ostream&
75 bdd_print_set(std::ostream& os,
const bdd_dict_ptr& dict, bdd b);
82 bdd_format_set(
const bdd_dict_ptr& dict, bdd b);
88 SPOT_API std::ostream&
89 bdd_print_formula(std::ostream& os,
const bdd_dict_ptr& dict, bdd b);
96 bdd_format_formula(
const bdd_dict_ptr& dict, bdd b);
99 SPOT_API
void enable_utf8();
107 bdd_format_isop(
const bdd_dict_ptr& dict, bdd b);
114 SPOT_API std::ostream&
115 bdd_print_isop(std::ostream& os,
const bdd_dict_ptr& dict, bdd b);