spot
1.0
|
Go to the source code of this file.
Namespaces | |
namespace | spot |
namespace | spot::ltl |
Functions | |
std::ostream & | spot::ltl::to_lbt_string (const formula *f, std::ostream &os) |
Output an LTL formula as a string in LBT's format. | |
std::string | spot::ltl::to_lbt_string (const formula *f) |
Output an LTL formula as a string in LBT's format. |