22#include <spot/misc/common.hh>
23#include <spot/twa/fwd.hh>
25#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>>*
67 const std::vector<std::pair<std::string, bdd>>& aliases);
74 typedef std::vector<std::pair<std::string, bdd>> aliases_t;
77 std::unordered_map<int, unsigned> aliases_map_;
78 std::vector<std::pair<bdd, unsigned>> alias_cubes_;
79 const char* false_str_;
80 const char* true_str_;
84 const char* lpar_str_;
85 const char* rpar_str_;
86 std::function<std::string(
int)> ap_printer_;
104 const char* false_str,
105 const char* true_str,
109 const char* lpar_str,
110 const char* rpar_str,
111 std::function<std::string(
int)> ap_printer);
void set_aliases(twa_ptr g, const std::vector< std::pair< std::string, bdd > > &aliases)
Define all aliases used in the HOA format.
std::vector< std::pair< std::string, bdd > > * get_aliases(const const_twa_ptr &g)
Obtain aliases used in the HOA format.
void create_alias_basis(const twa_graph_ptr &aut)
Create an alias basis.
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:26