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