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

Method getBigInteger

src/api/java/IntNum.java:58–61  ·  view source on GitHub ↗

Retrieve the BigInteger value.

()

Source from the content-addressed store, hash-verified

56 * Retrieve the BigInteger value.
57 **/
58 public BigInteger getBigInteger()
59 {
60 return new BigInteger(this.toString());
61 }
62
63 /**
64 * Returns a string representation of the numeral.

Callers 2

basicTestsMethod · 0.45
basicTestsMethod · 0.45

Calls 1

toStringMethod · 0.95

Tested by

no test coverage detected