Searched refs:Formulae (Results 1 – 1 of 1) sorted by relevance
1556 return ((float)(Formulae.size() - FNum)) / Formulae.size(); in getNotSelectedProbability()1584 Formulae.push_back(F); in InsertFormula()1596 if (&F != &Formulae.back()) in DeleteFormula()1597 std::swap(F, Formulae.back()); in DeleteFormula()1598 Formulae.pop_back(); in DeleteFormula()3374 if (LU.Formulae.empty()) { in CollectFixupsAndInitialFormulae()4249 Formula F = LU.Formulae[L]; in GenerateCrossUseConstantOffsets()4855 if (LU.Formulae.size() < 2) in NarrowSearchSpaceByDeletingCostlyFormulas()4894 std::swap(LU.Formulae[MinIdx], LU.Formulae[0]); in NarrowSearchSpaceByDeletingCostlyFormulas()4898 LU.Formulae.pop_back(); in NarrowSearchSpaceByDeletingCostlyFormulas()[all …]