Function SCIPaggrRowCancelVarWithBound 

pub unsafe extern "C" fn SCIPaggrRowCancelVarWithBound(
    scip: *mut SCIP,
    aggrrow: *mut SCIP_AGGRROW,
    var: *mut SCIP_VAR,
    pos: c_int,
    valid: *mut c_uint,
)

Removes a given variable @p var from position @p pos the aggregation row and updates the right-hand side according to sign of the coefficient, i.e., rhs -= coef * bound, where bound = lb if coef >= 0 and bound = ub, otherwise.

@note: The choice of global or local bounds depend on the validity (global or local) of the aggregation row.

@note: The list of non-zero indices will be updated by swapping the last non-zero index to @p pos.