25 #include <spot/misc/common.hh> 47 SPOT_API std::ostream&
54 SPOT_API std::ostream&
61 SPOT_API std::ostream&
62 escape_html(std::ostream& os,
const std::string& str);
66 SPOT_API std::ostream&
67 escape_str(std::ostream& os,
const std::string& str);
79 SPOT_API std::ostream&
Definition: automata.hh:26