492493494495496497498499500501502
IntVar varCopy; IntExp exp = array.get(i); if (exp instanceof IntVar) varCopy = createCopyOfIntVar((IntVar)exp); else varCopy = array.constrainer().addIntVar(exp.min(), exp.max(), IntVar.DOMAIN_PLAIN); arrCopy.set(varCopy, i); } return arrCopy; }