Searched refs:KnownProbNum (Results 1 – 1 of 1) sorted by relevance
1582 unsigned KnownProbNum = 0; in getSuccProbability() local1587 KnownProbNum++; in getSuccProbability()1590 return Sum.getCompl() / (Probs.size() - KnownProbNum); in getSuccProbability()