-
Notifications
You must be signed in to change notification settings - Fork 0
/
MinimizeBAB.bonsai.java
68 lines (55 loc) · 1.89 KB
/
MinimizeBAB.bonsai.java
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
// Copyright 2019 Pierre Talbot
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
// http://www.apache.org/licenses/LICENSE-2.0
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
package bonsai.cp;
import java.lang.System;
import java.util.*;
import bonsai.runtime.queueing.*;
import bonsai.runtime.core.*;
import bonsai.runtime.lattices.*;
import bonsai.runtime.lattices.choco.*;
import org.chocosolver.solver.variables.*;
import org.chocosolver.solver.Cause;
import org.chocosolver.solver.exception.ContradictionException;
public class MinimizeBAB
{
ref world_line ConstraintStore constraints;
ref single_time ES consistent;
ref single_space IntVar x;
public single_space LMin obj = bot;
public MinimizeBAB(ConstraintStore constraints, ES consistent, IntVar x) {
this.constraints = constraints;
this.consistent = consistent;
this.x = x;
}
public proc solve() =
par run minimize() <> run yield_objective() end
proc minimize() =
loop
when consistent |= true then
when true |= consistent then
single_space LMin pre_obj = new LMin(x.getLB());
pause;
obj <- pre_obj;
else pause end
else pause end
end
flow yield_objective() =
consistent <- updateBound(write x, read obj)
public static ES updateBound(IntVar x, LMin obj) {
try {
x.updateUpperBound(obj.unwrap() - 1, Cause.Null);
return new ES(Kleene.UNKNOWN);
}
catch (ContradictionException c) {
return new ES(Kleene.FALSE);
}
}
}