Searched refs:numLbUbProduct (Results 1 – 1 of 1) sorted by relevance
581 unsigned numLbUbProduct = getProductOfNumLowerUpperBounds(c); in getBestVarToEliminate() local582 if (numLbUbProduct < min) { in getBestVarToEliminate()583 min = numLbUbProduct; in getBestVarToEliminate()