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

Method toString

src/api/java/IntNum.java:66–68  ·  view source on GitHub ↗

Returns a string representation of the numeral.

()

Source from the content-addressed store, hash-verified

64 * Returns a string representation of the numeral.
65 **/
66 public String toString() {
67 return Native.getNumeralString(getContext().nCtx(), getNativeObject());
68 }
69}

Callers 4

getBigIntNumeratorMethod · 0.95
getBigIntDenominatorMethod · 0.95
getBigIntegerMethod · 0.95
basicTestsMethod · 0.95

Calls 3

nCtxMethod · 0.80
getContextMethod · 0.80
getNativeObjectMethod · 0.80

Tested by

no test coverage detected