23 #include <spot/misc/common.hh>
24 #include <spot/twa/fwd.hh>
26 #include <unordered_map>
45 SPOT_API std::ostream&
47 const const_twa_ptr& g,
48 const char* opt =
nullptr);
55 SPOT_API std::vector<std::pair<std::string, bdd>>*
66 set_aliases(twa_ptr g, std::vector<std::pair<std::string, bdd>> aliases);
73 typedef std::vector<std::pair<std::string, bdd>> aliases_t;
76 std::unordered_map<int, unsigned> aliases_map_;
77 std::vector<std::pair<bdd, unsigned>> alias_cubes_;
78 const char* false_str_;
79 const char* true_str_;
83 const char* lpar_str_;
84 const char* rpar_str_;
85 std::function<std::string(
int)> ap_printer_;
103 const char* false_str,
104 const char* true_str,
108 const char* lpar_str,
109 const char* rpar_str,
110 std::function<std::string(
int)> ap_printer);
std::vector< std::pair< std::string, bdd > > * get_aliases(const const_twa_ptr &g)
Obtain aliases used in the HOA format.
void set_aliases(twa_ptr g, std::vector< std::pair< std::string, bdd >> aliases)
Define all aliases used in the HOA format.
std::ostream & print_hoa(std::ostream &os, const const_twa_ptr &g, const char *opt=nullptr)
Print reachable states in Hanoi Omega Automata format.
Definition: automata.hh:27