Module org.zfcj.math.concretenumbers

Package org.zfcj.math.numbers.concrete

Interface AtLeastThirteen

All Superinterfaces:

AtLeastEight, AtLeastEleven, AtLeastFive, AtLeastFour, AtLeastMinusOne, AtLeastNine, AtLeastOne, AtLeastSeven, AtLeastSix, AtLeastTen, AtLeastThree, AtLeastTwelve, AtLeastTwo, AtLeastZero, CardinalNumber, Comparable<RealNumber>, CountableNumber, Integer, NaturalNumber, Number, PositiveInteger, RationalNumber, RealNumber

All Known Subinterfaces:

AtLeastEighteen, AtLeastFifteen, AtLeastFourteen, AtLeastNineteen, AtLeastSeventeen, AtLeastSixteen, AtLeastTwenty

All Known Implementing Classes:

Eighteen, Fifteen, Fourteen, Nineteen, Seventeen, Sixteen, Thirteen, Twenty

public sealed interface AtLeastThirteen
extends AtLeastTwelve
permits Thirteen, AtLeastFourteen

An Integer no less than 13

Field Summary

Fields inherited from interface org.zfcj.math.numbers.PositiveInteger

MAX_INT

Method Summary

Methods inherited from interface org.zfcj.math.numbers.Integer

bigIntegerValue, compareTo, countTo, denominator, divide, doubleValue, greaterThan, greaterThanOrEqualTo, intDenominator, intNumerator, intValue, lessThan, lessThanOrEqualTo, longDenominator, longNumerator, longValue, minus, modulo, numerator, plus, times

Methods inherited from interface org.zfcj.math.numbers.NaturalNumber

count0ToN, count0ToNMinus1, countNTo0, countNTo1, countTo, divide, modulo, plus, times

Methods inherited from interface org.zfcj.math.numbers.PositiveInteger

count1ToN, count1ToNMinus1, countNMinus1To0, countTo, divide, minusOne, plus, times

Methods inherited from interface org.zfcj.math.numbers.RationalNumber

dividedBy, isInt, isLong, minus, plus, reduce, times

Methods inherited from interface org.zfcj.math.numbers.RealNumber

abs, almostEquals, almostEquals, bigDecimalValue, dividedBy, greaterThan, greaterThanOrEqualTo, isDouble, lessThan, lessThanOrEqualTo, minus, modulo, plus, pow, times, truncate