Method Summary |
|
public JMLInfiniteInteger | add(JMLInfiniteInteger n) Return the sum of this integer and the argument. |
public int | compareTo(JMLInfiniteInteger n) Compare this to the given integer, returning a comparison code. |
public int | compareTo(Object o) Compare this to o, returning a comparison code. |
public JMLInfiniteInteger | divide(JMLInfiniteInteger n) Return the quotient of this integer divided by the argument. |
public double | doubleValue() Return this integer approximated by a double. |
public BigInteger | finiteValue() Throw an ArithmeticException. |
public float | floatValue() Return this integer approximated by a float. |
public int | hashCode() Return a hash code for this object. |
public boolean | isFinite() Return false. |
public JMLInfiniteInteger | mod(JMLInfiniteInteger n) Return this integer modulo the argument. |
public JMLInfiniteInteger | multiply(JMLInfiniteInteger n) Return the product of this integer and the argument. |
public JMLInfiniteInteger | negate() Return positive infinity. |
public JMLInfiniteInteger | pow(int n) Return this integer raised to the argument's power. |
public JMLInfiniteInteger | remainder(JMLInfiniteInteger n) Return the remainder of this integer divided by the argument. |
public int | signum() Return the sign of this integer. |
public JMLInfiniteInteger | subtract(JMLInfiniteInteger n) Return the difference between this integer and the argument. |
public String | toString() Return the string "-Infinity". |
public String | toString(int radix) Return the string "-Infinity". |