Searched refs:CurrSet (Results 1 – 1 of 1) sorted by relevance
112 ExplodedNodeSet *CurrSet = 0; in expandGraphWithCheckers() local114 CurrSet = &Dst; in expandGraphWithCheckers()116 CurrSet = (PrevSet == &Tmp1) ? &Tmp2 : &Tmp1; in expandGraphWithCheckers()117 CurrSet->clear(); in expandGraphWithCheckers()120 NodeBuilder B(*PrevSet, *CurrSet, BldrCtx); in expandGraphWithCheckers()127 if (CurrSet->empty()) in expandGraphWithCheckers()131 PrevSet = CurrSet; in expandGraphWithCheckers()