... |
... |
@@ -60,6 +60,6 @@
|
60 |
60 |
/// \see RadixHeap
|
61 |
|
class UnderFlowPriorityError : public Exception {
|
|
61 |
class PriorityUnderflowError : public Exception {
|
62 |
62 |
public:
|
63 |
63 |
virtual const char* what() const throw() {
|
64 |
|
return "lemon::RadixHeap::UnderFlowPriorityError";
|
|
64 |
return "lemon::RadixHeap::PriorityUnderflowError";
|
65 |
65 |
}
|
... |
... |
@@ -96,4 +96,4 @@
|
96 |
96 |
|
97 |
|
std::vector<RadixItem> data;
|
98 |
|
std::vector<RadixBox> boxes;
|
|
97 |
std::vector<RadixItem> _data;
|
|
98 |
std::vector<RadixBox> _boxes;
|
99 |
99 |
|
... |
... |
@@ -114,5 +114,5 @@
|
114 |
114 |
{
|
115 |
|
boxes.push_back(RadixBox(minimum, 1));
|
116 |
|
boxes.push_back(RadixBox(minimum + 1, 1));
|
117 |
|
while (lower(boxes.size() - 1, capacity + minimum - 1)) {
|
|
115 |
_boxes.push_back(RadixBox(minimum, 1));
|
|
116 |
_boxes.push_back(RadixBox(minimum + 1, 1));
|
|
117 |
while (lower(_boxes.size() - 1, capacity + minimum - 1)) {
|
118 |
118 |
extend();
|
... |
... |
@@ -124,3 +124,3 @@
|
124 |
124 |
/// This function returns the number of items stored in the heap.
|
125 |
|
int size() const { return data.size(); }
|
|
125 |
int size() const { return _data.size(); }
|
126 |
126 |
|
... |
... |
@@ -129,3 +129,3 @@
|
129 |
129 |
/// This function returns \c true if the heap is empty.
|
130 |
|
bool empty() const { return data.empty(); }
|
|
130 |
bool empty() const { return _data.empty(); }
|
131 |
131 |
|
... |
... |
@@ -141,6 +141,6 @@
|
141 |
141 |
void clear(int minimum = 0, int capacity = 0) {
|
142 |
|
data.clear(); boxes.clear();
|
143 |
|
boxes.push_back(RadixBox(minimum, 1));
|
144 |
|
boxes.push_back(RadixBox(minimum + 1, 1));
|
145 |
|
while (lower(boxes.size() - 1, capacity + minimum - 1)) {
|
|
142 |
_data.clear(); _boxes.clear();
|
|
143 |
_boxes.push_back(RadixBox(minimum, 1));
|
|
144 |
_boxes.push_back(RadixBox(minimum + 1, 1));
|
|
145 |
while (lower(_boxes.size() - 1, capacity + minimum - 1)) {
|
146 |
146 |
extend();
|
... |
... |
@@ -152,3 +152,3 @@
|
152 |
152 |
bool upper(int box, Prio pr) {
|
153 |
|
return pr < boxes[box].min;
|
|
153 |
return pr < _boxes[box].min;
|
154 |
154 |
}
|
... |
... |
@@ -156,3 +156,3 @@
|
156 |
156 |
bool lower(int box, Prio pr) {
|
157 |
|
return pr >= boxes[box].min + boxes[box].size;
|
|
157 |
return pr >= _boxes[box].min + _boxes[box].size;
|
158 |
158 |
}
|
... |
... |
@@ -161,9 +161,9 @@
|
161 |
161 |
void remove(int index) {
|
162 |
|
if (data[index].prev >= 0) {
|
163 |
|
data[data[index].prev].next = data[index].next;
|
|
162 |
if (_data[index].prev >= 0) {
|
|
163 |
_data[_data[index].prev].next = _data[index].next;
|
164 |
164 |
} else {
|
165 |
|
boxes[data[index].box].first = data[index].next;
|
|
165 |
_boxes[_data[index].box].first = _data[index].next;
|
166 |
166 |
}
|
167 |
|
if (data[index].next >= 0) {
|
168 |
|
data[data[index].next].prev = data[index].prev;
|
|
167 |
if (_data[index].next >= 0) {
|
|
168 |
_data[_data[index].next].prev = _data[index].prev;
|
169 |
169 |
}
|
... |
... |
@@ -173,12 +173,12 @@
|
173 |
173 |
void insert(int box, int index) {
|
174 |
|
if (boxes[box].first == -1) {
|
175 |
|
boxes[box].first = index;
|
176 |
|
data[index].next = data[index].prev = -1;
|
|
174 |
if (_boxes[box].first == -1) {
|
|
175 |
_boxes[box].first = index;
|
|
176 |
_data[index].next = _data[index].prev = -1;
|
177 |
177 |
} else {
|
178 |
|
data[index].next = boxes[box].first;
|
179 |
|
data[boxes[box].first].prev = index;
|
180 |
|
data[index].prev = -1;
|
181 |
|
boxes[box].first = index;
|
|
178 |
_data[index].next = _boxes[box].first;
|
|
179 |
_data[_boxes[box].first].prev = index;
|
|
180 |
_data[index].prev = -1;
|
|
181 |
_boxes[box].first = index;
|
182 |
182 |
}
|
183 |
|
data[index].box = box;
|
|
183 |
_data[index].box = box;
|
184 |
184 |
}
|
... |
... |
@@ -187,5 +187,5 @@
|
187 |
187 |
void extend() {
|
188 |
|
int min = boxes.back().min + boxes.back().size;
|
189 |
|
int bs = 2 * boxes.back().size;
|
190 |
|
boxes.push_back(RadixBox(min, bs));
|
|
188 |
int min = _boxes.back().min + _boxes.back().size;
|
|
189 |
int bs = 2 * _boxes.back().size;
|
|
190 |
_boxes.push_back(RadixBox(min, bs));
|
191 |
191 |
}
|
... |
... |
@@ -193,6 +193,6 @@
|
193 |
193 |
// Move an item up into the proper box.
|
194 |
|
void bubble_up(int index) {
|
195 |
|
if (!lower(data[index].box, data[index].prio)) return;
|
|
194 |
void bubbleUp(int index) {
|
|
195 |
if (!lower(_data[index].box, _data[index].prio)) return;
|
196 |
196 |
remove(index);
|
197 |
|
int box = findUp(data[index].box, data[index].prio);
|
|
197 |
int box = findUp(_data[index].box, _data[index].prio);
|
198 |
198 |
insert(box, index);
|
... |
... |
@@ -203,3 +203,3 @@
|
203 |
203 |
while (lower(start, pr)) {
|
204 |
|
if (++start == int(boxes.size())) {
|
|
204 |
if (++start == int(_boxes.size())) {
|
205 |
205 |
extend();
|
... |
... |
@@ -211,6 +211,6 @@
|
211 |
211 |
// Move an item down into the proper box
|
212 |
|
void bubble_down(int index) {
|
213 |
|
if (!upper(data[index].box, data[index].prio)) return;
|
|
212 |
void bubbleDown(int index) {
|
|
213 |
if (!upper(_data[index].box, _data[index].prio)) return;
|
214 |
214 |
remove(index);
|
215 |
|
int box = findDown(data[index].box, data[index].prio);
|
|
215 |
int box = findDown(_data[index].box, _data[index].prio);
|
216 |
216 |
insert(box, index);
|
... |
... |
@@ -221,3 +221,3 @@
|
221 |
221 |
while (upper(start, pr)) {
|
222 |
|
if (--start < 0) throw UnderFlowPriorityError();
|
|
222 |
if (--start < 0) throw PriorityUnderflowError();
|
223 |
223 |
}
|
... |
... |
@@ -229,3 +229,3 @@
|
229 |
229 |
int first = 0;
|
230 |
|
while (boxes[first].first == -1) ++first;
|
|
230 |
while (_boxes[first].first == -1) ++first;
|
231 |
231 |
return first;
|
... |
... |
@@ -235,5 +235,5 @@
|
235 |
235 |
int minValue(int box) {
|
236 |
|
int min = data[boxes[box].first].prio;
|
237 |
|
for (int k = boxes[box].first; k != -1; k = data[k].next) {
|
238 |
|
if (data[k].prio < min) min = data[k].prio;
|
|
236 |
int min = _data[_boxes[box].first].prio;
|
|
237 |
for (int k = _boxes[box].first; k != -1; k = _data[k].next) {
|
|
238 |
if (_data[k].prio < min) min = _data[k].prio;
|
239 |
239 |
}
|
... |
... |
@@ -248,9 +248,9 @@
|
248 |
248 |
for (int i = 0; i <= box; ++i) {
|
249 |
|
boxes[i].min = min;
|
250 |
|
min += boxes[i].size;
|
|
249 |
_boxes[i].min = min;
|
|
250 |
min += _boxes[i].size;
|
251 |
251 |
}
|
252 |
|
int curr = boxes[box].first, next;
|
|
252 |
int curr = _boxes[box].first, next;
|
253 |
253 |
while (curr != -1) {
|
254 |
|
next = data[curr].next;
|
255 |
|
bubble_down(curr);
|
|
254 |
next = _data[curr].next;
|
|
255 |
bubbleDown(curr);
|
256 |
256 |
curr = next;
|
... |
... |
@@ -259,16 +259,16 @@
|
259 |
259 |
|
260 |
|
void relocate_last(int index) {
|
261 |
|
if (index != int(data.size()) - 1) {
|
262 |
|
data[index] = data.back();
|
263 |
|
if (data[index].prev != -1) {
|
264 |
|
data[data[index].prev].next = index;
|
|
260 |
void relocateLast(int index) {
|
|
261 |
if (index != int(_data.size()) - 1) {
|
|
262 |
_data[index] = _data.back();
|
|
263 |
if (_data[index].prev != -1) {
|
|
264 |
_data[_data[index].prev].next = index;
|
265 |
265 |
} else {
|
266 |
|
boxes[data[index].box].first = index;
|
|
266 |
_boxes[_data[index].box].first = index;
|
267 |
267 |
}
|
268 |
|
if (data[index].next != -1) {
|
269 |
|
data[data[index].next].prev = index;
|
|
268 |
if (_data[index].next != -1) {
|
|
269 |
_data[_data[index].next].prev = index;
|
270 |
270 |
}
|
271 |
|
_iim[data[index].item] = index;
|
|
271 |
_iim[_data[index].item] = index;
|
272 |
272 |
}
|
273 |
|
data.pop_back();
|
|
273 |
_data.pop_back();
|
274 |
274 |
}
|
... |
... |
@@ -286,9 +286,9 @@
|
286 |
286 |
void push(const Item &i, const Prio &p) {
|
287 |
|
int n = data.size();
|
|
287 |
int n = _data.size();
|
288 |
288 |
_iim.set(i, n);
|
289 |
|
data.push_back(RadixItem(i, p));
|
290 |
|
while (lower(boxes.size() - 1, p)) {
|
|
289 |
_data.push_back(RadixItem(i, p));
|
|
290 |
while (lower(_boxes.size() - 1, p)) {
|
291 |
291 |
extend();
|
292 |
292 |
}
|
293 |
|
int box = findDown(boxes.size() - 1, p);
|
|
293 |
int box = findDown(_boxes.size() - 1, p);
|
294 |
294 |
insert(box, n);
|
... |
... |
@@ -302,3 +302,3 @@
|
302 |
302 |
const_cast<RadixHeap<ItemIntMap>&>(*this).moveDown();
|
303 |
|
return data[boxes[0].first].item;
|
|
303 |
return _data[_boxes[0].first].item;
|
304 |
304 |
}
|
... |
... |
@@ -311,3 +311,3 @@
|
311 |
311 |
const_cast<RadixHeap<ItemIntMap>&>(*this).moveDown();
|
312 |
|
return data[boxes[0].first].prio;
|
|
312 |
return _data[_boxes[0].first].prio;
|
313 |
313 |
}
|
... |
... |
@@ -320,6 +320,6 @@
|
320 |
320 |
moveDown();
|
321 |
|
int index = boxes[0].first;
|
322 |
|
_iim[data[index].item] = POST_HEAP;
|
|
321 |
int index = _boxes[0].first;
|
|
322 |
_iim[_data[index].item] = POST_HEAP;
|
323 |
323 |
remove(index);
|
324 |
|
relocate_last(index);
|
|
324 |
relocateLast(index);
|
325 |
325 |
}
|
... |
... |
@@ -336,3 +336,3 @@
|
336 |
336 |
remove(index);
|
337 |
|
relocate_last(index);
|
|
337 |
relocateLast(index);
|
338 |
338 |
}
|
... |
... |
@@ -346,3 +346,3 @@
|
346 |
346 |
int idx = _iim[i];
|
347 |
|
return data[idx].prio;
|
|
347 |
return _data[idx].prio;
|
348 |
348 |
}
|
... |
... |
@@ -364,8 +364,8 @@
|
364 |
364 |
}
|
365 |
|
else if( p >= data[idx].prio ) {
|
366 |
|
data[idx].prio = p;
|
367 |
|
bubble_up(idx);
|
|
365 |
else if( p >= _data[idx].prio ) {
|
|
366 |
_data[idx].prio = p;
|
|
367 |
bubbleUp(idx);
|
368 |
368 |
} else {
|
369 |
|
data[idx].prio = p;
|
370 |
|
bubble_down(idx);
|
|
369 |
_data[idx].prio = p;
|
|
370 |
bubbleDown(idx);
|
371 |
371 |
}
|
... |
... |
@@ -382,4 +382,4 @@
|
382 |
382 |
int idx = _iim[i];
|
383 |
|
data[idx].prio = p;
|
384 |
|
bubble_down(idx);
|
|
383 |
_data[idx].prio = p;
|
|
384 |
bubbleDown(idx);
|
385 |
385 |
}
|
... |
... |
@@ -394,4 +394,4 @@
|
394 |
394 |
int idx = _iim[i];
|
395 |
|
data[idx].prio = p;
|
396 |
|
bubble_up(idx);
|
|
395 |
_data[idx].prio = p;
|
|
396 |
bubbleUp(idx);
|
397 |
397 |
}
|