23 #ifndef SPOT_LTLVISIT_TOSTRING_HH
24 # define SPOT_LTLVISIT_TOSTRING_HH
43 SPOT_API std::ostream&
44 to_string(
const formula* f, std::ostream& os,
bool full_parent =
false,
54 to_string(
const formula* f,
bool full_parent =
false,
bool ratexp =
false);
63 SPOT_API std::ostream&
64 to_utf8_string(
const formula* f, std::ostream& os,
bool full_parent =
false,
82 SPOT_API std::ostream&
84 bool full_parent =
false);
96 SPOT_API std::ostream&
111 SPOT_API std::ostream&
113 bool full_parent =
false,
bool ratexp =
false);
123 bool full_parent =
false,
bool ratexp =
false);
129 #endif // SPOT_LTLVISIT_TOSTRING_HH