}
public void arrayElementRemove(int removedValue, int idx) throws Failure{
decreaseUsageCounter(removedValue);
IntVar varCopy = (IntVar)copyOfAry.get(idx);
varCopy.removeValue(removedValue);
}
public void arrayElementValue(int value, int idx) throws Failure{
IntVar varCopy = (IntVar)copyOfAry.get(idx);
if ( (value < _element.min()) || (value > _element.max()) )