Searched refs:fun_solver_reset (Results 1 – 2 of 2) sorted by relevance
444 extern void fun_solver_reset(fun_solver_t *solver);
1929 void fun_solver_reset(fun_solver_t *solver) { in fun_solver_reset() function3576 (reset_fun_t) fun_solver_reset,