8 os <<
id_ << std::endl;
26 return id_ == newAux.
id();
void mergeNewTimestampsIntoThis_(RunAuxiliary const &newAux)
void mergeNewProcessHistoryIntoThis_(RunAuxiliary const &newAux)
void write(std::ostream &os) const
Timestamp const & endTime() const
ProcessHistoryID processHistoryID_
bool mergeAuxiliary(RunAuxiliary const &aux)
static constexpr Timestamp invalidTimestamp()
Timestamp const & beginTime() const
std::set< ProcessHistoryID > allEventsProcessHistories_