pub unsafe extern "C" fn SCIPbranchVarHole(
    scip: *mut SCIP,
    var: *mut SCIP_VAR,
    left: f64,
    right: f64,
    downchild: *mut *mut SCIP_NODE,
    upchild: *mut *mut SCIP_NODE
) -> SCIP_RETCODE
Expand description

branches a variable x using a given domain hole; two child nodes (x <= left, x >= right) are created

@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_SOLVING

See \ref SCIP_Stage “SCIP_STAGE” for a complete list of all possible solving stages.