/**
* Detect different equalities cliques.
*
* @param matrix matrix of equalities
* @param nbIntVars nb of IntegerVariable within the model
* @param color array of colir, ie nb different variable
* @param domainByColor list of domain by color.
* @return nb of different color found
*/
private int detect(
final ISparseMatrix matrix,
final int nbIntVars,
final int[] color,
final TIntObjectHashMap<IntegerVariableMerger> domainByColor) {
int nb = -1;
IntegerVariableMerger dtmp = new IntegerVariableMerger();
final Iterator<Long> it = matrix.iterator();
while (it.hasNext()) {
final long v = it.next();
final int i = (int) (v / nbIntVars);
final int j = (int) (v % nbIntVars);
if (color[i] == -1) {
nb++;
color[i] = nb;
domainByColor.put(nb, new IntegerVariableMerger(model.getIntVar(i)));
}
final IntegerVariableMerger d = domainByColor.get(color[i]);
// backup
dtmp.copy(d);
if (d.intersection(model.getIntVar(j))) {
color[j] = color[i];
domainByColor.put(color[i], d);
} else {
add(Choco.eq(model.getIntVar(i), model.getIntVar(j)));
// rollback
d.copy(dtmp);
if (color[j] == -1) {
nb++;
color[j] = nb;
domainByColor.put(nb, new IntegerVariableMerger(model.getIntVar(j)));
}
}
}
return nb;
}
