dafny

Class DafnyEuclidean

java.lang.Object

dafny.DafnyEuclidean

public class DafnyEuclidean
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
DafnyEuclidean()

Method Summary

Modifier and Type	Method and Description
static java.math.BigInteger	EuclideanDivision(java.math.BigInteger a, java.math.BigInteger b)
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 java.math.BigInteger	EuclideanModulus(java.math.BigInteger a, java.math.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)

Methods inherited from class java.lang.Object

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

Constructor Detail

DafnyEuclidean

public DafnyEuclidean()

Method Detail

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 java.math.BigInteger EuclideanDivision(java.math.BigInteger a,
                                                     java.math.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 java.math.BigInteger EuclideanModulus(java.math.BigInteger a,
                                                    java.math.BigInteger b)