Searched refs:maybeRow (Results 1 – 1 of 1) sorted by relevance
293 while (Optional<unsigned> maybeRow = maybeGetNonIntegralVarRow()) { in findIntegerLexMin() local304 if (addCut(*maybeRow).failed()) in findIntegerLexMin()1163 if (Optional<unsigned> maybeRow = findPivotRow({}, Direction::Up, column)) { in undoLastConstraint() local1164 pivot(*maybeRow, column); in undoLastConstraint()1165 } else if (Optional<unsigned> maybeRow = in undoLastConstraint() local1167 pivot(*maybeRow, column); in undoLastConstraint()