pub unsafe extern "C" fn SCIPtreeBranchVarExact(
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,
downchild: *mut *mut SCIP_NODE,
upchild: *mut *mut SCIP_NODE,
) -> SCIP_RETCODEExpand description
branches on a variable x; unlike the fp-version this will also branch x <= floor(x’), x >= ceil(x’) if x’ is very close to being integral at one of its bounds; in the fp version this case would be branched in the middle of the domain; not meant for branching on a continuous variables