Searched defs:originalHistoricalInfo (Results 1 – 2 of 2) sorted by relevance
47 const HistoricalInfo *const originalHistoricalInfo, const int newProbability, in createUpdatedHistoricalInfo()105 const HistoricalInfo *const originalHistoricalInfo, in createHistoricalInfoToSave()
350 const HistoricalInfo *originalHistoricalInfo = probabilityEntry.getHistoricalInfo(); in updateAllProbabilityEntriesForGCInner() local