spot  1.2.4
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Public Member Functions | Public Attributes | Protected Attributes | List of all members
job_processor Class Referenceabstract
Collaboration diagram for job_processor:
Collaboration graph

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
 

The documentation for this class was generated from the following file:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Thu May 15 2014 11:04:11 for spot by doxygen 1.8.4