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"
76 bool lenient =
false);
101 bool lenient =
false);
150 bool lenient =
false);
166 const std::string& input_string,
200 #endif // SPOT_LTLPARSE_PUBLIC_HH