Searched refs:PrevSet (Results 1 – 1 of 1) sorted by relevance
109 const ExplodedNodeSet *PrevSet = &Src; in expandGraphWithCheckers() local116 CurrSet = (PrevSet == &Tmp1) ? &Tmp2 : &Tmp1; in expandGraphWithCheckers()120 NodeBuilder B(*PrevSet, *CurrSet, BldrCtx); in expandGraphWithCheckers()121 for (ExplodedNodeSet::iterator NI = PrevSet->begin(), NE = PrevSet->end(); in expandGraphWithCheckers()131 PrevSet = CurrSet; in expandGraphWithCheckers()