bool registerProcessHistory(ProcessHistory const &processHistory)
std::map< ProcessHistoryID, ProcessHistoryID > extra_
ProcessHistoryVector vector_type
ProcessHistoryRegistry & operator=(ProcessHistoryRegistry const &)=delete
ProcessHistoryMap::const_iterator end() const
ProcessHistoryID const & reducedProcessHistoryID(ProcessHistoryID const &fullID) const
ProcessHistoryMap collection_type
bool getMapped(ProcessHistoryID const &key, ProcessHistory &value) const
ProcessHistoryMap::const_iterator begin() const
ProcessHistory value_type