Searched refs:FNum (Results 1 – 1 of 1) sorted by relevance
1557 unsigned FNum = 0; in getNotSelectedProbability() local1560 FNum++; in getNotSelectedProbability()1561 return ((float)(Formulae.size() - FNum)) / Formulae.size(); in getNotSelectedProbability()