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

Method getValue

src/api/java/Optimize.java:156–159  ·  view source on GitHub ↗

Retrieve the value of an objective.

()

Source from the content-addressed store, hash-verified

154 * Retrieve the value of an objective.
155 **/
156 public Expr<R> getValue()
157 {
158 return getLower();
159 }
160
161 /**
162 * Print a string representation of the handle.

Callers 2

toStringMethod · 0.95
ContextMethod · 0.45

Calls 1

getLowerMethod · 0.95

Tested by

no test coverage detected