Searched refs:PNotSel (Results 1 – 1 of 1) sorted by relevance
4908 float PNotSel = 1; in NarrowSearchSpaceByDeletingCostlyFormulas() local4914 PNotSel *= P; in NarrowSearchSpaceByDeletingCostlyFormulas()4918 RegNumMap.insert(std::make_pair(Reg, PNotSel)); in NarrowSearchSpaceByDeletingCostlyFormulas()