Searched refs:TotalNumerator (Results 1 – 1 of 1) sorted by relevance
1140 uint64_t TotalNumerator = 0; in setEdgeProbability() local1146 TotalNumerator += Probs[SuccIdx].getNumerator(); in setEdgeProbability()1154 assert(TotalNumerator <= BranchProbability::getDenominator() + Probs.size()); in setEdgeProbability()1155 assert(TotalNumerator >= BranchProbability::getDenominator() - Probs.size()); in setEdgeProbability()1156 (void)TotalNumerator; in setEdgeProbability()