std::shared_ptr< ProcessHistory const > appendToProcessHistory(ProcessHistoryID const &inputPHID, ProcessHistory const *inputProcessHistory, ProcessConfiguration const &pc)
ProcessHistoryID m_cachedInputPHID
HistoryAppender & operator=(HistoryAppender const &)=delete
void checkProcessHistory(ProcessHistory const &ph, ProcessConfiguration const &pc) const
std::shared_ptr< ProcessHistory const > m_cachedHistory