Assigns the specified integer label to this IElement. This method does only apply to IElements associated with a subset of Integers. 

void setIntLabel(int label);