Searched refs:fun_solver_set_max_update_conflicts (Results 1 – 2 of 2) sorted by relevance
540 static inline void fun_solver_set_max_update_conflicts(fun_solver_t *solver, uint32_t n) { in fun_solver_set_max_update_conflicts() function
551 fun_solver_set_max_update_conflicts(fsolver, params->max_update_conflicts); in context_set_search_parameters()