Searched refs:Formulae (Results 1 – 1 of 1) sorted by relevance
1561 return ((float)(Formulae.size() - FNum)) / Formulae.size(); in getNotSelectedProbability()1589 Formulae.push_back(F); in InsertFormula()1601 if (&F != &Formulae.back()) in DeleteFormula()1602 std::swap(F, Formulae.back()); in DeleteFormula()1603 Formulae.pop_back(); in DeleteFormula()3390 if (LU.Formulae.empty()) { in CollectFixupsAndInitialFormulae()4302 Formula F = LU.Formulae[L]; in GenerateCrossUseConstantOffsets()4908 if (LU.Formulae.size() < 2) in NarrowSearchSpaceByDeletingCostlyFormulas()4947 std::swap(LU.Formulae[MinIdx], LU.Formulae[0]); in NarrowSearchSpaceByDeletingCostlyFormulas()4951 LU.Formulae.pop_back(); in NarrowSearchSpaceByDeletingCostlyFormulas()[all …]