Searched refs:reset_term_table (Results 1 – 3 of 3) sorted by relevance
546 extern void reset_term_table(term_table_t *table);
1931 void reset_term_table(term_table_t *table) { in reset_term_table() function
1212 reset_term_table(__yices_globals.terms); in yices_reset_tables()