#include <ltlast/formula.hh>
#include <iosfwd>
Include dependency graph for tostring.hh:
Go to the source code of this file.
Namespaces | |
namespace | spot |
namespace | spot::ltl |
Functions | |
std::ostream & | to_string (const formula *f, std::ostream &os) |
Output a formula as a (parsable) string. | |
std::string | to_string (const formula *f) |
Convert a formula into a (parsable) string. | |
std::ostream & | to_spin_string (const formula *f, std::ostream &os) |
Output a formula as a (parsable by Spin) string. | |
std::string | to_spin_string (const formula *f) |
Convert a formula into a (parsable by Spin) string. |