Uses of Class
org.jmlspecs.models.resolve.NaturalNumber

Packages that use NaturalNumber

org.jmlspecs.models.resolve

This package is a collection of types with immutable objects based on the RESOLVE specification language's mathematical models.

Uses of NaturalNumber in org.jmlspecs.models.resolve

Fields in org.jmlspecs.models.resolve declared as NaturalNumber

static NaturalNumber	NaturalNumber.ZERO The natural number zero.
static NaturalNumber	NaturalNumber.ONE The natural number one.
private static NaturalNumber	NaturalNumber.intMaxVal The maximum integer as a natural number.

Methods in org.jmlspecs.models.resolve that return NaturalNumber

static NaturalNumber	NaturalNumber.valueOf(long val) Return a natural number with the given value.
NaturalNumber	NaturalNumber.suc() Return the successor of this natural number.
static NaturalNumber	NaturalNumber.suc(NaturalNumber v) Return the successor of the given natural number.
NaturalNumber	NaturalNumber.add(NaturalNumber val) Return the sum of this natural number and the given one.
NaturalNumber	NaturalNumber.multiply(NaturalNumber val) Return the product of this natural number and the given one.
NaturalNumber	NaturalNumber.divide(NaturalNumber val) Return the quotient of this natural number divided by the given one.
NaturalNumber	NaturalNumber.remainder(NaturalNumber val) Return the remainder of this natural number divided by the given one.
NaturalNumber	NaturalNumber.pow(NaturalNumber exponent) Return this natural number multiplied by itself the given number of times.
NaturalNumber	NaturalNumber.pow(int exponent) Return this natural number multiplied by itself the given number of times.
NaturalNumber	NaturalNumber.gcd(NaturalNumber val) Return the greatest common denominator of this number and the given number.
NaturalNumber	NaturalNumber.mod(NaturalNumber m) Return this natural number modulo the given one.
NaturalNumber	NaturalNumber.shiftLeft(int n) Return this natural number left shifted the given number of bits.
NaturalNumber	NaturalNumber.shiftRight(int n) Return this natural number right shifted the given number of bits.
NaturalNumber	NaturalNumber.min(NaturalNumber val) Return the smaller of the given natural number and this one.
NaturalNumber	NaturalNumber.max(NaturalNumber val) Return the smaller of the given natural number and this one.

Methods in org.jmlspecs.models.resolve with parameters of type NaturalNumber

static NaturalNumber	NaturalNumber.suc(NaturalNumber v) Return the successor of the given natural number.
NaturalNumber	NaturalNumber.add(NaturalNumber val) Return the sum of this natural number and the given one.
NaturalNumber	NaturalNumber.multiply(NaturalNumber val) Return the product of this natural number and the given one.
NaturalNumber	NaturalNumber.divide(NaturalNumber val) Return the quotient of this natural number divided by the given one.
NaturalNumber	NaturalNumber.remainder(NaturalNumber val) Return the remainder of this natural number divided by the given one.
NaturalNumber	NaturalNumber.pow(NaturalNumber exponent) Return this natural number multiplied by itself the given number of times.
NaturalNumber	NaturalNumber.gcd(NaturalNumber val) Return the greatest common denominator of this number and the given number.
NaturalNumber	NaturalNumber.mod(NaturalNumber m) Return this natural number modulo the given one.
int	NaturalNumber.compareTo(NaturalNumber val) Return negative if this natural numbers strictly less than the given one, 0 if they are equal, and positive if this natural numbers is strictly greater than the given one.
boolean	NaturalNumber.divides(NaturalNumber val) Tell if this natural number divides the given one evenly.
NaturalNumber	NaturalNumber.min(NaturalNumber val) Return the smaller of the given natural number and this one.
NaturalNumber	NaturalNumber.max(NaturalNumber val) Return the smaller of the given natural number and this one.