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

Method getBigIntNumerator

src/api/java/RatNum.java:48–52  ·  view source on GitHub ↗

Converts the numerator of the rational to a BigInteger

()

Source from the content-addressed store, hash-verified

46 * Converts the numerator of the rational to a BigInteger
47 **/
48 public BigInteger getBigIntNumerator()
49 {
50 IntNum n = getNumerator();
51 return new BigInteger(n.toString());
52 }
53
54 /**
55 * Converts the denominator of the rational to a BigInteger

Callers 2

bigIntCheckMethod · 0.80
bigIntCheckMethod · 0.80

Calls 2

getNumeratorMethod · 0.95
toStringMethod · 0.95

Tested by

no test coverage detected