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 |