Searched refs:Formulae (Results 1 – 1 of 1) sorted by relevance
1574 return ((float)(Formulae.size() - FNum)) / Formulae.size(); in getNotSelectedProbability()1602 Formulae.push_back(F); in InsertFormula()1614 if (&F != &Formulae.back()) in DeleteFormula()1615 std::swap(F, Formulae.back()); in DeleteFormula()1616 Formulae.pop_back(); in DeleteFormula()3407 if (LU.Formulae.empty()) { in CollectFixupsAndInitialFormulae()4352 Formula F = LU.Formulae[L]; in GenerateCrossUseConstantOffsets()4958 if (LU.Formulae.size() < 2) in NarrowSearchSpaceByDeletingCostlyFormulas()4997 std::swap(LU.Formulae[MinIdx], LU.Formulae[0]); in NarrowSearchSpaceByDeletingCostlyFormulas()5001 LU.Formulae.pop_back(); in NarrowSearchSpaceByDeletingCostlyFormulas()[all …]