38 SPOT_API std::ostream&
53 SPOT_API std::ostream&
55 bool full_parent =
false);
69 SPOT_API std::ostream&
84 SPOT_API std::ostream&
86 bool full_parent =
false);
100 SPOT_API std::ostream&
102 bool full_parent =
false);
114 SPOT_API std::ostream&
127 SPOT_API std::ostream&
129 bool full_parent =
false);
144 SPOT_API std::ostream&
146 bool full_parent =
false);
163 SPOT_API std::ostream&
165 bool full_parent =
false);
183 SPOT_API std::ostream&
185 bool full_parent =
false);
206 SPOT_API std::ostream&
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_sclatex_sere(std::ostream &os, formula f, bool full_parent=false)
Output a SERE formula as a self-contained LaTeX string.
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_lbt_ltl(std::ostream &os, formula f)
Output an LTL formula as a string in LBT's format.
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_spin_ltl(formula f, bool full_parent=false)
Convert an LTL formula into a string parsable by Spin.
std::ostream & print_sere(std::ostream &os, formula f, bool full_parent=false)
Output a SERE formula as a string which is parsable.
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_spin_ltl(std::ostream &os, formula f, bool full_parent=false)
Output an LTL formula as a string parsable by Spin.
std::ostream & print_latex_sere(std::ostream &os, formula f, bool full_parent=false)
Output a SERE 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_psl(std::ostream &os, formula f, bool full_parent=false)
Output a PSL formula as a 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_wring_ltl(std::ostream &os, formula f)
Output an LTL formula as a string parsable by Wring.
std::string str_psl(formula f, bool full_parent=false)
Convert a PSL formula into a string which is parsable.
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.
Definition: automata.hh:27