Lines Matching defs:Sum
515 int64_t Sum = 0;
517 Sum += Prob.getNumerator();
518 // Due to precision issue, we assume that the sum of probabilities is one if
519 // the difference between the sum of their numerators and the denominator is
521 assert((uint64_t)std::abs(Sum - BranchProbability::getDenominator()) <=
523 "The sum of successors's probabilities exceeds one.");
1154 // For unknown probabilities, collect the sum of all known ones, and evenly
1155 // ditribute the complemental of the sum to each unknown probability.
1157 auto Sum = BranchProbability::getZero();
1160 Sum += P;
1164 return Sum.getCompl() / (Probs.size() - KnownProbNum);
