Package org.checkerframework.common.value.util
package org.checkerframework.common.value.util
-
ClassesClassDescriptionPerforms Java numeric operations whose left operand is a boxed number.Utility routines for manipulating numbers.The Range class models a 64-bit two's-complement integral interval, such as all integers between 1 and 10, inclusive.