SCIPcomputeDecompConsLabels

scip_sys

Function SCIPcomputeDecompConsLabels 

Source 
pub unsafe extern "C" fn SCIPcomputeDecompConsLabels(
    scip: *mut SCIP,
    decomp: *mut SCIP_DECOMP,
    conss: *mut *mut SCIP_CONS,
    nconss: c_int,
) -> SCIP_RETCODE
Expand description

computes constraint labels from variable labels

Existing labels for the constraints are simply overridden

The computed labels depend on the flag SCIPdecompUseBendersLabels() of the decomposition. If the flag is set to FALSE, the labeling assigns

  • label i, if only variables labeled i are present in the constraint (and optionally linking variables)
  • SCIP_DECOMP_LINKCONS, if there are either only variables labeled with SCIP_DECOMP_LINKVAR present, or if there are variables with more than one block label.

If the flag is set to TRUE, the assignment is the same, unless variables from 2 named blocks occur in the same constraint, which is an invalid labeling for the Benders case.