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