Searched refs:rangeInt0ToMaxConstraint (Results 1 – 2 of 2) sorted by relevance
37 rangeInt0ToMaxConstraint = ValueRangeConstraint(0, MAXINT) variable41 subtypeSpec = Integer.subtypeSpec + rangeInt0ToMaxConstraint
54 rangeInt0ToMaxConstraint = ValueRangeConstraint(0, MAXINT) variable70 subtypeSpec = Integer.subtypeSpec + rangeInt0ToMaxConstraint