|
Line
Link Here
|
| 0 |
-- src/Timer.hh.orig 2002-08-23 14:50:54.000000000 -0400 |
0 |
++ src/Timer.hh 2004-04-11 01:23:27.000000000 -0400 |
|
Lines 98-106
Link Here
|
| 98 |
~_timer_queue(void) {} |
98 |
~_timer_queue(void) {} |
| 99 |
|
99 |
|
| 100 |
void release(const _Tp& value) { |
100 |
void release(const _Tp& value) { |
| 101 |
c.erase(std::remove(c.begin(), c.end(), value), c.end()); |
101 |
_Base::c.erase(std::remove(_Base::c.begin(), _Base::c.end(), value), |
|
|
102 |
_Base::c.end()); |
| 102 |
// after removing the item we need to make the heap again |
103 |
// after removing the item we need to make the heap again |
| 103 |
std::make_heap(c.begin(), c.end(), comp); |
104 |
std::make_heap(_Base::c.begin(), _Base::c.end(), _Base::comp); |
| 104 |
} |
105 |
} |
| 105 |
bool empty(void) const { return _Base::empty(); } |
106 |
bool empty(void) const { return _Base::empty(); } |
| 106 |
size_t size(void) const { return _Base::size(); } |
107 |
size_t size(void) const { return _Base::size(); } |
