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