22 #include "kripke/kripkeexplicit.hh"
23 #include "misc/location.hh"
24 #include "ltlenv/defaultenv.hh"
34 typedef std::pair<location, std::string> kripke_parse_error;
36 typedef std::list<kripke_parse_error> kripke_parse_error_list;
40 SPOT_API kripke_explicit_ptr
41 kripke_parse(
const std::string& name,
42 kripke_parse_error_list& error_list,
43 const bdd_dict_ptr& dict,
56 bool format_kripke_parse_errors(std::ostream& os,
57 const std::string& filename,
58 kripke_parse_error_list& error_list);
static default_environment & instance()
Get the sole instance of spot::ltl::default_environment.