SCIPgetNImplications

Function SCIPgetNImplications 

Source
pub unsafe extern "C" fn SCIPgetNImplications(
    scip: *mut SCIP,
) -> c_int
Expand description

gets total number of implications between variables that are stored in the implication graph

@return the total number of implications between variables that are stored in the implication graph

@pre This method can be called if SCIP is in one of the following stages: - \ref SCIP_STAGE_INITPRESOLVE - \ref SCIP_STAGE_PRESOLVING - \ref SCIP_STAGE_EXITPRESOLVE - \ref SCIP_STAGE_PRESOLVED - \ref SCIP_STAGE_INITSOLVE - \ref SCIP_STAGE_SOLVING - \ref SCIP_STAGE_SOLVED