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

Method getUpper

src/api/java/Optimize.java:125–128  ·  view source on GitHub ↗

Retrieve an upper bound for the objective handle.

()

Source from the content-addressed store, hash-verified

123 * Retrieve an upper bound for the objective handle.
124 **/
125 public Expr<R> getUpper()
126 {
127 return opt.GetUpper(handle);
128 }
129
130 /**
131 * @return a triple representing the upper bound of the objective handle.

Callers

nothing calls this directly

Calls 1

GetUpperMethod · 0.45

Tested by

no test coverage detected