Searched refs:Formulae (Results 1 – 1 of 1) sorted by relevance
1505 return ((float)(Formulae.size() - FNum)) / Formulae.size(); in getNotSelectedProbability()1533 Formulae.push_back(F); in InsertFormula()1545 if (&F != &Formulae.back()) in DeleteFormula()1546 std::swap(F, Formulae.back()); in DeleteFormula()1547 Formulae.pop_back(); in DeleteFormula()3290 if (LU.Formulae.empty()) { in CollectFixupsAndInitialFormulae()4107 Formula F = LU.Formulae[L]; in GenerateCrossUseConstantOffsets()4662 if (LU.Formulae.size() < 2) in NarrowSearchSpaceByDeletingCostlyFormulas()4701 std::swap(LU.Formulae[MinIdx], LU.Formulae[0]); in NarrowSearchSpaceByDeletingCostlyFormulas()4705 LU.Formulae.pop_back(); in NarrowSearchSpaceByDeletingCostlyFormulas()[all …]