26 #include <spot/misc/location.hh>
27 #include <spot/tl/defaultenv.hh>
97 const std::string& input,
125 bool lenient =
false);
148 bool lenient =
false);
206 bool lenient =
false);
static default_environment & instance()
Get the sole instance of spot::default_environment.
An environment that describes atomic propositions.
Definition: environment.hh:33
parsed_formula parse_infix_boolean(const std::string <l_string, environment &env=default_environment::instance(), bool debug=false, bool lenient=false)
Build a Boolean formula from a string.
std::pair< location, std::string > one_parse_error
A parse diagnostic with its location.
Definition: parse.hh:40
parsed_formula parse_prefix_ltl(const std::string <l_string, environment &env=default_environment::instance(), bool debug=false)
Build a formula from an LTL string in LBT's format.
formula parse_formula(const std::string <l_string, environment &env=default_environment::instance())
A simple wrapper to parse_infix_psl() and parse_prefix_ltl().
parsed_formula parse_infix_sere(const std::string &sere_string, environment &env=default_environment::instance(), bool debug=false, bool lenient=false)
Build a formula from a string representing a SERE.
parsed_formula parse_infix_psl(const std::string <l_string, environment &env=default_environment::instance(), bool debug=false, bool lenient=false)
Build a formula from an LTL string.
void fix_utf8_locations(const std::string &input_string, parse_error_list &error_list)
Fix location of diagnostics assuming the input is utf8.
std::list< one_parse_error > parse_error_list
A list of parser diagnostics, as filled by parse.
Definition: parse.hh:42
Definition: automata.hh:27