550551552553554555556557558559560
else{ for (int i=varCopy.min(); i < value; i++){ if (varCopy.contains(i)) decreaseUsageCounter(i); } for (int i=varCopy.max(); i > value; i--){ if (varCopy.contains(i)) decreaseUsageCounter(i); } } varCopy.setValue(value);