23 #include "spot/priv/robin_hood.hh"
25 #include <spot/misc/location.hh>
28 int hoayylex(hoayy::parser::semantic_type *yylval, \
29 spot::location *yylloc, \
31 spot::parse_aut_error_list& error_list, \
32 robin_hood::unordered_flat_map<std::string, bdd>& fmap)
37 void hoayyreset(
void* scanner);
38 int hoayyopen(
const std::string& name,
void** scanner);
39 int hoayyopen(
int fd,
void** scanner);
40 int hoayystring(
const char* data,
void** scanner);
41 void hoayyclose(
void* scanner);
Definition: automata.hh:27
Definition: parsedecl.hh:45