SCIPgetNConflictConssFound

Function SCIPgetNConflictConssFound 

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

get total number of constraints found in conflict analysis (conflict, reconvergence constraints, and dual proofs)

@return the total number of constraints found in conflict analysis (conflict, reconvergence constraints, and dual proofs)

@pre This method can be called if SCIP is in one of the following stages: - \ref SCIP_STAGE_TRANSFORMED - \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 - \ref SCIP_STAGE_EXITSOLVE