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 <iostream>
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
00077 std::string bdd_format_accset(const bdd_dict* dict, bdd b);
00078
00083 std::ostream& bdd_print_set(std::ostream& os,
00084 const bdd_dict* dict, bdd b);
00089 std::string bdd_format_set(const bdd_dict* dict, bdd b);
00090
00095 std::ostream& bdd_print_formula(std::ostream& os,
00096 const bdd_dict* dict, bdd b);
00101 std::string bdd_format_formula(const bdd_dict* dict, bdd b);
00102
00107 std::ostream& bdd_print_dot(std::ostream& os,
00108 const bdd_dict* dict, bdd b);
00109
00114 std::ostream& bdd_print_table(std::ostream& os,
00115 const bdd_dict* dict, bdd b);
00116
00117 }
00118
00119 #endif // SPOT_TGBA_BDDPRINT_HH