Searched refs:min_true_idx (Results 1 – 4 of 4) sorted by relevance
1310 int min_true_idx = -1; in select_watch_lit() local1325 …if (min_true_idx == -1 || get_assign_level(l.var()) < get_assign_level(cls->get_literal(min_true_i… in select_watch_lit()1326 min_true_idx = i; in select_watch_lit()1330 if (min_true_idx != -1) in select_watch_lit()1331 return min_true_idx; in select_watch_lit()
1304 int min_true_idx = -1; in select_watch_lit() local1319 …if (min_true_idx == -1 || get_assign_level(l.var()) < get_assign_level(cls->get_literal(min_true_i… in select_watch_lit()1320 min_true_idx = i; in select_watch_lit()1324 if (min_true_idx != -1) in select_watch_lit()1325 return min_true_idx; in select_watch_lit()
813 unsigned min_true_idx = UINT_MAX; in select_watch_lit() local828 if (min_true_idx == UINT_MAX || lvl(l) < lvl(cls[min_true_idx])) in select_watch_lit()829 min_true_idx = i; in select_watch_lit()833 if (min_true_idx != UINT_MAX) in select_watch_lit()834 return min_true_idx; in select_watch_lit()
807 unsigned min_true_idx = UINT_MAX;822 if (min_true_idx == UINT_MAX || lvl(l) < lvl(cls[min_true_idx]))823 min_true_idx = i;827 if (min_true_idx != UINT_MAX)828 return min_true_idx;