Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Z3Prover/z3
/ size
Method
size
src/api/java/ASTVector.java:29–32 ·
view source on GitHub ↗
The size of the vector
()
Source
from the content-addressed store, hash-verified
27
* The size of the vector
28
**/
29
public
int
size()
30
{
31
return
Native.astVectorSize(getContext().nCtx(), getNativeObject());
32
}
33
34
/**
35
* Retrieves the i-th object in the vector.
Callers
14
getNumAssertions
Method · 0.95
getConsequences
Method · 0.95
getTrailLevels
Method · 0.95
ToArray
Method · 0.95
ToExprArray
Method · 0.95
ToBoolExprArray
Method · 0.95
ToBitVecExprArray
Method · 0.95
ToArithExprExprArray
Method · 0.95
ToArrayExprArray
Method · 0.95
ToDatatypeExprArray
Method · 0.95
ToFPExprArray
Method · 0.95
ToFPRMExprArray
Method · 0.95
Calls
3
nCtx
Method · 0.80
getContext
Method · 0.80
getNativeObject
Method · 0.80
Tested by
no test coverage detected