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