12 os <<
id_ << std::endl;
static Timestamp invalidTimestamp()
ProcessHistoryID processHistoryID_
Timestamp const & endTime() const
Timestamp const & beginTime() const
void mergeNewTimestampsIntoThis_(RunAuxiliary const &newAux)
void write(std::ostream &os) const
void mergeAuxiliary(RunAuxiliary const &aux)