public void arrayElementValue(int value, int idx) throws Failure{
IntVar varCopy = (IntVar)copyOfAry.get(idx);
if ( (value < _element.min()) || (value > _element.max()) )
_index.removeValue(idx);
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))