spot
1.99.4
|
This is the complete list of members for job_processor, including all inherited members.
abort_run (defined in job_processor) | job_processor | protected |
col_to_read (defined in job_processor) | job_processor | |
job_processor() (defined in job_processor) | job_processor | |
prefix (defined in job_processor) | job_processor | |
process_file(const char *filename) (defined in job_processor) | job_processor | virtual |
process_formula(spot::formula f, const char *filename=nullptr, int linenum=0)=0 (defined in job_processor) | job_processor | pure virtual |
process_stream(std::istream &is, const char *filename) (defined in job_processor) | job_processor | virtual |
process_string(const std::string &str, const char *filename=nullptr, int linenum=0) (defined in job_processor) | job_processor | virtual |
real_filename (defined in job_processor) | job_processor | |
run() (defined in job_processor) | job_processor | virtual |
suffix (defined in job_processor) | job_processor | |
~job_processor() (defined in job_processor) | job_processor | virtual |