dafny

Class BigRational

java.lang.Object

dafny.BigRational

public class BigRational
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static BigRational	ZERO

Constructor Summary

Constructors

Constructor and Description
BigRational()
BigRational(java.math.BigInteger n, java.math.BigInteger d)
BigRational(int n)
BigRational(int n, int d)

Method Summary

Modifier and Type	Method and Description
BigRational	add(BigRational b)
static BigRational	add(BigRational a, BigRational b)
int	compareTo(BigRational that)
BigRational	divide(BigRational b)
static BigRational	divide(BigRational a, BigRational b)
static Tuple3<java.lang.Boolean,java.math.BigInteger,java.lang.Integer>	dividesAPowerOf10(java.math.BigInteger i)
boolean	equals(java.lang.Object obj)
int	hashCode()
boolean	isInteger()
static Tuple2<java.lang.Boolean,java.lang.Integer>	isPowerOf10(java.math.BigInteger x)
BigRational	multiply(BigRational b)
static BigRational	multiply(BigRational a, BigRational b)
BigRational	negate()
static BigRational	negate(BigRational a)
BigRational	reduce()
int	signum()
BigRational	subtract(BigRational b)
static BigRational	subtract(BigRational a, BigRational b)
java.math.BigInteger	ToBigInteger()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

ZERO

public static final BigRational ZERO

Constructor Detail

BigRational

public BigRational()

BigRational

public BigRational(int n)

BigRational

public BigRational(int n,
                   int d)

BigRational

public BigRational(java.math.BigInteger n,
                   java.math.BigInteger d)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

isPowerOf10

public static Tuple2<java.lang.Boolean,java.lang.Integer> isPowerOf10(java.math.BigInteger x)

dividesAPowerOf10

public static Tuple3<java.lang.Boolean,java.math.BigInteger,java.lang.Integer> dividesAPowerOf10(java.math.BigInteger i)

ToBigInteger

public java.math.BigInteger ToBigInteger()

isInteger

public boolean isInteger()

reduce

public BigRational reduce()

compareTo

public int compareTo(BigRational that)

signum

public int signum()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

add

public static BigRational add(BigRational a,
                              BigRational b)

subtract

public static BigRational subtract(BigRational a,
                                   BigRational b)

negate

public static BigRational negate(BigRational a)

multiply

public static BigRational multiply(BigRational a,
                                   BigRational b)

divide

public static BigRational divide(BigRational a,
                                 BigRational b)

add

public BigRational add(BigRational b)

subtract

public BigRational subtract(BigRational b)

negate

public BigRational negate()

multiply

public BigRational multiply(BigRational b)

divide

public BigRational divide(BigRational b)