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.
|
Private Attributes |
std::ifstream | in |
Detailed Description
Read LTL formulae from a file, one by one.
Constructor & Destructor Documentation
spot::ltl::ltl_file::ltl_file |
( |
const std::string & |
filename | ) |
|
spot::ltl::ltl_file::ltl_file |
( |
const char * |
filename | ) |
|
Member Function Documentation
const formula* spot::ltl::ltl_file::next |
( |
| ) |
|
Return the next parsed LTL formula, and 0 at end of file.
Member Data Documentation
std::ifstream spot::ltl::ltl_file::in |
|
private |
The documentation for this class was generated from the following file: