SCIPnodeAddHoleinfer

scip_sys

Function SCIPnodeAddHoleinfer 

Source 
pub unsafe extern "C" fn SCIPnodeAddHoleinfer(
    node: *mut SCIP_NODE,
    blkmem: *mut BMS_BLKMEM,
    set: *mut SCIP_SET,
    stat: *mut SCIP_STAT,
    tree: *mut SCIP_TREE,
    eventqueue: *mut SCIP_EVENTQUEUE,
    var: *mut SCIP_VAR,
    left: f64,
    right: f64,
    infercons: *mut SCIP_CONS,
    inferprop: *mut SCIP_PROP,
    inferinfo: c_int,
    probingchange: c_uint,
    added: *mut c_uint,
) -> SCIP_RETCODE
Expand description

adds hole 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