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

Method getLowerAsVector

src/api/java/Optimize.java:148–151  ·  view source on GitHub ↗

@return a triple representing the upper bound of the objective handle. See #getUpperAsVector() for triple semantics.

()

Source from the content-addressed store, hash-verified

146 * <p>See {@link #getUpperAsVector()} for triple semantics.
147 */
148 public Expr<?>[] getLowerAsVector()
149 {
150 return opt.GetLowerAsVector(handle);
151 }
152
153 /**
154 * Retrieve the value of an objective.

Callers

nothing calls this directly

Calls 1

GetLowerAsVectorMethod · 0.45

Tested by

no test coverage detected