Searched refs:FNum (Results 1 – 2 of 2) sorted by relevance
1570 unsigned FNum = 0; in getNotSelectedProbability() local1573 FNum++; in getNotSelectedProbability()1574 return ((float)(Formulae.size() - FNum)) / Formulae.size(); in getNotSelectedProbability()
153 DEFNAME ("FNUM", "fnum", "FNum", genNONE, specFNUM) /* UNIX */