#include <bin/common_finput.hh>
job_processor::job_processor |
( |
) | |
|
virtual job_processor::~job_processor |
( |
) | |
|
|
inlinevirtual |
virtual int job_processor::process_file |
( |
const char * |
filename) | |
|
|
virtual |
virtual int job_processor::process_formula |
( |
const spot::ltl::formula * |
f, |
|
|
const char * |
filename = 0 , |
|
|
int |
linenum = 0 |
|
) |
| |
|
pure virtual |
virtual int job_processor::process_stream |
( |
std::istream & |
is, |
|
|
const char * |
filename |
|
) |
| |
|
virtual |
virtual int job_processor::process_string |
( |
const std::string & |
str, |
|
|
const char * |
filename = 0 , |
|
|
int |
linenum = 0 |
|
) |
| |
|
virtual |
virtual int job_processor::run |
( |
) | |
|
|
virtual |
bool job_processor::abort_run |
|
protected |
The documentation for this class was generated from the following file: