Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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
toString
Method · 0.95
Context
Method · 0.45
Calls
1
getLower
Method · 0.95
Tested by
no test coverage detected