Lines Matching refs:numSuccedents
286 dag_h->numSuccedents = 1;
476 RF_ASSERT(blockNode->numSuccedents == nRrdNodes);
490 RF_ASSERT(tmprrdNode->numSuccedents == 1);
498 RF_ASSERT(xorNode->numSuccedents == 1);
505 RF_ASSERT(commitNode->numSuccedents == nfaults + nWndNodes);
532 RF_ASSERT(tmpwndNode->numSuccedents == 1);
540 RF_ASSERT(wnpNode->numSuccedents == 1);
548 RF_ASSERT(wnqNode->numSuccedents == 1);
555 RF_ASSERT(unblockNode->numSuccedents == 1);
557 RF_ASSERT(termNode->numSuccedents == 0);
767 dag_h->numSuccedents = 1;