Searched refs:numLb (Results 1 – 1 of 1) sorted by relevance
566 unsigned numLb = 0; in getBestVarToEliminate() local570 ++numLb; in getBestVarToEliminate()575 return numLb * numUb; in getBestVarToEliminate()