col_costs[col].costs = add_saturated(col_costs[col].costs, 8 * be_ifg_degree(ifg, pos));
}
}
- be_ifg_neighbours_break(&it);
/* Set the costs to infinity for each color which is not allowed at this node. */
unsigned const *const admissible = ci->admissible;
INIT_LIST_HEAD(&tmp);
neigh_ok = change_color_not(env, n, tgt_col, &tmp, depth + 1);
list_splice(&tmp, &changed);
- if (!neigh_ok)
+ if (!neigh_ok) {
+ be_ifg_neighbours_break(&it);
break;
+ }
}
}
- be_ifg_neighbours_break(&it);
/*
We managed to assign the target color to all neighbors, so from the perspective
badness[c] += ci->costs;
}
}
- be_ifg_neighbours_break(&it);
}
/**