Home | History | Annotate | Download | only in raidframe

Lines Matching refs:numAntecedents

405 	RF_ASSERT(blockNode->numAntecedents == 0);
411 		RF_ASSERT(xorNode->numAntecedents == nRodNodes);
414 			RF_ASSERT(tmpNode->numAntecedents == 1);
429 		RF_ASSERT(xorNode->numAntecedents == 1);
437 	RF_ASSERT(commitNode->numAntecedents == 1);
446 		RF_ASSERT(wndNodes->numAntecedents == 1);
452 	RF_ASSERT(wnpNode->numAntecedents == 1);
458 		RF_ASSERT(wnqNode->numAntecedents == 1);
465 	RF_ASSERT(termNode->numAntecedents == nWndNodes + nfaults);
996 		RF_ASSERT(tmpreadDataNode->numAntecedents == 1);
1006 		RF_ASSERT(tmpreadParityNode->numAntecedents == 1);
1018 			RF_ASSERT(tmpreadQNode->numAntecedents == 1);
1031 			RF_ASSERT(tmpxorNode->numAntecedents == numDataNodes + numParityNodes);
1047 				RF_ASSERT(tmpqNode->numAntecedents == numDataNodes + numParityNodes);
1091 	RF_ASSERT(commitNode->numAntecedents == (nfaults * numParityNodes));
1118 		RF_ASSERT(tmpwriteDataNode->numAntecedents == 1);
1126 		RF_ASSERT(tmpwriteParityNode->numAntecedents == 1);
1136 			RF_ASSERT(tmpwriteQNode->numAntecedents == 1);
1144 	RF_ASSERT(termNode->numAntecedents == (numDataNodes + (nfaults * numParityNodes)));
1150 		RF_ASSERT(termNode->numAntecedents == (numDataNodes + (nfaults * numParityNodes)));
1317 	RF_ASSERT(commitNode->numAntecedents == 0);
1324 		RF_ASSERT(tmpwndNode->numAntecedents == 1);
1332 		RF_ASSERT(tmpwmirNode->numAntecedents == 1);
1340 	RF_ASSERT(unblockNode->numAntecedents == (nWndNodes + nWmirNodes));
1360 	RF_ASSERT(termNode->numAntecedents == 1);