Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022 #ifndef SPOT_TGBA_BDDPRINT_HH
00023 # define SPOT_TGBA_BDDPRINT_HH
00024
00025 #include <string>
00026 #include <iosfwd>
00027 #include "bdddict.hh"
00028 #include <bdd.h>
00029
00030 namespace spot
00031 {
00032
00039 std::ostream& bdd_print_sat(std::ostream& os,
00040 const bdd_dict* dict, bdd b);
00041
00048 std::string bdd_format_sat(const bdd_dict* dict, bdd b);
00049
00057 std::ostream& bdd_print_acc(std::ostream& os,
00058 const bdd_dict* dict, bdd b);
00059
00067 std::ostream& bdd_print_accset(std::ostream& os,
00068 const bdd_dict* dict, bdd b);
00069
00076 std::string bdd_format_accset(const bdd_dict* dict, bdd b);
00077
00082 std::ostream& bdd_print_set(std::ostream& os,
00083 const bdd_dict* dict, bdd b);
00088 std::string bdd_format_set(const bdd_dict* dict, bdd b);
00089
00094 std::ostream& bdd_print_formula(std::ostream& os,
00095 const bdd_dict* dict, bdd b);
00100 std::string bdd_format_formula(const bdd_dict* dict, bdd b);
00101
00106 std::ostream& bdd_print_dot(std::ostream& os,
00107 const bdd_dict* dict, bdd b);
00108
00113 std::ostream& bdd_print_table(std::ostream& os,
00114 const bdd_dict* dict, bdd b);
00115
00116 }
00117
00118 #endif // SPOT_TGBA_BDDPRINT_HH