23 #ifndef SPOT_MISC_ESCAPE_HH
24 # define SPOT_MISC_ESCAPE_HH
39 SPOT_API std::ostream&
44 SPOT_API std::ostream&
45 escape_str(std::ostream& os,
const std::string& str);
54 trim(std::string& str);
58 #endif // SPOT_MISC_ESCAPE_HH
this class acts like a wrapper to the C code of the open_set.
Definition: public.hh:32