Lines Matching defs:NextID

294       auto NextID = NextIDs[ID][C];
295       Nodes[ID].NextIDs[C] = NextID;
296       if (NextID >= 0)
297         ++Nodes[NextID].InCount;
324       auto NextID = Node.NextIDs[I];
325       assert(NextID != 0 && "NextID should not point to the top");
326       if (NextID < 0) {
334       auto &NextNode = Nodes[NextID];
350         Q.push_back(NextID);
465       auto NextID = NextIDs[ID][MCDCCond];
467       assert(NextID == SavedNodes[ID].NextIDs[MCDCCond]);
468       if (NextID >= 0) {
469         buildTestVector(TV, NextID, NextTVIdx);