Searched refs:mark_vars_at_level (Results 1 – 2 of 2) sorted by relevance
199 void mark_vars_at_level(ClauseIdx cl,
890 void CSolver::mark_vars_at_level(ClauseIdx cl, int var_idx, int dl) in mark_vars_at_level() function in CSolver939 mark_vars_at_level (cl, -1 /*var*/, max_dlevel); in conflict_analysis_zchaff()975 mark_vars_at_level(ante_cl, assigned>>1/*var*/, max_dlevel); in conflict_analysis_zchaff()