Function SCIPpropagateCutoffboundVar 

pub unsafe extern "C" fn SCIPpropagateCutoffboundVar(
    scip: *mut SCIP,
    prop: *mut SCIP_PROP,
    var: *mut SCIP_VAR,
    cutoffbound: f64,
    pseudoobjval: f64,
    tightened: *mut c_uint,
) -> SCIP_RETCODE

propagates the cutoff bound for the given variables