Searched refs:numberLowerChanged (Results 1 – 1 of 1) sorted by relevance
3395 int numberLowerChanged = 0; in tightenPrimalBounds() local3536 numberLowerChanged++; in tightenPrimalBounds()3653 totalTightened, numberLowerChanged, numberUpperChanged); in tightenPrimalBounds()