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

Method GetLowerAsVector

src/api/java/Optimize.java:330–336  ·  view source on GitHub ↗

@return Triple representing the upper bound for the objective handle. See Handle#getLowerAsVector.

(int index)

Source from the content-addressed store, hash-verified

328 * <p>See {@link Handle#getLowerAsVector}.
329 */
330 private Expr<?>[] GetLowerAsVector(int index) {
331 return unpackObjectiveValueVector(
332 Native.optimizeGetLowerAsVector(
333 getContext().nCtx(), getNativeObject(), index
334 )
335 );
336 }
337
338 private Expr<?>[] unpackObjectiveValueVector(long nativeVec) {
339 ASTVector vec = new ASTVector(

Callers 1

getLowerAsVectorMethod · 0.45

Calls 4

nCtxMethod · 0.80
getContextMethod · 0.80
getNativeObjectMethod · 0.80

Tested by

no test coverage detected