23 #ifndef SPOT_LTLPARSE_PUBLIC_HH
24 # define SPOT_LTLPARSE_PUBLIC_HH
28 # undef BISON_LOCATION_HH
29 # undef BISON_POSITION_HH
30 # include "ltlparse/location.hh"
45 typedef std::pair<ltlyy::location, std::string>
parse_error;
76 bool lenient =
false);
101 bool lenient =
false);
150 bool lenient =
false);
166 const std::string& input_string,
200 #endif // SPOT_LTLPARSE_PUBLIC_HH