Searched refs:reset_fun_vartable (Results 1 – 1 of 1) sorted by relevance
269 static void reset_fun_vartable(fun_vartable_t *table) { in reset_fun_vartable() function1933 reset_fun_vartable(&solver->vtbl); in fun_solver_reset()