Function SCIProwIsRedundant 

pub unsafe extern "C" fn SCIProwIsRedundant(
    row: *mut SCIP_ROW,
    set: *mut SCIP_SET,
    stat: *mut SCIP_STAT,
) -> c_uint

returns whether the row is unmodifiable and redundant w.r.t. the columns’ bounds