34 SPOT_API std::ostream&
49 SPOT_API std::ostream&
51 bool full_parent =
false);
65 SPOT_API std::ostream&
80 SPOT_API std::ostream&
82 bool full_parent =
false);
96 SPOT_API std::ostream&
98 bool full_parent =
false);
110 SPOT_API std::ostream&
123 SPOT_API std::ostream&
125 bool full_parent =
false);
140 SPOT_API std::ostream&
142 bool full_parent =
false);
159 SPOT_API std::ostream&
161 bool full_parent =
false);
179 SPOT_API std::ostream&
181 bool full_parent =
false);
202 SPOT_API std::ostream&
std::ostream & print_spin_ltl(std::ostream &os, formula f, bool full_parent=false)
Output an LTL formula as a string parsable by Spin.
std::string str_lbt_ltl(formula f)
Output an LTL formula as a string in LBT's format.
std::string str_sere(formula f, bool full_parent=false)
Convert a SERE formula into a string which is parsable.
std::string str_latex_sere(formula f, bool full_parent=false)
Output a SERE formula as a LaTeX string which is parsable. unless the formula contains automaton oper...
std::ostream & print_psl(std::ostream &os, formula f, bool full_parent=false)
Output a PSL formula as a string which is parsable.
std::string str_utf8_psl(formula f, bool full_parent=false)
Convert a PSL formula into a utf-8 string which is parsable.
std::string str_sclatex_sere(formula f, bool full_parent=false)
Output a SERE formula as a self-contained LaTeX string.
std::ostream & print_latex_sere(std::ostream &os, formula f, bool full_parent=false)
Output a SERE formula as a LaTeX string.
std::ostream & print_lbt_ltl(std::ostream &os, formula f)
Output an LTL formula as a string in LBT's format.
std::ostream & print_sclatex_sere(std::ostream &os, formula f, bool full_parent=false)
Output a SERE formula as a self-contained LaTeX string.
std::ostream & print_sere(std::ostream &os, formula f, bool full_parent=false)
Output a SERE formula as a string which is parsable.
std::string str_spin_ltl(formula f, bool full_parent=false)
Convert an LTL formula into a string parsable by Spin.
std::ostream & print_wring_ltl(std::ostream &os, formula f)
Output an LTL formula as a string parsable by Wring.
std::ostream & print_latex_psl(std::ostream &os, formula f, bool full_parent=false)
Output a PSL formula as a LaTeX string.
std::string str_utf8_sere(formula f, bool full_parent=false)
Convert a SERE formula into a string which is parsable.
std::string str_wring_ltl(formula f)
Convert a formula into a string parsable by Wring.
std::string str_sclatex_psl(formula f, bool full_parent=false)
Output a PSL formula as a self-contained LaTeX string.
std::string str_latex_psl(formula f, bool full_parent=false)
Output a formula as a LaTeX string which is parsable. unless the formula contains automaton operators...
std::ostream & print_utf8_psl(std::ostream &os, formula f, bool full_parent=false)
Output a PSL formula as an utf-8 string which is parsable.
std::ostream & print_sclatex_psl(std::ostream &os, formula f, bool full_parent=false)
Output a PSL formula as a self-contained LaTeX string.
std::ostream & print_utf8_sere(std::ostream &os, formula f, bool full_parent=false)
Output a SERE formula as a utf-8 string which is parsable.
std::string str_psl(formula f, bool full_parent=false)
Convert a PSL formula into a string which is parsable.
Definition: automata.hh:26