SCIPpresolveCumulativeCondition

Function SCIPpresolveCumulativeCondition 

Source
pub unsafe extern "C" fn SCIPpresolveCumulativeCondition(
    scip: *mut SCIP,
    nvars: c_int,
    vars: *mut *mut SCIP_VAR,
    durations: *mut c_int,
    hmin: c_int,
    hmax: c_int,
    downlocks: *mut c_uint,
    uplocks: *mut c_uint,
    cons: *mut SCIP_CONS,
    irrelevants: *mut c_uint,
    nfixedvars: *mut c_int,
    nchgsides: *mut c_int,
    cutoff: *mut c_uint,
) -> SCIP_RETCODE
Expand description

presolve cumulative condition w.r.t. effective horizon by detecting irrelevant variables