Searched refs:addCut (Results 1 – 2 of 2) sorted by relevance
464 LogicalResult addCut(unsigned row);
262 LogicalResult LexSimplexBase::addCut(unsigned row) { in addCut() function in LexSimplexBase304 if (addCut(*maybeRow).failed()) in findIntegerLexMin()403 return addCut(row); in addSymbolicCut()