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

Method getUpperAsVector

src/api/java/Optimize.java:138–141  ·  view source on GitHub ↗

@return a triple representing the upper bound of the objective handle. The triple contains values inf, value, eps, where the objective value is unbounded iff inf is non-zero, and otherwise is represented by the expression value + eps EPSILON, where EPSILON is an arbi

()

Source from the content-addressed store, hash-verified

136 * where {@code EPSILON} is an arbitrarily small real number.
137 */
138 public Expr<?>[] getUpperAsVector()
139 {
140 return opt.GetUpperAsVector(handle);
141 }
142
143 /**
144 * @return a triple representing the upper bound of the objective handle.

Callers

nothing calls this directly

Calls 1

GetUpperAsVectorMethod · 0.45

Tested by

no test coverage detected