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