Lines Matching refs:numSuccFired
243 RF_ASSERT(node->numSuccFired <= node->numSuccedents);
244 RF_ASSERT(node->numSuccFired <= node->numSuccDone);
343 node->antecedents[j]->numSuccFired++;
388 node->antecedents[j]->numSuccFired++;
444 RF_ASSERT(a->numSuccFired >= a->numSuccDone);
445 RF_ASSERT(a->numSuccFired <= a->numSuccedents);
521 skiplist->antecedents[i]->numSuccFired++;
533 finishlist->antecedents[i]->numSuccFired++;
558 RF_ASSERT(a->numSuccDone <= a->numSuccFired);
560 if (a->numSuccDone == a->numSuccFired) {
Indexes created Wed Oct 22 06:10:02 GMT 2025