ProcessHistoryID const & reduceProcessHistoryID(ProcessHistoryID const &fullID)
Use to obtain reduced ProcessHistoryID's from full ProcessHistoryID's.
Map::const_iterator previous_
FullHistoryToReducedHistoryMap & operator=(FullHistoryToReducedHistoryMap const &)
std::map< ProcessHistoryID, ProcessHistoryID > Map