spot
0.8.3
|
Go to the source code of this file.
Namespaces | |
namespace | spot |
namespace | spot::ltl |
Functions | |
std::ostream & | spot::ltl::to_string (const formula *f, std::ostream &os, bool full_parent=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) |
Output a formula as a 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 (parsable by Spin) string. | |
std::string | spot::ltl::to_spin_string (const formula *f, bool full_parent=false) |
Convert a formula into a (parsable by Spin) string. |