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
SPOT_API std::ostream & to_wring_string(const formula *f, std::ostream &os)
Output a formula as a string parsable by Wring.
SPOT_API std::ostream & to_spin_string(const formula *f, std::ostream &os, bool full_parent=false)
Output a formula as a string parsable by Spin.
SPOT_API std::ostream & to_utf8_string(const formula *f, std::ostream &os, bool full_parent=false, bool ratexp=false)
Output a formula as an utf8 string which is parsable unless the formula contains automaton operators ...
SPOT_API std::ostream & to_latex_string(const formula *f, std::ostream &os, bool full_parent=false, bool ratexp=false)
Output a formula as an LaTeX string which is parsable unless the formula contains automaton operators...
SPOT_API std::ostream & to_string(const formula *f, std::ostream &os, bool full_parent=false, bool ratexp=false)
Output a formula as a string which is parsable unless the formula contains automaton operators (used ...