spot  1.1.4
Classes | Typedefs | Functions | Variables
common_finput.hh File Reference
#include "common_sys.hh"
#include <argp.h>
#include <vector>
#include "ltlparse/public.hh"
Include dependency graph for common_finput.hh:

Go to the source code of this file.

Classes

struct  job
 
class  job_processor
 

Typedefs

typedef std::vector< jobjobs_t
 

Functions

int parse_opt_finput (int key, char *arg, struct argp_state *state)
 
const spot::ltl::formulaparse_formula (const std::string &s, spot::ltl::parse_error_list &error_list)
 

Variables

jobs_t jobs
 
bool lbt_input
 
struct argp finput_argp
 

Typedef Documentation

typedef std::vector<job> jobs_t

Function Documentation

const spot::ltl::formula* parse_formula ( const std::string &  s,
spot::ltl::parse_error_list error_list 
)
int parse_opt_finput ( int  key,
char *  arg,
struct argp_state *  state 
)

Variable Documentation

struct argp finput_argp
jobs_t jobs
bool lbt_input

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Mon Jul 29 2013 00:27:25 for spot by doxygen 1.8.4