* @param name
* Symbolic name of the new variable
* @return variable created based on set of possible values
*/
public IntSetVar addIntSetVar(int[] values, String name) {
IntSetVar var = new IntSetVarImpl(this, values, name);
return addIntSetVar(var);
}