JML

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.
 


JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.