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

Method GetLower

src/api/java/Optimize.java:299–302  ·  view source on GitHub ↗

Retrieve a lower bound for the objective handle.

(int index)

Source from the content-addressed store, hash-verified

297 * Retrieve a lower bound for the objective handle.
298 **/
299 private <R extends Sort> Expr<R> GetLower(int index)
300 {
301 return (Expr<R>) Expr.create(getContext(), Native.optimizeGetLower(getContext().nCtx(), getNativeObject(), index));
302 }
303
304 /**
305 * Retrieve an upper bound for the objective handle.

Callers 1

getLowerMethod · 0.45

Calls 4

createMethod · 0.95
getContextMethod · 0.80
nCtxMethod · 0.80
getNativeObjectMethod · 0.80

Tested by

no test coverage detected