spot
1.1.3
|
Go to the source code of this file.
Namespaces | |
spot | |
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. More... | |
std::string | spot::ltl::to_lbt_string (const formula *f) |
Output an LTL formula as a string in LBT's format. More... | |