|
4 | 4 |
|
5 | 5 | def localconss(model, event): |
6 | 6 | local_conss = getLocalConss(model) |
7 | | - assert len(local_conss) == getNLocalConss(model) |
| 7 | + assert len(local_conss[1]) == getNAddedConss(model) |
8 | 8 |
|
9 | 9 | vars = model.getVars() |
10 | 10 | if model.getCurrentNode().getNumber() == 1: |
11 | 11 | pass |
| 12 | + |
12 | 13 | elif model.getCurrentNode().getNumber() == 2: |
13 | 14 | model.data["local_cons1"] = model.addCons(vars[0] + vars[1] <= 1, name="c1", local=True) |
14 | | - assert getNLocalConss(model) == 1 |
15 | | - assert getLocalConss(model)[0] == model.data["local_cons1"] |
| 15 | + assert getNAddedConss(model) == 1 |
| 16 | + assert getLocalConss(model)[1][0] == model.data["local_cons1"] |
| 17 | + |
16 | 18 | elif model.getCurrentNode().getNumber() == 4: |
17 | 19 | local_conss = getLocalConss(model) |
18 | 20 | model.data["local_cons2"] = model.addCons(vars[1] + vars[2] <= 1, name="c2", local=True) |
19 | 21 | model.data["local_cons3"] = model.addCons(vars[2] + vars[3] <= 1, name="c3", local=True) |
20 | | - assert getNLocalConss(model) == 3 |
21 | | - assert getLocalConss(model)[0] == model.data["local_cons1"] |
22 | | - assert getLocalConss(model)[1] == model.data["local_cons2"] |
23 | | - assert getLocalConss(model)[2] == model.data["local_cons3"] |
| 22 | + assert getNAddedConss(model) == 3 |
| 23 | + assert getLocalConss(model)[1][0] == model.data["local_cons1"] |
| 24 | + assert getLocalConss(model)[1][1] == model.data["local_cons2"] |
| 25 | + assert getLocalConss(model)[1][2] == model.data["local_cons3"] |
| 26 | + |
24 | 27 | elif model.getCurrentNode().getParent().getNumber() not in [2,4]: |
25 | | - assert getLocalConss(model) == [] |
| 28 | + assert getLocalConss(model) == [model.getConss(), []] |
26 | 29 |
|
27 | 30 | def test_getLocalConss(): |
28 | 31 | model = random_mip_1(node_lim=4) |
|
0 commit comments