|
spot
1.2.6
|
Read LTL formulae from a file, one by one. More...
#include <ltlparse/ltlfile.hh>

Public Member Functions | |
| ltl_file (const std::string &filename) | |
| ltl_file (const char *filename) | |
| const formula * | next () |
| Return the next parsed LTL formula, and 0 at end of file. More... | |
Read LTL formulae from a file, one by one.
| const formula* spot::ltl::ltl_file::next | ( | ) |
Return the next parsed LTL formula, and 0 at end of file.
1.8.4