mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 14:13:23 +00:00
Code Activity

spacing

Browse source
This commit is contained in:
Nikolaj Bjorner 2025-04-09 20:23:51 -07:00
parent 8138829231
commit a83efa68eb
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/api/java/Optimize.java
View file

@ -58,7 +58,7 @@ public class Optimize extends Z3Object {
/** /**
* Assert a constraint (or multiple) into the optimize solver. * Assert a constraint (or multiple) into the optimize solver.
**/ **/
public void Assert(Expr<BoolSort> ... constraints) public void Assert(Expr<BoolSort>... constraints)
{ {
getContext().checkContextMatch(constraints); getContext().checkContextMatch(constraints);
for (Expr<BoolSort> a : constraints) for (Expr<BoolSort> a : constraints)
@ -70,7 +70,7 @@ public class Optimize extends Z3Object {
/** /**
* Alias for Assert. * Alias for Assert.
**/ **/
public void Add(Expr<BoolSort> ... constraints) public void Add(Expr<BoolSort>... constraints)
{ {
Assert(constraints); Assert(constraints);
} }