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

Method GetUpperAsVector

src/api/java/Optimize.java:317–323  ·  view source on GitHub ↗

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

(int index)

Source from the content-addressed store, hash-verified

315 * <p>See {@link Handle#getUpperAsVector}.
316 */
317 private Expr<?>[] GetUpperAsVector(int index) {
318 return unpackObjectiveValueVector(
319 Native.optimizeGetUpperAsVector(
320 getContext().nCtx(), getNativeObject(), index
321 )
322 );
323 }
324
325 /**
326 * @return Triple representing the upper bound for the objective handle.

Callers 1

getUpperAsVectorMethod · 0.45

Calls 4

nCtxMethod · 0.80
getContextMethod · 0.80
getNativeObjectMethod · 0.80

Tested by

no test coverage detected