pub unsafe extern "C" fn SCIPtreeBranchVarHole(
tree: *mut SCIP_TREE,
reopt: *mut SCIP_REOPT,
blkmem: *mut BMS_BLKMEM,
set: *mut SCIP_SET,
stat: *mut SCIP_STAT,
transprob: *mut SCIP_PROB,
origprob: *mut SCIP_PROB,
lp: *mut SCIP_LP,
branchcand: *mut SCIP_BRANCHCAND,
eventqueue: *mut SCIP_EVENTQUEUE,
eventfilter: *mut SCIP_EVENTFILTER,
var: *mut SCIP_VAR,
left: f64,
right: f64,
downchild: *mut *mut SCIP_NODE,
upchild: *mut *mut SCIP_NODE,
) -> SCIP_RETCODEExpand description
branches a variable x using the given domain hole; two child nodes will be created (x <= left, x >= right)