IntArrayCards vcards = vars.cards();
FastVector cards = new FastVector();
for (int i = 0; i < values.length; ++i) {
cards.addElement(vcards.cardAt(values[i]));
// cards.addElement(addIntVar(0,vars.size(),"Count of "+values[i]));
}
// redundant constraint
return new IntExpArray(this, cards);
}