mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
parent
52de96fcfc
commit
318ee3a86d
|
@ -2796,6 +2796,14 @@ public class Context extends IDisposable
|
|||
return new Fixedpoint(this);
|
||||
}
|
||||
|
||||
/**
|
||||
* Create a Optimize context.
|
||||
**/
|
||||
public Optimize mkOptimize()
|
||||
{
|
||||
return new Optimize(this);
|
||||
}
|
||||
|
||||
|
||||
/**
|
||||
* Create the floating-point RoundingMode sort.
|
||||
|
|
Loading…
Reference in a new issue