#endif // TIME_WITH_SYS_TIME
}
+#include <queue>
+#include <algorithm>
+#include <vector>
+
+namespace ob {
+
// forward declaration
class TimerQueueManager;
};
-#include <queue>
-#include <algorithm>
-
template <class _Tp, class _Sequence, class _Compare>
class _timer_queue: protected std::priority_queue<_Tp, _Sequence, _Compare> {
public:
}
};
-#include <vector>
typedef _timer_queue<BTimer*, std::vector<BTimer*>, TimerLessThan> TimerQueue;
class TimerQueueManager {
virtual void removeTimer(BTimer* timer) = 0;
};
+}
+
#endif // _BLACKBOX_Timer_hh