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
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