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