40 SPOT_API std::ostream&
41 print_psl(std::ostream& os,
const formula* f,
bool full_parent =
false);
48 str_psl(
const formula* f,
bool full_parent =
false);
55 SPOT_API std::ostream&
57 bool full_parent =
false);
64 str_utf8_psl(
const formula* f,
bool full_parent =
false);
71 SPOT_API std::ostream&
72 print_sere(std::ostream& os,
const formula* f,
bool full_parent =
false);
79 str_sere(
const formula* f,
bool full_parent =
false);
86 SPOT_API std::ostream&
88 bool full_parent =
false);
102 SPOT_API std::ostream&
104 bool full_parent =
false);
111 str_spin_ltl(
const formula* f,
bool full_parent =
false);
116 SPOT_API std::ostream&
129 SPOT_API std::ostream&
131 bool full_parent =
false);
146 SPOT_API std::ostream&
148 bool full_parent =
false);
165 SPOT_API std::ostream&
167 bool full_parent =
false);
185 SPOT_API std::ostream&
187 bool full_parent =
false);
208 SPOT_API std::ostream&
SPOT_API std::string str_sclatex_psl(const formula *f, bool full_parent=false)
Output a PSL formula as a self-contained LaTeX string.
SPOT_API std::string str_latex_psl(const formula *f, bool full_parent=false)
Output a formula as a LaTeX string which is parsable. unless the formula contains automaton operators...
SPOT_API std::string str_lbt_ltl(const formula *f)
Output an LTL formula as a string in LBT's format.
SPOT_API std::ostream & print_sclatex_psl(std::ostream &os, const formula *f, bool full_parent=false)
Output a PSL formula as a self-contained LaTeX string.
SPOT_API std::string str_sclatex_sere(const formula *f, bool full_parent=false)
Output a SERE formula as a self-contained LaTeX string.
SPOT_API std::ostream & print_sclatex_sere(std::ostream &os, const formula *f, bool full_parent=false)
Output a SERE formula as a self-contained LaTeX string.
SPOT_API std::ostream & print_lbt_ltl(std::ostream &os, const formula *f)
Output an LTL formula as a string in LBT's format.
SPOT_API std::ostream & print_utf8_psl(std::ostream &os, const formula *f, bool full_parent=false)
Output a PSL formula as an utf-8 string which is parsable.
SPOT_API std::string str_utf8_sere(const formula *f, bool full_parent=false)
Convert a SERE formula into a string which is parsable.
SPOT_API std::ostream & print_latex_sere(std::ostream &os, const formula *f, bool full_parent=false)
Output a SERE formula as a LaTeX string.
SPOT_API std::ostream & print_psl(std::ostream &os, const formula *f, bool full_parent=false)
Output a PSL formula as a string which is parsable.
SPOT_API std::string str_utf8_psl(const formula *f, bool full_parent=false)
Convert a PSL formula into a utf-8 string which is parsable.
SPOT_API std::string str_spin_ltl(const formula *f, bool full_parent=false)
Convert an LTL formula into a string parsable by Spin.
SPOT_API std::string str_psl(const formula *f, bool full_parent=false)
Convert a PSL formula into a string which is parsable.
SPOT_API std::string str_sere(const formula *f, bool full_parent=false)
Convert a SERE formula into a string which is parsable.
SPOT_API std::string str_wring_ltl(const formula *f)
Convert a formula into a string parsable by Wring.
SPOT_API std::ostream & print_wring_ltl(std::ostream &os, const formula *f)
Output an LTL formula as a string parsable by Wring.
SPOT_API std::ostream & print_utf8_sere(std::ostream &os, const formula *f, bool full_parent=false)
Output a SERE formula as a utf-8 string which is parsable.
SPOT_API std::ostream & print_sere(std::ostream &os, const formula *f, bool full_parent=false)
Output a SERE formula as a string which is parsable.
SPOT_API std::string str_latex_sere(const formula *f, bool full_parent=false)
Output a SERE formula as a LaTeX string which is parsable. unless the formula contains automaton oper...
SPOT_API std::ostream & print_latex_psl(std::ostream &os, const formula *f, bool full_parent=false)
Output a PSL formula as a LaTeX string.
SPOT_API std::ostream & print_spin_ltl(std::ostream &os, const formula *f, bool full_parent=false)
Output an LTL formula as a string parsable by Spin.