MCPcopy Create free account
hub / github.com/Z3Prover/z3 / getBigIntDenominator

Method getBigIntDenominator

src/api/java/RatNum.java:57–61  ·  view source on GitHub ↗

Converts the denominator of the rational to a BigInteger

()

Source from the content-addressed store, hash-verified

55 * Converts the denominator of the rational to a BigInteger
56 **/
57 public BigInteger getBigIntDenominator()
58 {
59 IntNum n = getDenominator();
60 return new BigInteger(n.toString());
61 }
62
63 /**
64 * Returns a string representation in decimal notation.

Callers 2

bigIntCheckMethod · 0.80
bigIntCheckMethod · 0.80

Calls 2

getDenominatorMethod · 0.95
toStringMethod · 0.95

Tested by

no test coverage detected