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

Method toString

src/api/java/Params.java:116–120  ·  view source on GitHub ↗

A string representation of the parameter set.

()

Source from the content-addressed store, hash-verified

114 * A string representation of the parameter set.
115 **/
116 @Override
117 public String toString()
118 {
119 return Native.paramsToString(getContext().nCtx(), getNativeObject());
120 }
121
122 Params(Context ctx)
123 {

Callers

nothing calls this directly

Calls 3

nCtxMethod · 0.80
getContextMethod · 0.80
getNativeObjectMethod · 0.80

Tested by

no test coverage detected