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
this class acts like a wrapper to the C code of the open_set.
Definition: public.hh:32
SPOT_API std::string to_wring_string(const formula *f)
Convert a formula into a string parsable by Wring.
SPOT_API std::string to_spin_string(const formula *f, bool full_parent=false)
Convert a formula into a string parsable by Spin.
SPOT_API std::string to_utf8_string(const formula *f, 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::string to_string(const formula *f, bool full_parent=false, bool ratexp=false)
Output a formula as a string which is parsable unless the formula contains automaton operators (used ...
SPOT_API std::string to_latex_string(const formula *f, bool full_parent=false, bool ratexp=false)
Output a formula as a LaTeX string which is parsable unless the formula contains automaton operators ...