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