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

Method toDecimalString

src/api/java/RatNum.java:68–72  ·  view source on GitHub ↗

Returns a string representation in decimal notation. Remarks: The result has at most precision decimal places.

(int precision)

Source from the content-addressed store, hash-verified

66 * has at most {@code precision} decimal places.
67 **/
68 public String toDecimalString(int precision)
69 {
70 return Native.getNumeralDecimalString(getContext().nCtx(), getNativeObject(),
71 precision);
72 }
73
74 /**
75 * Returns a string representation of the numeral.

Callers 2

basicTestsMethod · 0.95
basicTestsMethod · 0.95

Calls 3

nCtxMethod · 0.80
getContextMethod · 0.80
getNativeObjectMethod · 0.80

Tested by

no test coverage detected