Function SCIPnodeGetDualBoundchgs 

pub unsafe extern "C" fn SCIPnodeGetDualBoundchgs(
    node: *mut SCIP_NODE,
    vars: *mut *mut SCIP_VAR,
    bounds: *mut f64,
    boundtypes: *mut SCIP_BOUNDTYPE,
    nvars: *mut c_int,
    varssize: c_int,
)

returns all bound changes based on dual information.

currently, this methods works only for bound changes made by strong branching on binary variables. we need this method to ensure optimality within reoptimization.

since the bound changes made by strong branching are stored as SCIP_BOUNDCHGTYPE_CONSINFER or SCIP_BOUNDCHGTYPE_PROPINFER with no constraint or propagator, resp., we are are interested in bound changes with these attributes.

all bound changes of type SCIP_BOUNDCHGTYPE_BRANCHING are stored in the beginning of the bound change array, afterwards, we can find the other two types. thus, we start the search at the end of the list and stop when reaching the first bound change of type SCIP_BOUNDCHGTYPE_BRANCHING.