Searched refs:TotalNumerator (Results 1 – 1 of 1) sorted by relevance
1150 uint64_t TotalNumerator = 0; in setEdgeProbability() local1156 TotalNumerator += Probs[SuccIdx].getNumerator(); in setEdgeProbability()1164 assert(TotalNumerator <= BranchProbability::getDenominator() + Probs.size()); in setEdgeProbability()1165 assert(TotalNumerator >= BranchProbability::getDenominator() - Probs.size()); in setEdgeProbability()1166 (void)TotalNumerator; in setEdgeProbability()