Lines Matching refs:antecedents
210 rdNode->antecedents[0] = blockNode;
217 commitNode->antecedents[0] = rdNode;
225 termNode->antecedents[0] = commitNode;
499 rpNode->antecedents[0] = blockNode;
505 tmprrdNode->antecedents[0] = blockNode;
513 tmprudNode->antecedents[0] = blockNode;
522 xorNode->antecedents[0] = rpNode;
528 xorNode->antecedents[1 + i] = tmprrdNode;
536 xorNode->antecedents[1 + nRrdNodes + i] = tmprudNode;
545 commitNode->antecedents[0] = xorNode;
554 termNode->antecedents[0] = commitNode;
677 rdNode->antecedents[0] = blockNode;
684 commitNode->antecedents[0] = rdNode;
692 termNode->antecedents[0] = commitNode;
1027 (node)->antecedents[0] = blockNode; \
1094 termNode->antecedents[0] = unblockNode;
1096 termNode->antecedents[1] = recoveryNode;
1107 unblockNode->antecedents[i] = rudNodes + i;
1124 recoveryNode->antecedents[i] = rudNodes + i;