Function SCIPcalcKnapsackCover 

pub unsafe extern "C" fn SCIPcalcKnapsackCover(
    scip: *mut SCIP,
    sol: *mut SCIP_SOL,
    allowlocal: c_uint,
    aggrrow: *mut SCIP_AGGRROW,
    cutcoefs: *mut f64,
    cutrhs: *mut f64,
    cutinds: *mut c_int,
    cutnnz: *mut c_int,
    cutefficacy: *mut f64,
    cutrank: *mut c_int,
    cutislocal: *mut c_uint,
    success: *mut c_uint,
) -> SCIP_RETCODE

calculates a lifted knapsack cover cut out of the weighted sum of LP rows given by an aggregation row; the aggregation row must not contain non-zero weights for modifiable rows, because these rows cannot participate in the cut. For further details we refer to:

Letchford, A. N., & Souli, G. (2019). On lifted cover inequalities: A new lifting procedure with unusual properties. Operations Research Letters, 47(2), 83-87.

@return \ref SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See \ref SCIP_Retcode “SCIP_RETCODE” for a complete list of error codes.

@pre This method can be called if @p scip is in one of the following stages: - \ref SCIP_STAGE_SOLVING

See \ref SCIP_Stage “SCIP_STAGE” for a complete list of all possible solving stages.