SCIPnodePropagateImplics

scip_sys

Function SCIPnodePropagateImplics 

Source 
pub unsafe extern "C" fn SCIPnodePropagateImplics(
    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,
    lp: *mut SCIP_LP,
    branchcand: *mut SCIP_BRANCHCAND,
    eventqueue: *mut SCIP_EVENTQUEUE,
    eventfilter: *mut SCIP_EVENTFILTER,
    cliquetable: *mut SCIP_CLIQUETABLE,
    cutoff: *mut c_uint,
) -> SCIP_RETCODE
Expand description

propagates implications of binary fixings at the given node triggered by the implication graph and the clique table