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