pub unsafe extern "C" fn SCIPgetNConflictConssFound(
scip: *mut SCIP,
) -> c_longlongExpand 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