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

Method size

src/api/java/Statistics.java:125–128  ·  view source on GitHub ↗

The number of statistical data.

()

Source from the content-addressed store, hash-verified

123 * The number of statistical data.
124 **/
125 public int size()
126 {
127 return Native.statsSize(getContext().nCtx(), getNativeObject());
128 }
129
130 /**
131 * The data entries.

Callers 3

getEntriesMethod · 0.95
getKeysMethod · 0.95
getMethod · 0.95

Calls 3

nCtxMethod · 0.80
getContextMethod · 0.80
getNativeObjectMethod · 0.80

Tested by

no test coverage detected