22 #include "common_sys.hh"
26 #include "ltlparse/public.hh"
33 job(
const char* str,
bool file_p)
34 : str(str), file_p(file_p)
39 typedef std::vector<job> jobs_t;
41 extern bool lbt_input;
43 extern const struct argp finput_argp;
45 int parse_opt_finput(
int key,
char* arg,
struct argp_state* state);
62 const char* filename = 0,
int linenum = 0) = 0;
65 process_string(
const std::string& str,
66 const char* filename = 0,
int linenum = 0);
68 process_stream(std::istream& is,
const char* filename);
71 process_file(
const char* filename);
Definition: common_finput.hh:28
std::list< one_parse_error > parse_error_list
A list of parser diagnostics, as filled by parse.
Definition: public.hh:44
SPOT_API const formula * parse_formula(const std::string <l_string, environment &env=default_environment::instance())
A simple wrapper to parse_infix_psl() and parse_prefix_ltl().
Definition: common_finput.hh:51