#include <ltlast/formula.hh>
#include <iosfwd>
Go to the source code of this file.
Functions |
std::ostream & | spot::ltl::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 in ELTL formulae).
|
std::string | spot::ltl::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 in ELTL formulae).
|
std::ostream & | spot::ltl::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 (used in ELTL formulae).
|
std::string | spot::ltl::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 (used in ELTL formulae).
|
std::ostream & | spot::ltl::to_spin_string (const formula *f, std::ostream &os, bool full_parent=false) |
| Output a formula as a string parsable by Spin.
|
std::string | spot::ltl::to_spin_string (const formula *f, bool full_parent=false) |
| Convert a formula into a string parsable by Spin.
|
std::ostream & | spot::ltl::to_wring_string (const formula *f, std::ostream &os) |
| Output a formula as a string parsable by Wring.
|
std::string | spot::ltl::to_wring_string (const formula *f) |
| Convert a formula into a string parsable by Wring.
|