Searched refs:reset_string_lexer (Results 1 – 3 of 3) sorted by relevance
124 extern void reset_string_lexer(lexer_t *lex, const char *data);
113 void reset_string_lexer(lexer_t *lex, const char *data) { in reset_string_lexer() function
895 reset_string_lexer(__yices_globals.lexer, s); in get_parser()