Searched refs:ProbIter (Results 1 – 1 of 1) sorted by relevance
841 auto ProbIter = getProbabilityIterator(NewI); in replaceSuccessor() local842 if (!ProbIter->isUnknown()) in replaceSuccessor()843 *ProbIter += *getProbabilityIterator(OldI); in replaceSuccessor()