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