scip_sys

Function SCIPgetVarStrongbranchWithPropagation

Source 
pub unsafe extern "C" fn SCIPgetVarStrongbranchWithPropagation(
    scip: *mut SCIP,
    var: *mut SCIP_VAR,
    solval: f64,
    lpobjval: f64,
    itlim: c_int,
    maxproprounds: c_int,
    down: *mut f64,
    up: *mut f64,
    downvalid: *mut c_uint,
    upvalid: *mut c_uint,
    ndomredsdown: *mut c_longlong,
    ndomredsup: *mut c_longlong,
    downinf: *mut c_uint,
    upinf: *mut c_uint,
    downconflict: *mut c_uint,
    upconflict: *mut c_uint,
    lperror: *mut c_uint,
    newlbs: *mut f64,
    newubs: *mut f64,
) -> SCIP_RETCODE
Expand description

gets strong branching information with previous domain propagation on column variable

Before calling this method, the strong branching mode must have been activated by calling SCIPstartStrongbranch(); after strong branching was done for all candidate variables, the strong branching mode must be ended by SCIPendStrongbranch(). Since this method applies domain propagation before strongbranching, propagation has to be be enabled in the SCIPstartStrongbranch() call.

Before solving the strong branching LP, domain propagation can be performed. The number of propagation rounds can be specified by the parameter @p maxproprounds.

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

@warning When using this method, LP banching candidates and solution values must be copied beforehand, because they are updated w.r.t. the strong branching LP solution.