Function SCIPaddVarVub 

pub unsafe extern "C" fn SCIPaddVarVub(
    scip: *mut SCIP,
    var: *mut SCIP_VAR,
    vubvar: *mut SCIP_VAR,
    vubcoef: f64,
    vubconstant: f64,
    infeasible: *mut c_uint,
    nbdchgs: *mut c_int,
) -> SCIP_RETCODE

informs variable x about a globally valid variable upper bound x <= b*z + d with integer variable z; if z is binary, the corresponding valid implication for z is also added; if z is non-continuous and 1/b not too small, the corresponding valid lower/upper bound z >= (x-d)/b or z <= (x-d)/b (depending on the sign of of b) is added, too; improves the global bounds of the variable and the vlb variable if possible

@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_PRESOLVING - \ref SCIP_STAGE_PRESOLVED - \ref SCIP_STAGE_SOLVING