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 package org.sat4j.minisat.core;
31
32 import junit.framework.TestCase;
33
34 public class HeapTest extends TestCase {
35
36
37
38
39 public void testSetBounds() {
40
41 }
42
43
44
45
46 public void testInHeap() {
47 Heap heap = new Heap(new double[] { 0.0, 3.0, 9.0, 2.0 });
48 heap.setBounds(5);
49 assertFalse(heap.inHeap(1));
50 assertFalse(heap.inHeap(2));
51 assertFalse(heap.inHeap(3));
52 heap.insert(1);
53 assertTrue(heap.inHeap(1));
54 assertFalse(heap.inHeap(2));
55 assertFalse(heap.inHeap(3));
56 heap.insert(2);
57 assertTrue(heap.inHeap(1));
58 assertTrue(heap.inHeap(2));
59 assertFalse(heap.inHeap(3));
60 heap.insert(3);
61 assertTrue(heap.inHeap(1));
62 assertTrue(heap.inHeap(2));
63 assertTrue(heap.inHeap(3));
64 assertEquals(2, heap.getmin());
65 assertTrue(heap.inHeap(1));
66 assertFalse(heap.inHeap(2));
67 assertTrue(heap.inHeap(3));
68 assertEquals(1, heap.getmin());
69 assertFalse(heap.inHeap(1));
70 assertFalse(heap.inHeap(2));
71 assertTrue(heap.inHeap(3));
72 assertEquals(3, heap.getmin());
73 assertFalse(heap.inHeap(1));
74 assertFalse(heap.inHeap(2));
75 assertFalse(heap.inHeap(3));
76
77 }
78
79
80
81
82 public void testIncrease() {
83
84 }
85
86
87
88
89 public void testEmpty() {
90 Heap heap = new Heap(new double[] {});
91 assertTrue(heap.empty());
92 }
93
94
95
96
97 public void testInsert() {
98 Heap heap = new Heap(new double[] { 0.0, 1.0, 1.0, 2.0 });
99 heap.setBounds(5);
100 heap.insert(1);
101 heap.insert(2);
102 heap.insert(3);
103 assertEquals(3, heap.getmin());
104 assertEquals(1, heap.getmin());
105 assertEquals(2, heap.getmin());
106 }
107
108
109
110
111 public void testGetmin() {
112 Heap heap = new Heap(new double[] { 0.0, 3.0, 9.0, 2.0 });
113 heap.setBounds(5);
114 heap.insert(1);
115 heap.insert(2);
116 heap.insert(3);
117 assertEquals(2, heap.getmin());
118 assertEquals(1, heap.getmin());
119 assertEquals(3, heap.getmin());
120 }
121
122
123
124
125 public void testHeapProperty() {
126
127 }
128
129
130
131
132 public void testHeapPropertyInt() {
133
134 }
135
136 }