MCPcopy 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

getNumAssertionsMethod · 0.95
getConsequencesMethod · 0.95
getTrailLevelsMethod · 0.95
ToArrayMethod · 0.95
ToExprArrayMethod · 0.95
ToBoolExprArrayMethod · 0.95
ToBitVecExprArrayMethod · 0.95
ToArithExprExprArrayMethod · 0.95
ToArrayExprArrayMethod · 0.95
ToDatatypeExprArrayMethod · 0.95
ToFPExprArrayMethod · 0.95
ToFPRMExprArrayMethod · 0.95

Calls 3

nCtxMethod · 0.80
getContextMethod · 0.80
getNativeObjectMethod · 0.80

Tested by

no test coverage detected