Lines Matching refs:TrueProb

488     //   TrueProb for BB1 + (FalseProb for BB1 * TrueProb for TmpBB)
489     //     = TrueProb for original BB.
493     //   TrueProb for BB1 == FalseProb for BB1 * TrueProb for TmpBB.
494     // Another choice is to assume TrueProb for BB1 equals to TrueProb for
523     //   FalseProb for BB1 + (TrueProb for BB1 * FalseProb for TmpBB)
528     // TrueProb for BB1 * FalseProb for TmpBB.
908     addSuccessorWithProb(CB.ThisBB, CB.TrueBB, CB.TrueProb);
958   addSuccessorWithProb(CB.ThisBB, CB.TrueBB, CB.TrueProb);