SCIPrespropCumulativeCondition

scip_sys

Function SCIPrespropCumulativeCondition 

Source 
pub unsafe extern "C" fn SCIPrespropCumulativeCondition(
    scip: *mut SCIP,
    nvars: c_int,
    vars: *mut *mut SCIP_VAR,
    durations: *mut c_int,
    demands: *mut c_int,
    capacity: c_int,
    hmin: c_int,
    hmax: c_int,
    infervar: *mut SCIP_VAR,
    inferinfo: c_int,
    boundtype: SCIP_BOUNDTYPE,
    bdchgidx: *mut SCIP_BDCHGIDX,
    relaxedbd: f64,
    explanation: *mut c_uint,
    result: *mut SCIP_RESULT,
) -> SCIP_RETCODE
Expand description

resolve propagation w.r.t. the cumulative condition