Home | History | Annotate | Download | only in Core

Lines Matching refs:NewN

1540     ExplodedNode *NewN = GNew->getNode(N->getLocation(), N->getState());
1545     (*BM)[NewN] = (const ExplodedNode*) IMitr->second;
1549       NewN->addPredecessor(Last, *GNew);
1551     Last = NewN;
1557       First = NewN;