Searched refs:ub_ind (Results 1 – 2 of 2) sorted by relevance
1396 const int* ub_ind = cc.ubs().getIndices(); in applyColCut() local1398 colupper_[ub_ind[i]] = CoinMin(colupper_[ub_ind[i]], ub_elem[i]); in applyColCut()