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

Method getKeys

src/api/java/Statistics.java:161–168  ·  view source on GitHub ↗

The statistical counters.

()

Source from the content-addressed store, hash-verified

159 * The statistical counters.
160 **/
161 public String[] getKeys()
162 {
163 int n = size();
164 String[] res = new String[n];
165 for (int i = 0; i < n; i++)
166 res[i] = Native.statsGetKey(getContext().nCtx(), getNativeObject(), i);
167 return res;
168 }
169
170 /**
171 * The value of a particular statistical counter.

Callers

nothing calls this directly

Calls 4

sizeMethod · 0.95
nCtxMethod · 0.80
getContextMethod · 0.80
getNativeObjectMethod · 0.80

Tested by

no test coverage detected