Package dafny

Class BigRational

java.lang.Object

dafny.BigRational

public class BigRational
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static final BigRational	ZERO

Constructor Summary

Constructors

Constructor	Description
BigRational()
BigRational(int n)
BigRational(int n, int d)
BigRational(BigInteger n, BigInteger d)

Method Summary

Modifier and Type	Method	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<Boolean,BigInteger,Integer>	dividesAPowerOf10(BigInteger i)
boolean	equals(Object obj)
int	hashCode()
static Tuple2<Boolean,Integer>	isPowerOf10(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)
BigInteger	ToBigInteger()
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

ZERO

public static final BigRational ZERO

Constructor Details

BigRational

public BigRational()

BigRational

public BigRational(int n)

BigRational

public BigRational(int n,
 int d)

BigRational

public BigRational(BigInteger n,
 BigInteger d)

Method Details

toString

public String toString()

Overrides:

toString in class Object

isPowerOf10

public static Tuple2<Boolean,Integer> isPowerOf10(BigInteger x)

dividesAPowerOf10

public static Tuple3<Boolean,BigInteger,Integer> dividesAPowerOf10(BigInteger i)

ToBigInteger

public BigInteger ToBigInteger()

reduce

public BigRational reduce()

compareTo

public int compareTo(BigRational that)

signum

public int signum()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class 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)