20 #ifndef SPOT_KRIPKEPARSE_PUBLIC_HH
21 # define SPOT_KRIPKEPARSE_PUBLIC_HH
23 # include "kripke/kripkeexplicit.hh"
24 # include "misc/location.hh"
25 # include "ltlenv/defaultenv.hh"
35 typedef std::pair<location, std::string> kripke_parse_error;
37 typedef std::list<kripke_parse_error> kripke_parse_error_list;
41 SPOT_API kripke_explicit*
42 kripke_parse(
const std::string& name,
43 kripke_parse_error_list& error_list,
57 bool format_kripke_parse_errors(std::ostream& os,
58 const std::string& filename,
59 kripke_parse_error_list& error_list);