|
spot
1.2.6
|

Public Member Functions | |
| virtual int | process_formula (const spot::ltl::formula *f, const char *filename=0, int linenum=0)=0 |
| virtual int | process_string (const std::string &str, const char *filename=0, int linenum=0) |
| virtual int | process_stream (std::istream &is, const char *filename) |
| virtual int | process_file (const char *filename) |
| virtual int | run () |
Public Attributes | |
| char * | real_filename |
| long int | col_to_read |
| char * | prefix |
| char * | suffix |
Protected Attributes | |
| bool | abort_run |
1.8.4