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

Method mkOptimize

src/api/java/Context.java:3623–3626  ·  view source on GitHub ↗

Create a Optimize context.

()

Source from the content-addressed store, hash-verified

3621 * Create a Optimize context.
3622 **/
3623 public Optimize mkOptimize()
3624 {
3625 return new Optimize(this);
3626 }
3627
3628
3629 /**

Callers 3

OptimizeMethod · 0.80
optimizeExampleMethod · 0.80
optimizeExampleMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected