bool registerProcessHistory(ProcessHistory const &processHistory)
std::map< ProcessHistoryID, ProcessHistoryID > extra_
ProcessHistoryID const & reducedProcessHistoryID(ProcessHistoryID const &fullID) const
bool getMapped(ProcessHistoryID const &key, ProcessHistory &value) const