spot
1.1.4
|
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... | |
Private Attributes | |
std::ifstream | in |
Read LTL formulae from a file, one by one.
spot::ltl::ltl_file::ltl_file | ( | const std::string & | filename) |
spot::ltl::ltl_file::ltl_file | ( | const char * | filename) |
const formula* spot::ltl::ltl_file::next | ( | ) |
Return the next parsed LTL formula, and 0 at end of file.
|
private |