--- a/src/simulator/scheduler-heap.h	Mon Sep 04 15:24:05 2006 +0200
+++ b/src/simulator/scheduler-heap.h	Mon Sep 04 15:37:32 2006 +0200
@@ -35,14 +35,15 @@
 	SchedulerHeap ();
 	virtual ~SchedulerHeap ();
 
-	virtual EventId insert (EventImpl *event, Scheduler::EventKey key);
-	virtual bool is_empty (void) const;
-	virtual EventImpl *peek_next (void) const;
-	virtual Scheduler::EventKey peek_next_key (void) const;
-	virtual void remove_next (void);
-	virtual EventImpl *remove (EventId ev, Scheduler::EventKey *key);
-	virtual bool is_valid (EventId id);
 private:
+	virtual EventId real_insert (EventImpl *event, Scheduler::EventKey key);
+	virtual bool real_is_empty (void) const;
+	virtual EventImpl *real_peek_next (void) const;
+	virtual Scheduler::EventKey real_peek_next_key (void) const;
+	virtual void real_remove_next (void);
+	virtual EventImpl *real_remove (EventId ev, Scheduler::EventKey *key);
+	virtual bool real_is_valid (EventId id);
+
 	typedef std::vector<std::pair<EventImpl *, Scheduler::EventKey> > BinaryHeap;
 	inline void store_in_event (EventImpl *ev, uint32_t index) const;
 	uint32_t get_from_event (EventImpl *ev) const;