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.