spot
0.8.2
|
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) | |
formula * | next () |
Return the next parsed LTL formula, and 0 at end of file. | |
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 | ) |
Return the next parsed LTL formula, and 0 at end of file.
std::ifstream spot::ltl::ltl_file::in [private] |