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
|
package build
import (
"fmt"
"testing"
)
func TestUnion(t *testing.T) {
res := Empty(0).Union(Empty(0))
exp := "0 []"
if mess, diff := diff(res.String(), exp); diff {
t.Errorf("Union %s", mess)
}
Consistent("Union", t, res)
res = Empty(0).AddCost(4).Union(Grid(1, 2).AddCost(5))
exp = "2 [{0 1}]"
if mess, diff := diff(res.String(), exp); diff {
t.Errorf("Union %s", mess)
}
Consistent("Union", t, res)
res = Grid(1, 2).AddCost(4).Union(Grid(1, 2).AddCost(5))
exp = "2 [{0 1}]"
if mess, diff := diff(res.String(), exp); diff {
t.Errorf("Union %s", mess)
}
Consistent("Union", t, res)
res = Grid(2, 2).Union(Kn(3).AddCost(8))
exp = "4 [{0 1} {0 2} {1 2} {1 3} {2 3}]"
if mess, diff := diff(res.String(), exp); diff {
t.Errorf("Union %s", mess)
}
Consistent("Union", t, res)
res = Kn(3).Union(Grid(2, 2))
exp = "4 [{0 1} {0 2} {1 2} {1 3} {2 3}]"
if mess, diff := diff(res.String(), exp); diff {
t.Errorf("Union %s", mess)
}
Consistent("Union", t, res)
for m := 0; m < 5; m++ {
for n := 0; n < 5; n++ {
res = Kn(m).Union(Kn(n))
mess := fmt.Sprintf("Kn(%d).Union(Kn(%d))", m, n)
Consistent(mess, t, res)
res = Grid(m, n).Union(Kn(n))
mess = fmt.Sprintf("Grid(%d,%d).Union(Kn(%d))", m, n, n)
Consistent(mess, t, res)
res = Kn(n).Union(Grid(m, n))
mess = fmt.Sprintf("Kn(%d).Union(Grid(%d,%d))", n, m, n)
Consistent(mess, t, res)
km := Kn(m).Keep(func(v, w int) bool {
return v != m-1 && w != m-1
})
res = km.Union(Kn(n))
mess = fmt.Sprintf("Kn(%d)-{m-1}.Union(Kn(%d))", m, n)
Consistent(mess, t, res)
}
}
}
|
