Searched refs:NarrowSearchSpaceByDeletingCostlyFormulas (Results 1 – 1 of 1) sorted by relevance
2262 void NarrowSearchSpaceByDeletingCostlyFormulas();5208 void LSRInstance::NarrowSearchSpaceByDeletingCostlyFormulas() { in NarrowSearchSpaceByDeletingCostlyFormulas() function in LSRInstance5417 NarrowSearchSpaceByDeletingCostlyFormulas(); in NarrowSearchSpaceUsingHeuristics()