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))