def StrIsDigit(input_string):
return input_string.value.isdigit()<EOL>
Returns True if the concrete value of the input_string is a digit otherwise returns False

:param input_string: the string we want to check

:return: True if the string is a digit otherwise false