spot  1.0
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 comment this page and report errors about it on the RefDocComments page.
Generated on Sat Oct 27 2012 09:34:32 for spot by doxygen 1.8.1.2