SPOT_API parsed_aut_ptr dstar_parse(const std::string &filename, parse_aut_error_list &error_list, const bdd_dict_ptr &dict, ltl::environment &env=ltl::default_environment::instance(), bool debug=false)
Build a spot::twa_graph_ptr from ltl2dstar's output.