Class DoubleMath

java.lang.Object
org.checkerframework.common.value.util.NumberMath<Double>
org.checkerframework.common.value.util.DoubleMath

public class DoubleMath extends NumberMath<Double>