Read LTL formulae from a file, one by one.
More...
#include <ltlparse/ltlfile.hh>
List of all members.
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 |
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
formula* spot::ltl::ltl_file::next |
( |
|
) |
|
Return the next parsed LTL formula, and 0 at end of file.
Member Data Documentation
The documentation for this class was generated from the following file: