25 #ifndef SPOT_LTLVISIT_TOSTRING_HH
26 # define SPOT_LTLVISIT_TOSTRING_HH
46 to_string(
const formula* f, std::ostream& os,
bool full_parent =
false,
56 to_string(
const formula* f,
bool full_parent =
false,
bool ratexp =
false);
66 to_utf8_string(
const formula* f, std::ostream& os,
bool full_parent =
false,
85 bool full_parent =
false);
91 std::string
to_spin_string(
const formula* f,
bool full_parent =
false);
97 #endif // SPOT_LTLVISIT_TOSTRING_HH