namespace simgrid {
namespace mc {
+EventSet EvtSetTools::makeUnion(EventSet s1, EventSet s2)
+{
+ EventSet res = s1;
+ for (auto evt : s2)
+ EvtSetTools::pushBack(res, evt);
+ return res;
+}
+
+void EvtSetTools::pushBack(EventSet& events, UnfoldingEvent* e)
+{
+ if (!EvtSetTools::contains(events, e))
+ events.push_back(e);
+}
+
bool EvtSetTools::contains(const EventSet events, const UnfoldingEvent* e)
{
for (auto evt : events)