ProcessHistoryID processHistoryID_
std::map< ProcessHistoryID, CachedHistory > HistoryMap
CachedHistory const & appendToProcessHistory(ProcessHistoryID const &inputPHID, ProcessConfiguration const &pc)
CachedHistory(ProcessHistory const *inputProcessHistory, ProcessHistory const *processHistory, ProcessHistoryID const &processHistoryID)
ProcessHistoryID const & processHistoryID() const
ProcessHistory const * processHistory_
ProcessHistory const * inputProcessHistory_
HistoryAppender & operator=(HistoryAppender const &)
HistoryMap::const_iterator previous_
void checkProcessHistory(ProcessHistory const &ph, ProcessConfiguration const &pc) const
ProcessHistory const * processHistory() const
ProcessHistory const * inputProcessHistory() const
ProcessHistory emptyHistory_