is
A problem definition is considered integer-ordered if every one of its input variables is integer-ordered, meaning unit-spaced. See ksl.simopt.problem.InputDefinition.isIntegerOrdered for why this is stricter than integer-valued.