isIntegerOrdered

A problem definition is considered integer-ordered if its input variables are all integer-ordered.