232233234235236237238239240241242243244
} } else { if (variable.hasEnumeratedDomain()) { bests.clear(); double bestVal = Double.MAX_VALUE; DisposableValueIterator it = variable.getValueIterator(true); while (it.hasNext()) { int value = it.next(); double current = vAct[currentVar].activity(value); if (current < bestVal) { bests.clear(); bests.add(value); bestVal = current;