Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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
getEntries
Method · 0.95
getKeys
Method · 0.95
get
Method · 0.95
Calls
3
nCtx
Method · 0.80
getContext
Method · 0.80
getNativeObject
Method · 0.80
Tested by
no test coverage detected