Function SCIPintervalPropagateWeightedSum 

pub unsafe extern "C" fn SCIPintervalPropagateWeightedSum(
    infinity: f64,
    noperands: c_int,
    operands: *mut SCIP_INTERVAL,
    weights: *mut f64,
    constant: f64,
    rhs: SCIP_INTERVAL,
    resultants: *mut SCIP_INTERVAL,
    infeasible: *mut c_uint,
) -> c_int

propagates a weighted sum of intervals in a given interval

Given \f$\text{constant} + \sum_i \text{weights}_i \text{operands}_i \in \text{rhs}\f$, computes possibly tighter interval for each term.

@attention Valid values are returned in resultants only if any tightening has been found and no empty interval, that is, function returns with non-zero and *infeasible = FALSE.

@return Number of terms for which resulting interval is smaller than operand interval.