23 #ifndef SPOT_LTLVISIT_TOSTRING_HH
24 # define SPOT_LTLVISIT_TOSTRING_HH
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);
64 to_utf8_string(
const formula* f, std::ostream& os,
bool full_parent =
false,
83 bool full_parent =
false);
89 std::string
to_spin_string(
const formula* f,
bool full_parent =
false);
104 #endif // SPOT_LTLVISIT_TOSTRING_HH