Skip to content

Commit c8331f0

Browse files
committed
move removal marker into else
1 parent 31c6bab commit c8331f0

1 file changed

Lines changed: 6 additions & 5 deletions

File tree

cpp/src/mip_heuristics/presolve/conflict_graph/clique_table.cu

Lines changed: 6 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -833,12 +833,13 @@ void remove_dominated_cliques(
833833
sp.row_idx);
834834
fix_difference(curr_clique_vars, vars_sp);
835835
}
836+
} else {
837+
// knapsack cstr_idx may refer to virtual rows; only real model row indices can be
838+
// removed from A.
839+
if (sp.row_idx < 0 || sp.row_idx >= static_cast<i_t>(removal_marker.size())) { continue; }
840+
if (removal_marker[sp.row_idx]) { continue; }
841+
removal_marker[sp.row_idx] = true;
836842
}
837-
// knapsack cstr_idx may refer to virtual rows; only real model row indices can be
838-
// removed from A.
839-
if (sp.row_idx < 0 || sp.row_idx >= static_cast<i_t>(removal_marker.size())) { continue; }
840-
if (removal_marker[sp.row_idx]) { continue; }
841-
removal_marker[sp.row_idx] = true;
842843
}
843844
if ((i % 128) == 0) {
844845
CUOPT_LOG_TRACE("Processed extended clique %d/%d", i + 1, n_extended_cliques);

0 commit comments

Comments
 (0)