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

Method toString

src/api/java/FPNum.java:189–192  ·  view source on GitHub ↗

Returns a string representation of the numeral.

()

Source from the content-addressed store, hash-verified

187 * Returns a string representation of the numeral.
188 */
189 public String toString()
190 {
191 return Native.getNumeralString(getContext().nCtx(), getNativeObject());
192 }
193}

Callers 2

floatingPointExample1Method · 0.95
floatingPointExample1Method · 0.95

Calls 3

nCtxMethod · 0.80
getContextMethod · 0.80
getNativeObjectMethod · 0.80

Tested by

no test coverage detected