+trace::trace()
+{
+ /* Add the first fake event storing the time at which the trace begins */
+ tmgr::DatedValue val(0, -1);
+ event_list.push_back(val);
+}
+trace::~trace() = default;
+future_evt_set::future_evt_set() = default;
+future_evt_set::~future_evt_set()
+{
+ while (not heap_.empty()) {
+ delete heap_.top().second;
+ heap_.pop();
+ }
+}
+}
+}