Package dafny

Class DafnyEuclidean

java.lang.Object

dafny.DafnyEuclidean

public class DafnyEuclidean
extends Object

Constructor Summary

Constructors

Constructor	Description
DafnyEuclidean()

Method Summary

Modifier and Type	Method	Description
static byte	EuclideanDivision(byte a, byte b)
static int	EuclideanDivision(int a, int b)
static long	EuclideanDivision(long a, long b)
static short	EuclideanDivision(short a, short b)
static BigInteger	EuclideanDivision(BigInteger a, BigInteger b)
static byte	EuclideanModulus(byte a, byte b)
static int	EuclideanModulus(int a, int b)
static long	EuclideanModulus(long a, long b)
static short	EuclideanModulus(short a, short b)
static BigInteger	EuclideanModulus(BigInteger a, BigInteger b)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DafnyEuclidean

public DafnyEuclidean()

Method Details

EuclideanDivision

public static byte EuclideanDivision(byte a,
 byte b)

EuclideanDivision

public static short EuclideanDivision(short a,
 short b)

EuclideanDivision

public static int EuclideanDivision(int a,
 int b)

EuclideanDivision

public static long EuclideanDivision(long a,
 long b)

EuclideanDivision

public static BigInteger EuclideanDivision(BigInteger a,
 BigInteger b)

EuclideanModulus

public static byte EuclideanModulus(byte a,
 byte b)

EuclideanModulus

public static short EuclideanModulus(short a,
 short b)

EuclideanModulus

public static int EuclideanModulus(int a,
 int b)

EuclideanModulus

public static long EuclideanModulus(long a,
 long b)

EuclideanModulus

public static BigInteger EuclideanModulus(BigInteger a,
 BigInteger b)