22#include <spot/misc/location.hh>
23#include <spot/tl/defaultenv.hh>
93 const std::string& input,
121 bool lenient =
false);
144 bool lenient =
false);
202 bool lenient =
false);
static default_environment & instance()
Get the sole instance of spot::default_environment.
An environment that describes atomic propositions.
Definition: environment.hh:29
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:36
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:38
Definition: automata.hh:26