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

Method getLower

src/api/java/Optimize.java:117–120  ·  view source on GitHub ↗

Retrieve a lower bound for the objective handle.

()

Source from the content-addressed store, hash-verified

115 * Retrieve a lower bound for the objective handle.
116 **/
117 public Expr<R> getLower()
118 {
119 return opt.GetLower(handle);
120 }
121
122 /**
123 * Retrieve an upper bound for the objective handle.

Callers 1

getValueMethod · 0.95

Calls 1

GetLowerMethod · 0.45

Tested by

no test coverage detected