Home | History | Annotate | Download | only in Core

Lines Matching refs:NodeIndex

1484   for (unsigned nodeIndex = 0 ; nodeIndex < nodes.size(); ++nodeIndex) {
1485     const ExplodedNode *originalNode = nodes[nodeIndex];
1488       IndexMap[originalNode] = nodeIndex;
1531   unsigned NodeIndex = 0;
1558       NodeIndex = IMI->second;
1587                         std::make_pair(First, NodeIndex));