Function SCIPnodeAddBoundinferExact 

pub unsafe extern "C" fn SCIPnodeAddBoundinferExact(
    node: *mut SCIP_NODE,
    blkmem: *mut BMS_BLKMEM,
    set: *mut SCIP_SET,
    stat: *mut SCIP_STAT,
    transprob: *mut SCIP_PROB,
    origprob: *mut SCIP_PROB,
    tree: *mut SCIP_TREE,
    reopt: *mut SCIP_REOPT,
    lpexact: *mut SCIP_LPEXACT,
    branchcand: *mut SCIP_BRANCHCAND,
    eventqueue: *mut SCIP_EVENTQUEUE,
    eventfilter: *mut SCIP_EVENTFILTER,
    cliquetable: *mut SCIP_CLIQUETABLE,
    var: *mut SCIP_VAR,
    newbound: *mut SCIP_RATIONAL,
    boundtype: SCIP_BOUNDTYPE,
    infercons: *mut SCIP_CONS,
    inferprop: *mut SCIP_PROP,
    inferinfo: c_int,
    probingchange: c_uint,
) -> SCIP_RETCODE

adds exact bound change with inference information to focus node, child of focus node, or probing node; if possible, adjusts bound to integral value; at most one of infercons and inferprop may be non-NULL