Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

methods to query statistics about the solving process

Functions

int SCIPgetNRuns (SCIP *scip)
 
int SCIPgetNReoptRuns (SCIP *scip)
 
void SCIPaddNNodes (SCIP *scip, SCIP_Longint nnodes)
 
SCIP_Longint SCIPgetNNodes (SCIP *scip)
 
SCIP_Longint SCIPgetNTotalNodes (SCIP *scip)
 
SCIP_Longint SCIPgetNFeasibleLeaves (SCIP *scip)
 
SCIP_Longint SCIPgetNInfeasibleLeaves (SCIP *scip)
 
SCIP_Longint SCIPgetNObjlimLeaves (SCIP *scip)
 
SCIP_Longint SCIPgetNDelayedCutoffs (SCIP *scip)
 
SCIP_Longint SCIPgetNLPs (SCIP *scip)
 
SCIP_Longint SCIPgetNLPIterations (SCIP *scip)
 
SCIP_Longint SCIPgetNNZs (SCIP *scip)
 
SCIP_Longint SCIPgetNRootLPIterations (SCIP *scip)
 
SCIP_Longint SCIPgetNRootFirstLPIterations (SCIP *scip)
 
SCIP_Longint SCIPgetNPrimalLPs (SCIP *scip)
 
SCIP_Longint SCIPgetNPrimalLPIterations (SCIP *scip)
 
SCIP_Longint SCIPgetNDualLPs (SCIP *scip)
 
SCIP_Longint SCIPgetNDualLPIterations (SCIP *scip)
 
SCIP_Longint SCIPgetNBarrierLPs (SCIP *scip)
 
SCIP_Longint SCIPgetNBarrierLPIterations (SCIP *scip)
 
SCIP_Longint SCIPgetNResolveLPs (SCIP *scip)
 
SCIP_Longint SCIPgetNResolveLPIterations (SCIP *scip)
 
SCIP_Longint SCIPgetNPrimalResolveLPs (SCIP *scip)
 
SCIP_Longint SCIPgetNPrimalResolveLPIterations (SCIP *scip)
 
SCIP_Longint SCIPgetNDualResolveLPs (SCIP *scip)
 
SCIP_Longint SCIPgetNDualResolveLPIterations (SCIP *scip)
 
SCIP_Longint SCIPgetNNodeLPs (SCIP *scip)
 
SCIP_Longint SCIPgetNNodeLPIterations (SCIP *scip)
 
SCIP_Longint SCIPgetNNodeInitLPs (SCIP *scip)
 
SCIP_Longint SCIPgetNNodeInitLPIterations (SCIP *scip)
 
SCIP_Longint SCIPgetNDivingLPs (SCIP *scip)
 
SCIP_Longint SCIPgetNDivingLPIterations (SCIP *scip)
 
SCIP_Longint SCIPgetNStrongbranchs (SCIP *scip)
 
SCIP_Longint SCIPgetNStrongbranchLPIterations (SCIP *scip)
 
SCIP_Longint SCIPgetNRootStrongbranchs (SCIP *scip)
 
SCIP_Longint SCIPgetNRootStrongbranchLPIterations (SCIP *scip)
 
int SCIPgetNPriceRounds (SCIP *scip)
 
int SCIPgetNPricevars (SCIP *scip)
 
int SCIPgetNPricevarsFound (SCIP *scip)
 
int SCIPgetNPricevarsApplied (SCIP *scip)
 
int SCIPgetNSepaRounds (SCIP *scip)
 
int SCIPgetNCutsFound (SCIP *scip)
 
int SCIPgetNCutsFoundRound (SCIP *scip)
 
int SCIPgetNCutsApplied (SCIP *scip)
 
SCIP_Longint SCIPgetNConflictConssFound (SCIP *scip)
 
int SCIPgetNConflictConssFoundNode (SCIP *scip)
 
SCIP_Longint SCIPgetNConflictConssApplied (SCIP *scip)
 
int SCIPgetMaxDepth (SCIP *scip)
 
int SCIPgetMaxTotalDepth (SCIP *scip)
 
SCIP_Longint SCIPgetNBacktracks (SCIP *scip)
 
int SCIPgetNActiveConss (SCIP *scip)
 
int SCIPgetNEnabledConss (SCIP *scip)
 
SCIP_Real SCIPgetAvgDualbound (SCIP *scip)
 
SCIP_Real SCIPgetAvgLowerbound (SCIP *scip)
 
SCIP_Real SCIPgetDualbound (SCIP *scip)
 
SCIP_Real SCIPgetLowerbound (SCIP *scip)
 
SCIP_Real SCIPgetDualboundRoot (SCIP *scip)
 
SCIP_Real SCIPgetLowerboundRoot (SCIP *scip)
 
SCIP_Real SCIPgetFirstLPDualboundRoot (SCIP *scip)
 
SCIP_Real SCIPgetFirstLPLowerboundRoot (SCIP *scip)
 
SCIP_Real SCIPgetFirstPrimalBound (SCIP *scip)
 
SCIP_Real SCIPgetPrimalbound (SCIP *scip)
 
SCIP_Real SCIPgetUpperbound (SCIP *scip)
 
SCIP_Real SCIPgetCutoffbound (SCIP *scip)
 
SCIP_RETCODE SCIPupdateCutoffbound (SCIP *scip, SCIP_Real cutoffbound)
 
SCIP_Bool SCIPisPrimalboundSol (SCIP *scip)
 
SCIP_Real SCIPgetGap (SCIP *scip)
 
SCIP_Real SCIPgetTransGap (SCIP *scip)
 
SCIP_Longint SCIPgetNSolsFound (SCIP *scip)
 
SCIP_Longint SCIPgetNLimSolsFound (SCIP *scip)
 
SCIP_Longint SCIPgetNBestSolsFound (SCIP *scip)
 
SCIP_Real SCIPgetAvgPseudocost (SCIP *scip, SCIP_Real solvaldelta)
 
SCIP_Real SCIPgetAvgPseudocostCurrentRun (SCIP *scip, SCIP_Real solvaldelta)
 
SCIP_Real SCIPgetAvgPseudocostCount (SCIP *scip, SCIP_BRANCHDIR dir)
 
SCIP_Real SCIPgetAvgPseudocostCountCurrentRun (SCIP *scip, SCIP_BRANCHDIR dir)
 
SCIP_Real SCIPgetPseudocostCount (SCIP *scip, SCIP_BRANCHDIR dir, SCIP_Bool onlycurrentrun)
 
SCIP_Real SCIPgetAvgPseudocostScore (SCIP *scip)
 
SCIP_Real SCIPgetPseudocostVariance (SCIP *scip, SCIP_BRANCHDIR branchdir, SCIP_Bool onlycurrentrun)
 
SCIP_Real SCIPgetAvgPseudocostScoreCurrentRun (SCIP *scip)
 
SCIP_Real SCIPgetAvgConflictScore (SCIP *scip)
 
SCIP_Real SCIPgetAvgConflictScoreCurrentRun (SCIP *scip)
 
SCIP_Real SCIPgetAvgConflictlengthScore (SCIP *scip)
 
SCIP_Real SCIPgetAvgConflictlengthScoreCurrentRun (SCIP *scip)
 
SCIP_Real SCIPgetAvgInferences (SCIP *scip, SCIP_BRANCHDIR dir)
 
SCIP_Real SCIPgetAvgInferencesCurrentRun (SCIP *scip, SCIP_BRANCHDIR dir)
 
SCIP_Real SCIPgetAvgInferenceScore (SCIP *scip)
 
SCIP_Real SCIPgetAvgInferenceScoreCurrentRun (SCIP *scip)
 
SCIP_Real SCIPgetAvgCutoffs (SCIP *scip, SCIP_BRANCHDIR dir)
 
SCIP_Real SCIPgetAvgCutoffsCurrentRun (SCIP *scip, SCIP_BRANCHDIR dir)
 
SCIP_Real SCIPgetAvgCutoffScore (SCIP *scip)
 
SCIP_Real SCIPgetAvgCutoffScoreCurrentRun (SCIP *scip)
 
SCIP_Real SCIPgetDeterministicTime (SCIP *scip)
 
SCIP_RETCODE SCIPprintOrigProblem (SCIP *scip, FILE *file, const char *extension, SCIP_Bool genericnames)
 
SCIP_RETCODE SCIPprintTransProblem (SCIP *scip, FILE *file, const char *extension, SCIP_Bool genericnames)
 
void SCIPprintStatusStatistics (SCIP *scip, FILE *file)
 
void SCIPprintTimingStatistics (SCIP *scip, FILE *file)
 
void SCIPprintOrigProblemStatistics (SCIP *scip, FILE *file)
 
void SCIPprintTransProblemStatistics (SCIP *scip, FILE *file)
 
void SCIPprintPresolverStatistics (SCIP *scip, FILE *file)
 
void SCIPprintConstraintStatistics (SCIP *scip, FILE *file)
 
void SCIPprintConstraintTimingStatistics (SCIP *scip, FILE *file)
 
void SCIPprintPropagatorStatistics (SCIP *scip, FILE *file)
 
void SCIPprintConflictStatistics (SCIP *scip, FILE *file)
 
void SCIPprintSeparatorStatistics (SCIP *scip, FILE *file)
 
void SCIPprintPricerStatistics (SCIP *scip, FILE *file)
 
void SCIPprintBranchruleStatistics (SCIP *scip, FILE *file)
 
void SCIPprintHeuristicStatistics (SCIP *scip, FILE *file)
 
void SCIPprintCompressionStatistics (SCIP *scip, FILE *file)
 
void SCIPprintLPStatistics (SCIP *scip, FILE *file)
 
void SCIPprintNLPStatistics (SCIP *scip, FILE *file)
 
void SCIPprintRelaxatorStatistics (SCIP *scip, FILE *file)
 
void SCIPprintTreeStatistics (SCIP *scip, FILE *file)
 
void SCIPprintRootStatistics (SCIP *scip, FILE *file)
 
void SCIPprintSolutionStatistics (SCIP *scip, FILE *file)
 
void SCIPprintConcsolverStatistics (SCIP *scip, FILE *file)
 
void SCIPprintBendersStatistics (SCIP *scip, FILE *file)
 
SCIP_RETCODE SCIPprintStatistics (SCIP *scip, FILE *file)
 
SCIP_RETCODE SCIPprintReoptStatistics (SCIP *scip, FILE *file)
 
SCIP_RETCODE SCIPprintBranchingStatistics (SCIP *scip, FILE *file)
 
SCIP_RETCODE SCIPprintDisplayLine (SCIP *scip, FILE *file, SCIP_VERBLEVEL verblevel, SCIP_Bool endline)
 
int SCIPgetNImplications (SCIP *scip)
 
SCIP_RETCODE SCIPwriteImplicationConflictGraph (SCIP *scip, const char *filename)
 
void SCIPstoreSolutionGap (SCIP *scip)
 

Function Documentation

◆ SCIPgetNRuns()

int SCIPgetNRuns ( SCIP scip)

gets number of branch and bound runs performed, including the current run

Returns
the number of branch and bound runs performed, including the current run
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 171 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nruns, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

Referenced by applyRepair(), computeMinDistance(), copyCuts(), findCumulativeConss(), getSymmetries(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPPRESOL(), and strengthenVarbounds().

◆ SCIPgetNReoptRuns()

int SCIPgetNReoptRuns ( SCIP scip)

gets number of reoptimization runs performed, including the current run

Returns
the number of reoptimization runs performed, including the current run
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 198 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nreoptruns, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

Referenced by SCIP_DECL_BRANCHEXECLP(), and SCIP_DECL_HEUREXEC().

◆ SCIPaddNNodes()

void SCIPaddNNodes ( SCIP scip,
SCIP_Longint  nnodes 
)

add given number to the number of processed nodes in current run and in all runs, including the focus node

Returns
the number of processed nodes in current run, including the focus node
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
nnodesnumber of processed nodes to add to the statistics

Definition at line 225 of file scip_solvingstats.c.

References FALSE, nnodes, SCIP_Stat::nnodes, SCIP_Stat::ntotalnodes, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

Referenced by solveComponent().

◆ SCIPgetNNodes()

SCIP_Longint SCIPgetNNodes ( SCIP scip)

gets number of processed nodes in current run, including the focus node

Returns
the number of processed nodes in current run, including the focus node
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 254 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nnodes, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

Referenced by applyCliqueFixings(), applyDomainChanges(), applyVbounds(), branchBalancedCardinality(), calcNodeLimit(), checkEstimateCriterion(), checkRankOneTransition(), determineLimits(), ensureMemorySize(), execRelpscost(), getBranchingDecisionStrongbranchSOS1(), isBranchFurtherLoopDecrement(), propagateCons(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONCSOLVEREXEC(), SCIP_DECL_CONSPROP(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NODESELSELECT(), SCIP_DECL_PRICERFARKAS(), SCIPapplyProximity(), SCIPperformGenericDivingAlgorithm(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), setSubscipLimits(), setupAndSolve(), setupAndSolveSubscip(), setupAndSolveSubscipCrossover(), setupAndSolveSubscipLocalbranching(), setupAndSolveSubscipMutation(), solveComponent(), solveSubproblem(), solveSubscipLpface(), subscipdataCopySubscip(), testCriteria(), transitionPhase3(), updateFailureStatistic(), updateRunStats(), wrapperDins(), wrapperRins(), and writeBounds().

◆ SCIPgetNTotalNodes()

SCIP_Longint SCIPgetNTotalNodes ( SCIP scip)

gets total number of processed nodes in all runs, including the focus node

Returns
the total number of processed nodes in all runs, including the focus node
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 281 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::ntotalnodes, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

Referenced by applyRepair(), getX(), runBenders(), and SCIP_DECL_DISPOUTPUT().

◆ SCIPgetNFeasibleLeaves()

SCIP_Longint SCIPgetNFeasibleLeaves ( SCIP scip)

gets number of leaf nodes processed with feasible relaxation solution

Returns
number of leaf nodes processed with feasible relaxation solution
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 308 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nfeasleaves, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

◆ SCIPgetNInfeasibleLeaves()

SCIP_Longint SCIPgetNInfeasibleLeaves ( SCIP scip)

gets number of infeasible leaf nodes processed

Returns
number of infeasible leaf nodes processed
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 335 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::ninfeasleaves, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

Referenced by calcScore(), and SCIP_DECL_DISPOUTPUT().

◆ SCIPgetNObjlimLeaves()

SCIP_Longint SCIPgetNObjlimLeaves ( SCIP scip)

gets number of processed leaf nodes that hit LP objective limit

Returns
number of processed leaf nodes that hit LP objective limit
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipScip data structure

Definition at line 362 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nobjleaves, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

Referenced by calcScore(), and SCIP_DECL_DISPOUTPUT().

◆ SCIPgetNDelayedCutoffs()

SCIP_Longint SCIPgetNDelayedCutoffs ( SCIP scip)

gets number of times a selected node was from a cut off subtree

Returns
number of times a selected node was from a cut off subtree
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 390 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::ndelayedcutoffs, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

Referenced by releaseNodeInformation(), and SCIP_DECL_EVENTINITSOL().

◆ SCIPgetNLPs()

◆ SCIPgetNLPIterations()

SCIP_Longint SCIPgetNLPIterations ( SCIP scip)

gets total number of iterations used so far in primal and dual simplex and barrier algorithm

Returns
the total number of iterations used so far in primal and dual simplex and barrier algorithm
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 436 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nlpiterations, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

Referenced by applyBoundHeur(), applyRepair(), applyVbounds(), generateAndApplyBendersCuts(), getIterationsLeft(), getX(), SCIP_DECL_CONCSOLVEREXEC(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIPapplyProximity(), SCIPStpHeurTMRunLP(), SCIPvarUpdatePseudocost(), setupAndSolveSubscipRapidlearning(), solveLP(), solveLp(), solveSubscip(), and solveSubscipLpface().

◆ SCIPgetNNZs()

SCIP_Longint SCIPgetNNZs ( SCIP scip)

gets number of active non-zeros in the current transformed problem

Returns
the number of active non-zeros in the current transformed problem
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 462 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nnz, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

Referenced by SCIPsyncstoreInit().

◆ SCIPgetNRootLPIterations()

SCIP_Longint SCIPgetNRootLPIterations ( SCIP scip)

gets total number of iterations used so far in primal and dual simplex and barrier algorithm for the root node

Returns
the total number of iterations used so far in primal and dual simplex and barrier algorithm for the root node
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 480 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nrootlpiterations, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

Referenced by applyNlobbt(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_PROPEXEC(), SCIP_DECL_SEPAEXECLP(), and SCIPapplyProximity().

◆ SCIPgetNRootFirstLPIterations()

SCIP_Longint SCIPgetNRootFirstLPIterations ( SCIP scip)

gets total number of iterations used in primal and dual simplex and barrier algorithm for the first LP at the root node

Returns
the total number of iterations used in primal and dual simplex and barrier algorithm for the first root LP
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 499 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nrootfirstlpiterations, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

Referenced by SCIP_DECL_HEUREXEC().

◆ SCIPgetNPrimalLPs()

SCIP_Longint SCIPgetNPrimalLPs ( SCIP scip)

gets total number of primal LPs solved so far

Returns
the total number of primal LPs solved so far
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 517 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nprimallps, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

◆ SCIPgetNPrimalLPIterations()

SCIP_Longint SCIPgetNPrimalLPIterations ( SCIP scip)

gets total number of iterations used so far in primal simplex

Returns
total number of iterations used so far in primal simplex
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 535 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nprimallpiterations, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

◆ SCIPgetNDualLPs()

SCIP_Longint SCIPgetNDualLPs ( SCIP scip)

gets total number of dual LPs solved so far

Returns
the total number of dual LPs solved so far
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 553 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nduallps, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

◆ SCIPgetNDualLPIterations()

SCIP_Longint SCIPgetNDualLPIterations ( SCIP scip)

gets total number of iterations used so far in dual simplex

Returns
the total number of iterations used so far in dual simplex
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 571 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nduallpiterations, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

◆ SCIPgetNBarrierLPs()

SCIP_Longint SCIPgetNBarrierLPs ( SCIP scip)

gets total number of barrier LPs solved so far

Returns
the total number of barrier LPs solved so far
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 589 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nbarrierlps, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

◆ SCIPgetNBarrierLPIterations()

SCIP_Longint SCIPgetNBarrierLPIterations ( SCIP scip)

gets total number of iterations used so far in barrier algorithm

Returns
the total number of iterations used so far in barrier algorithm
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 607 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nbarrierlpiterations, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

◆ SCIPgetNResolveLPs()

SCIP_Longint SCIPgetNResolveLPs ( SCIP scip)

gets total number of LPs solved so far that were resolved from an advanced start basis

Returns
the total number of LPs solved so far that were resolved from an advanced start basis
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 625 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::ndualresolvelps, SCIP_Stat::nprimalresolvelps, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

◆ SCIPgetNResolveLPIterations()

SCIP_Longint SCIPgetNResolveLPIterations ( SCIP scip)

gets total number of simplex iterations used so far in primal and dual simplex calls where an advanced start basis was available

Returns
the total number of simplex iterations used so far in primal and dual simplex calls where an advanced start basis was available
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 645 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::ndualresolvelpiterations, SCIP_Stat::nprimalresolvelpiterations, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

◆ SCIPgetNPrimalResolveLPs()

SCIP_Longint SCIPgetNPrimalResolveLPs ( SCIP scip)

gets total number of primal LPs solved so far that were resolved from an advanced start basis

Returns
the total number of primal LPs solved so far that were resolved from an advanced start basis
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 663 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nprimalresolvelps, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

◆ SCIPgetNPrimalResolveLPIterations()

SCIP_Longint SCIPgetNPrimalResolveLPIterations ( SCIP scip)

gets total number of simplex iterations used so far in primal simplex calls where an advanced start basis was available

Returns
the total number of simplex iterations used so far in primal simplex calls where an advanced start basis was available
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 683 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nprimalresolvelpiterations, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

◆ SCIPgetNDualResolveLPs()

SCIP_Longint SCIPgetNDualResolveLPs ( SCIP scip)

gets total number of dual LPs solved so far that were resolved from an advanced start basis

Returns
the total number of dual LPs solved so far that were resolved from an advanced start basis
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 701 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::ndualresolvelps, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

Referenced by execRelpscost(), and getBranchingDecisionStrongbranchSOS1().

◆ SCIPgetNDualResolveLPIterations()

SCIP_Longint SCIPgetNDualResolveLPIterations ( SCIP scip)

gets total number of simplex iterations used so far in dual simplex calls where an advanced start basis was available

Returns
the total number of simplex iterations used so far in dual simplex calls where an advanced start basis was available
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 721 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::ndualresolvelpiterations, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

Referenced by execRelpscost(), and getBranchingDecisionStrongbranchSOS1().

◆ SCIPgetNNodeLPs()

SCIP_Longint SCIPgetNNodeLPs ( SCIP scip)

gets total number of LPs solved so far for node relaxations

Returns
the total number of LPs solved so far for node relaxations
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 739 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nnodelps, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

◆ SCIPgetNNodeLPIterations()

SCIP_Longint SCIPgetNNodeLPIterations ( SCIP scip)

gets total number of simplex iterations used so far for node relaxations

Returns
the total number of simplex iterations used so far for node relaxations
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 757 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nnodelpiterations, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

Referenced by execRelpscost(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NODESELSELECT(), and SCIPperformGenericDivingAlgorithm().

◆ SCIPgetNNodeInitLPs()

SCIP_Longint SCIPgetNNodeInitLPs ( SCIP scip)

gets total number of LPs solved so far for initial LP in node relaxations

Returns
the total number of LPs solved so far for initial LP in node relaxations
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 775 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::ninitlps, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

Referenced by execRelpscost(), and getBranchingDecisionStrongbranchSOS1().

◆ SCIPgetNNodeInitLPIterations()

SCIP_Longint SCIPgetNNodeInitLPIterations ( SCIP scip)

gets total number of simplex iterations used so far for initial LP in node relaxations

Returns
the total number of simplex iterations used so far for initial LP in node relaxations
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 793 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::ninitlpiterations, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

Referenced by execRelpscost(), and getBranchingDecisionStrongbranchSOS1().

◆ SCIPgetNDivingLPs()

SCIP_Longint SCIPgetNDivingLPs ( SCIP scip)

gets total number of LPs solved so far during diving and probing

Returns
total number of LPs solved so far during diving and probing
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 811 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::ndivinglps, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

◆ SCIPgetNDivingLPIterations()

SCIP_Longint SCIPgetNDivingLPIterations ( SCIP scip)

gets total number of simplex iterations used so far during diving and probing

Returns
the total number of simplex iterations used so far during diving and probing
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 829 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::ndivinglpiterations, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

◆ SCIPgetNStrongbranchs()

SCIP_Longint SCIPgetNStrongbranchs ( SCIP scip)

gets total number of times, strong branching was called (each call represents solving two LPs)

Returns
the total number of times, strong branching was called (each call represents solving two LPs)
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 847 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nstrongbranchs, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

Referenced by SCIP_DECL_DISPOUTPUT().

◆ SCIPgetNStrongbranchLPIterations()

SCIP_Longint SCIPgetNStrongbranchLPIterations ( SCIP scip)

gets total number of simplex iterations used so far in strong branching

Returns
the total number of simplex iterations used so far in strong branching
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 865 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nsblpiterations, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

Referenced by execRelpscost(), and SCIP_DECL_NODESELSELECT().

◆ SCIPgetNRootStrongbranchs()

SCIP_Longint SCIPgetNRootStrongbranchs ( SCIP scip)

gets total number of times, strong branching was called at the root node (each call represents solving two LPs)

Returns
the total number of times, strong branching was called at the root node (each call represents solving two LPs)
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 883 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nrootstrongbranchs, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

◆ SCIPgetNRootStrongbranchLPIterations()

SCIP_Longint SCIPgetNRootStrongbranchLPIterations ( SCIP scip)

gets total number of simplex iterations used so far in strong branching at the root node

Returns
the total number of simplex iterations used so far in strong branching at the root node
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 901 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nrootsblpiterations, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

Referenced by execRelpscost().

◆ SCIPgetNPriceRounds()

int SCIPgetNPriceRounds ( SCIP scip)

gets number of pricing rounds performed so far at the current node

Returns
the number of pricing rounds performed so far at the current node
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 917 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::npricerounds, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

◆ SCIPgetNPricevars()

int SCIPgetNPricevars ( SCIP scip)

get current number of variables in the pricing store

Returns
the current number of variables in the pricing store
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 935 of file scip_solvingstats.c.

References FALSE, Scip::pricestore, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPpricestoreGetNVars(), and TRUE.

◆ SCIPgetNPricevarsFound()

int SCIPgetNPricevarsFound ( SCIP scip)

get total number of pricing variables found so far

Returns
the total number of pricing variables found so far
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 953 of file scip_solvingstats.c.

References FALSE, Scip::pricestore, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPpricestoreGetNVarsFound(), and TRUE.

◆ SCIPgetNPricevarsApplied()

int SCIPgetNPricevarsApplied ( SCIP scip)

get total number of pricing variables applied to the LPs

Returns
the total number of pricing variables applied to the LPs
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 971 of file scip_solvingstats.c.

References FALSE, Scip::pricestore, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPpricestoreGetNVarsApplied(), and TRUE.

◆ SCIPgetNSepaRounds()

int SCIPgetNSepaRounds ( SCIP scip)

gets number of separation rounds performed so far at the current node

Returns
the number of separation rounds performed so far at the current node
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 987 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nseparounds, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

Referenced by generateCutNonConvex(), SCIP_DECL_DISPOUTPUT(), and separateCuts().

◆ SCIPgetNCutsFound()

int SCIPgetNCutsFound ( SCIP scip)

get total number of cuts found so far

Returns
the total number of cuts found so far
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1005 of file scip_solvingstats.c.

References FALSE, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPsepastoreGetNCutsFound(), Scip::sepastore, and TRUE.

Referenced by SCIP_DECL_SEPAEXECLP().

◆ SCIPgetNCutsFoundRound()

int SCIPgetNCutsFoundRound ( SCIP scip)

get number of cuts found so far in current separation round

Returns
the number of cuts found so far in current separation round
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1023 of file scip_solvingstats.c.

References FALSE, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPsepastoreGetNCutsFoundRound(), Scip::sepastore, and TRUE.

Referenced by separateOddCycles().

◆ SCIPgetNCutsApplied()

int SCIPgetNCutsApplied ( SCIP scip)

get total number of cuts applied to the LPs

Returns
the total number of cuts applied to the LPs
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1041 of file scip_solvingstats.c.

References FALSE, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPsepastoreGetNCutsApplied(), Scip::sepastore, and TRUE.

Referenced by SCIP_DECL_DISPOUTPUT().

◆ SCIPgetNConflictConssFound()

SCIP_Longint SCIPgetNConflictConssFound ( SCIP scip)

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

Returns
the total number of constraints found in conflict analysis (conflict and reconvergence constraints)
Precondition
This method can be called if SCIP is in one of the following stages:

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

Returns
the total number of constraints found in conflict analysis (conflict, reconvergence constraints, and dual proofs)
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1065 of file scip_solvingstats.c.

References Scip::conflict, FALSE, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPconflictGetNBoundexceedingLPConflictConss(), SCIPconflictGetNBoundexceedingLPReconvergenceConss(), SCIPconflictGetNDualrayBndGlobal(), SCIPconflictGetNDualrayInfGlobal(), SCIPconflictGetNInfeasibleLPConflictConss(), SCIPconflictGetNInfeasibleLPReconvergenceConss(), SCIPconflictGetNPropConflictConss(), SCIPconflictGetNPropReconvergenceConss(), SCIPconflictGetNPseudoConflictConss(), SCIPconflictGetNPseudoReconvergenceConss(), SCIPconflictGetNStrongbranchConflictConss(), SCIPconflictGetNStrongbranchReconvergenceConss(), and TRUE.

Referenced by SCIPperformGenericDivingAlgorithm(), and setupAndSolveSubscipRapidlearning().

◆ SCIPgetNConflictConssFoundNode()

int SCIPgetNConflictConssFoundNode ( SCIP scip)

get number of conflict constraints found so far at the current node

Returns
the number of conflict constraints found so far at the current node
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1100 of file scip_solvingstats.c.

References Scip::conflict, FALSE, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPconflictGetNConflicts(), and TRUE.

◆ SCIPgetNConflictConssApplied()

SCIP_Longint SCIPgetNConflictConssApplied ( SCIP scip)

get total number of conflict constraints added to the problem

Returns
the total number of conflict constraints added to the problem
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1124 of file scip_solvingstats.c.

References Scip::conflict, FALSE, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPconflictGetNAppliedConss(), and TRUE.

Referenced by SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_DISPOUTPUT(), and setupAndSolveSubscipRapidlearning().

◆ SCIPgetMaxDepth()

int SCIPgetMaxDepth ( SCIP scip)

gets maximal depth of all processed nodes in current branch and bound run (excluding probing nodes)

Returns
the maximal depth of all processed nodes in current branch and bound run (excluding probing nodes)
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1148 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::maxdepth, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

Referenced by SCIP_DECL_DISPOUTPUT(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NODESELSELECT(), SCIP_DECL_SEPAEXECLP(), and SCIPperformGenericDivingAlgorithm().

◆ SCIPgetMaxTotalDepth()

int SCIPgetMaxTotalDepth ( SCIP scip)

gets maximal depth of all processed nodes over all branch and bound runs

Returns
the maximal depth of all processed nodes over all branch and bound runs
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1172 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::maxtotaldepth, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

◆ SCIPgetNBacktracks()

SCIP_Longint SCIPgetNBacktracks ( SCIP scip)

gets total number of backtracks, i.e. number of times, the new node was selected from the leaves queue

Returns
the total number of backtracks, i.e. number of times, the new node was selected from the leaves queue
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1196 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nbacktracks, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

◆ SCIPgetNActiveConss()

int SCIPgetNActiveConss ( SCIP scip)

gets total number of active constraints at the current node

Returns
the total number of active constraints at the current node
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1216 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nactiveconss, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

Referenced by computeSymmetryGroup(), and determineSymmetry().

◆ SCIPgetNEnabledConss()

int SCIPgetNEnabledConss ( SCIP scip)

gets total number of enabled constraints at the current node

Returns
the total number of enabled constraints at the current node
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1233 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nenabledconss, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

Referenced by SCIP_DECL_DISPOUTPUT().

◆ SCIPgetAvgDualbound()

SCIP_Real SCIPgetAvgDualbound ( SCIP scip)

gets average dual bound of all unprocessed nodes for original problem

gets average dual bound of all unprocessed nodes for original problem

Returns
the average dual bound of all unprocessed nodes for original problem
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1251 of file scip_solvingstats.c.

References SCIP_Primal::cutoffbound, FALSE, Scip::origprob, Scip::primal, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPprobExternObjval(), SCIPtreeGetAvgLowerbound(), Scip::set, Scip::transprob, Scip::tree, and TRUE.

Referenced by SCIP_DECL_DISPOUTPUT(), and SCIPperformGenericDivingAlgorithm().

◆ SCIPgetAvgLowerbound()

SCIP_Real SCIPgetAvgLowerbound ( SCIP scip)

gets average lower (dual) bound of all unprocessed nodes in transformed problem

Returns
the average lower (dual) bound of all unprocessed nodes in transformed problem
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1270 of file scip_solvingstats.c.

References SCIP_Primal::cutoffbound, FALSE, Scip::primal, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPtreeGetAvgLowerbound(), Scip::tree, and TRUE.

Referenced by SCIPperformGenericDivingAlgorithm().

◆ SCIPgetDualbound()

SCIP_Real SCIPgetDualbound ( SCIP scip)

gets global dual bound

Returns
the global dual bound
Precondition
This method can be called if SCIP is in one of the following stages:

gets global dual bound

Returns
the global dual bound
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1294 of file scip_solvingstats.c.

References SCIP_Prob::dualbound, FALSE, Scip::origprob, SCIP_CALL_ABORT, SCIP_INVALID, SCIP_STAGE_INITSOLVE, SCIPcheckStage(), SCIPgetLowerbound(), SCIPprobExternObjval(), Scip::set, SCIP_Set::stage, Scip::transprob, and TRUE.

Referenced by applyDomainChanges(), displayRelevantStats(), freeSolve(), runBenders(), SCIP_DECL_CONCSOLVERSYNCWRITE(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PROBEXITSOL(), SCIP_DECL_TABLEOUTPUT(), SCIPbendersComputeSubproblemLowerbound(), SCIPcopyConcurrentSolvingStats(), SCIPgetGap(), SCIPperformGenericDivingAlgorithm(), SCIPprintSolutionStatistics(), SCIPprobdataWriteLogfileEnd(), SCIPstoreSolutionGap(), SCIPvalidateSolve(), setupAndSolveSubscipRapidlearning(), solveComponent(), solvePricingMINLP(), and writeBounds().

◆ SCIPgetLowerbound()

◆ SCIPgetDualboundRoot()

SCIP_Real SCIPgetDualboundRoot ( SCIP scip)

gets dual bound of the root node for the original problem

Returns
the dual bound of the root node for the original problem
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1366 of file scip_solvingstats.c.

References FALSE, Scip::origprob, SCIP_Stat::rootlowerbound, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPgetPrimalbound(), SCIPprobExternObjval(), SCIPsetIsInfinity(), Scip::set, Scip::stat, Scip::transprob, and TRUE.

Referenced by SCIPprintRootStatistics().

◆ SCIPgetLowerboundRoot()

SCIP_Real SCIPgetLowerboundRoot ( SCIP scip)

gets lower (dual) bound in transformed problem of the root node

Returns
the lower (dual) bound in transformed problem of the root node
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1390 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::rootlowerbound, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPgetUpperbound(), SCIPsetIsInfinity(), Scip::set, Scip::stat, and TRUE.

Referenced by nodeGetUctScore().

◆ SCIPgetFirstLPDualboundRoot()

SCIP_Real SCIPgetFirstLPDualboundRoot ( SCIP scip)

gets dual bound for the original problem obtained by the first LP solve at the root node

Returns
the dual bound for the original problem of the first LP solve at the root node
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1414 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::firstlpdualbound, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

Referenced by SCIPprintRootStatistics().

◆ SCIPgetFirstLPLowerboundRoot()

SCIP_Real SCIPgetFirstLPLowerboundRoot ( SCIP scip)

gets lower (dual) bound in transformed problem obtained by the first LP solve at the root node

Returns
the lower (dual) bound in transformed problem obtained by first LP solve at the root node
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1435 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::firstlpdualbound, Scip::origprob, SCIP_CALL_ABORT, SCIP_INVALID, SCIPcheckStage(), SCIPinfinity(), SCIPprobInternObjval(), Scip::set, Scip::stat, Scip::transprob, and TRUE.

◆ SCIPgetFirstPrimalBound()

SCIP_Real SCIPgetFirstPrimalBound ( SCIP scip)

the primal bound of the very first solution

Parameters
scipSCIP data structure

Definition at line 1448 of file scip_solvingstats.c.

References SCIP_Stat::firstprimalbound, and Scip::stat.

Referenced by checkLogCriterion().

◆ SCIPgetPrimalbound()

◆ SCIPgetUpperbound()

SCIP_Real SCIPgetUpperbound ( SCIP scip)

gets global upper (primal) bound in transformed problem (objective value of best solution or user objective limit)

Returns
the global upper (primal) bound in transformed problem (objective value of best solution or user objective limit)
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1494 of file scip_solvingstats.c.

References FALSE, Scip::primal, SCIP_CALL_ABORT, SCIP_STATUS_UNBOUNDED, SCIPcheckStage(), SCIPgetStatus(), SCIPinfinity(), TRUE, and SCIP_Primal::upperbound.

Referenced by addNodesInformation(), applyOptcumulative(), branchOnVertex(), checkLeavesBelowIncumbent(), computeCut(), createNLP(), createSubproblem(), createSubscip(), doSolveSubMIP(), exitPresolve(), getObjectiveFactor(), initRunStats(), proposeFeasibleSolution(), releaseNodeFromDepthInfo(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_HEUREXEC(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPgetLowerboundRoot(), SCIPgetPrimalbound(), SCIPgetTransGap(), SCIPmakeSOS1sFeasible(), SCIPpriceLoop(), SCIPsolveIsStopped(), SCIPstoreSolutionGap(), setupAndSolve(), setupAndSolveSubscip(), setupAndSolveSubscipCrossover(), setupAndSolveSubscipLocalbranching(), setupAndSolveSubscipMutation(), setupAndSolveSubscipRapidlearning(), setupSubScip(), solveSubproblem(), transferSolution(), updateObjUpperbound(), wrapperDins(), and wrapperRins().

◆ SCIPgetCutoffbound()

SCIP_Real SCIPgetCutoffbound ( SCIP scip)

gets global cutoff bound in transformed problem: a sub problem with lower bound larger than the cutoff cannot contain a better feasible solution; usually, this bound is equal to the upper bound, but if the objective value is always integral, the cutoff bound is (nearly) one less than the upper bound; additionally, due to objective function domain propagation, the cutoff bound can be further reduced

Returns
global cutoff bound in transformed problem
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1524 of file scip_solvingstats.c.

References SCIP_Primal::cutoffbound, FALSE, Scip::primal, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.

Referenced by analyzeGenVBoundConflict(), applyDomainChanges(), applyNlobbt(), branch(), computeInteriorPoint(), dualcostVarfixing(), execGenVBounds(), execRelpscost(), performLPRandRounding(), performLPSimpleRounding(), performStrongbranchWithPropagation(), redcostAvailable(), reduce_boundHopRc(), reduceRedcostExtended(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NODESELSELECT(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddConflict(), SCIPconflictstoreAddDualsolcons(), SCIPgetVarStrongbranchWithPropagation(), SCIPperformGenericDivingAlgorithm(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPsolveDiveLP(), SCIPtryStrongbranchLPSol(), SCIPupdateCutoffbound(), selectEssentialRounding(), selectRounding(), selectVarMultAggrBranching(), selectVarRecursive(), solveComponent(), solveNlp(), solveProbingLP(), transferSolution(), and writeBounds().

◆ SCIPupdateCutoffbound()

SCIP_RETCODE SCIPupdateCutoffbound ( SCIP scip,
SCIP_Real  cutoffbound 
)

updates the cutoff bound

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Note
using this method in the solving stage can lead to an erroneous SCIP solving status; in particular, if a solution not respecting the cutoff bound was found before installing a cutoff bound which renders the remaining problem infeasible, this solution may be reported as optimal
Precondition
This method can be called if SCIP is in one of the following stages:
Note
the given cutoff bound has to better or equal to known one (SCIPgetCutoffbound())

updates the cutoff bound

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Note
using this method in the solving stage can lead to an erroneous SCIP solving status; in particular, if a solution not respecting the cutoff bound was found before installing a cutoff bound which renders the remaining problem infeasible, this solution may be reported as optimal
Precondition
This method can be called if SCIP is in one of the following stages:
Note
the given cutoff bound has to better or equal to known one (SCIPgetCutoffbound())
a given cutoff bound is also used for updating the objective limit, if possible
Parameters
scipSCIP data structure
cutoffboundnew cutoff bound

Definition at line 1552 of file scip_solvingstats.c.

References Scip::eventqueue, FALSE, Scip::lp, Scip::mem, Scip::origprob, Scip::primal, SCIP_Mem::probmem, Scip::reopt, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPgetCutoffbound(), SCIPprimalSetCutoffbound(), Scip::set, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

Referenced by solveComponent().

◆ SCIPisPrimalboundSol()

SCIP_Bool SCIPisPrimalboundSol ( SCIP scip)

returns whether the current primal bound is justified with a feasible primal solution; if not, the primal bound was set from the user as objective limit

Returns
TRUE if the current primal bound is justified with a feasible primal solution, otherwise FALSE
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1584 of file scip_solvingstats.c.

References FALSE, Scip::origprob, Scip::primal, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPprimalUpperboundIsSol(), Scip::set, Scip::transprob, and TRUE.

Referenced by SCIP_DECL_DISPOUTPUT().

◆ SCIPgetGap()

SCIP_Real SCIPgetGap ( SCIP scip)

gets current gap |(primalbound - dualbound)/min(|primalbound|,|dualbound|)| if both bounds have same sign, or infinity, if they have opposite sign

Returns
the current gap |(primalbound - dualbound)/min(|primalbound|,|dualbound|)| if both bounds have same sign, or infinity, if they have opposite sign
Precondition
This method can be called if SCIP is in one of the following stages:

gets current gap |(primalbound - dualbound)/min(|primalbound|,|dualbound|)| if both bounds have same sign, or infinity, if they have opposite sign

Returns
the current gap |(primalbound - dualbound)/min(|primalbound|,|dualbound|)| if both bounds have same sign, or infinity, if they have opposite sign
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1607 of file scip_solvingstats.c.

References FALSE, SCIP_CALL_ABORT, SCIP_STATUS_INFEASIBLE, SCIP_STATUS_INFORUNBD, SCIP_STATUS_UNBOUNDED, SCIPcheckStage(), SCIPcomputeGap(), SCIPgetDualbound(), SCIPgetLowerbound(), SCIPgetPrimalbound(), SCIPgetStatus(), SCIPsetEpsilon(), SCIPsetInfinity(), SCIPsetIsInfinity(), Scip::set, and TRUE.

Referenced by displayRelevantStats(), runBenders(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_HEUREXEC(), SCIPapplyHeurDualval(), SCIPapplyProximity(), SCIPprintSolutionStatistics(), SCIPsolveIsStopped(), and solveComponent().

◆ SCIPgetTransGap()

SCIP_Real SCIPgetTransGap ( SCIP scip)

gets current gap |(upperbound - lowerbound)/min(|upperbound|,|lowerbound|)| in transformed problem if both bounds have same sign, or infinity, if they have opposite sign

Returns
current gap |(upperbound - lowerbound)/min(|upperbound|,|lowerbound|)| in transformed problem if both bounds have same sign, or infinity, if they have opposite sign
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1641 of file scip_solvingstats.c.

References FALSE, SCIP_CALL_ABORT, SCIP_STATUS_INFEASIBLE, SCIP_STATUS_INFORUNBD, SCIP_STATUS_UNBOUNDED, SCIPcheckStage(), SCIPcomputeGap(), SCIPgetLowerbound(), SCIPgetStatus(), SCIPgetUpperbound(), SCIPsetEpsilon(), SCIPsetInfinity(), SCIPsetIsInfinity(), Scip::set, and TRUE.

◆ SCIPgetNSolsFound()

SCIP_Longint SCIPgetNSolsFound ( SCIP scip)

gets number of feasible primal solutions found so far

Returns
the number of feasible primal solutions found so far
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1679 of file scip_solvingstats.c.

References FALSE, SCIP_Primal::nsolsfound, Scip::primal, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.

Referenced by determineVariableFixings(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NODESELSELECT(), SCIPapplyProximity(), SCIPapplyZeroobj(), and SCIPperformGenericDivingAlgorithm().

◆ SCIPgetNLimSolsFound()

SCIP_Longint SCIPgetNLimSolsFound ( SCIP scip)

gets number of feasible primal solutions respecting the objective limit found so far

Returns
the number of feasible primal solutions respecting the objective limit found so far
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1706 of file scip_solvingstats.c.

References FALSE, SCIP_Primal::nlimsolsfound, Scip::primal, SCIP_CALL_ABORT, SCIP_STAGE_TRANSFORMED, SCIPcheckStage(), SCIPgetStage(), and TRUE.

Referenced by SCIPsolveIsStopped().

◆ SCIPgetNBestSolsFound()

SCIP_Longint SCIPgetNBestSolsFound ( SCIP scip)

gets number of feasible primal solutions found so far, that improved the primal bound at the time they were found

Returns
the number of feasible primal solutions found so far, that improved the primal bound at the time they were found
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1733 of file scip_solvingstats.c.

References FALSE, SCIP_Primal::nbestsolsfound, Scip::primal, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.

Referenced by SCIPperformGenericDivingAlgorithm(), and SCIPsolveIsStopped().

◆ SCIPgetAvgPseudocost()

SCIP_Real SCIPgetAvgPseudocost ( SCIP scip,
SCIP_Real  solvaldelta 
)

gets the average pseudo cost value for the given direction over all variables

Returns
the average pseudo cost value for the given direction over all variables
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
solvaldeltadifference of variable's new LP value - old LP value

Definition at line 1750 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::glbhistory, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPhistoryGetPseudocost(), Scip::stat, and TRUE.

◆ SCIPgetAvgPseudocostCurrentRun()

SCIP_Real SCIPgetAvgPseudocostCurrentRun ( SCIP scip,
SCIP_Real  solvaldelta 
)

gets the average pseudo cost value for the given direction over all variables, only using the pseudo cost information of the current run

Returns
the average pseudo cost value for the given direction over all variables, only using the pseudo cost information of the current run
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
solvaldeltadifference of variable's new LP value - old LP value

Definition at line 1770 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::glbhistorycrun, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPhistoryGetPseudocost(), Scip::stat, and TRUE.

◆ SCIPgetAvgPseudocostCount()

SCIP_Real SCIPgetAvgPseudocostCount ( SCIP scip,
SCIP_BRANCHDIR  dir 
)

gets the average number of pseudo cost updates for the given direction over all variables

Returns
the average number of pseudo cost updates for the given direction over all variables
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
dirbranching direction (downwards, or upwards)

Definition at line 1788 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::glbhistory, MAX, SCIP_Prob::nbinvars, SCIP_Prob::nintvars, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPhistoryGetPseudocostCount(), Scip::stat, Scip::transprob, and TRUE.

◆ SCIPgetAvgPseudocostCountCurrentRun()

SCIP_Real SCIPgetAvgPseudocostCountCurrentRun ( SCIP scip,
SCIP_BRANCHDIR  dir 
)

gets the average number of pseudo cost updates for the given direction over all variables, only using the pseudo cost information of the current run

Returns
the average number of pseudo cost updates for the given direction over all variables, only using the pseudo cost information of the current run
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
dirbranching direction (downwards, or upwards)

Definition at line 1809 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::glbhistorycrun, MAX, SCIP_Prob::nbinvars, SCIP_Prob::nintvars, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPhistoryGetPseudocostCount(), Scip::stat, Scip::transprob, and TRUE.

◆ SCIPgetPseudocostCount()

SCIP_Real SCIPgetPseudocostCount ( SCIP scip,
SCIP_BRANCHDIR  dir,
SCIP_Bool  onlycurrentrun 
)

gets the number of pseudo cost updates for the given direction over all variables

Returns
the number of pseudo cost updates for the given direction over all variables
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
dirbranching direction (downwards, or upwards)
onlycurrentrunuse only history of current run?

Definition at line 1876 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::glbhistory, SCIP_Stat::glbhistorycrun, NULL, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPhistoryGetPseudocostCount(), Scip::stat, and TRUE.

◆ SCIPgetAvgPseudocostScore()

SCIP_Real SCIPgetAvgPseudocostScore ( SCIP scip)

gets the average pseudo cost score value over all variables, assuming a fractionality of 0.5

Returns
the average pseudo cost score value over all variables, assuming a fractionality of 0.5
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1828 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::glbhistory, NULL, SCIP_CALL_ABORT, SCIP_Real, SCIPbranchGetScore(), SCIPcheckStage(), SCIPhistoryGetPseudocost(), Scip::set, Scip::stat, and TRUE.

Referenced by execRelpscost().

◆ SCIPgetPseudocostVariance()

SCIP_Real SCIPgetPseudocostVariance ( SCIP scip,
SCIP_BRANCHDIR  branchdir,
SCIP_Bool  onlycurrentrun 
)

returns the variance of pseudo costs for all variables in the requested direction

Returns
the variance of pseudo costs for all variables in the requested direction
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
branchdirthe branching direction, up or down
onlycurrentrunuse only history of current run?

Definition at line 1851 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::glbhistory, SCIP_Stat::glbhistorycrun, NULL, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPhistoryGetPseudocostVariance(), Scip::stat, and TRUE.

◆ SCIPgetAvgPseudocostScoreCurrentRun()

SCIP_Real SCIPgetAvgPseudocostScoreCurrentRun ( SCIP scip)

gets the average pseudo cost score value over all variables, assuming a fractionality of 0.5, only using the pseudo cost information of the current run

Returns
the average pseudo cost score value over all variables, assuming a fractionality of 0.5, only using the pseudo cost information of the current run
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1902 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::glbhistorycrun, NULL, SCIP_CALL_ABORT, SCIP_Real, SCIPbranchGetScore(), SCIPcheckStage(), SCIPhistoryGetPseudocost(), Scip::set, Scip::stat, and TRUE.

◆ SCIPgetAvgConflictScore()

SCIP_Real SCIPgetAvgConflictScore ( SCIP scip)

gets the average conflict score value over all variables

gets the average conflict score value over all variables

Returns
the average conflict score value over all variables
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1925 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::glbhistory, NULL, SCIP_Prob::nvars, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_CALL_ABORT, SCIP_Real, SCIPbranchGetScore(), SCIPcheckStage(), SCIPhistoryGetVSIDS(), Scip::set, Scip::stat, Scip::transprob, TRUE, and SCIP_Stat::vsidsweight.

Referenced by execRelpscost().

◆ SCIPgetAvgConflictScoreCurrentRun()

SCIP_Real SCIPgetAvgConflictScoreCurrentRun ( SCIP scip)

gets the average conflict score value over all variables, only using the conflict information of the current run

Returns
the average conflict score value over all variables, only using the conflict information of the current run
Precondition
This method can be called if SCIP is in one of the following stages:

gets the average conflict score value over all variables, only using the conflict score information of the current run

Returns
the average conflict score value over all variables, only using the conflict score information of the current run
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1950 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::glbhistorycrun, NULL, SCIP_Prob::nvars, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_CALL_ABORT, SCIP_Real, SCIPbranchGetScore(), SCIPcheckStage(), SCIPhistoryGetVSIDS(), Scip::set, Scip::stat, Scip::transprob, TRUE, and SCIP_Stat::vsidsweight.

◆ SCIPgetAvgConflictlengthScore()

SCIP_Real SCIPgetAvgConflictlengthScore ( SCIP scip)

gets the average inference score value over all variables

Returns
the average inference score value over all variables
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 1975 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::glbhistory, NULL, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_CALL_ABORT, SCIP_Real, SCIPbranchGetScore(), SCIPcheckStage(), SCIPhistoryGetAvgConflictlength(), Scip::set, Scip::stat, and TRUE.

Referenced by execRelpscost().

◆ SCIPgetAvgConflictlengthScoreCurrentRun()

SCIP_Real SCIPgetAvgConflictlengthScoreCurrentRun ( SCIP scip)

gets the average conflictlength score value over all variables, only using the conflictlength information of the current run

Returns
the average conflictlength score value over all variables, only using the conflictlength information of the current run
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 2000 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::glbhistorycrun, NULL, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_CALL_ABORT, SCIP_Real, SCIPbranchGetScore(), SCIPcheckStage(), SCIPhistoryGetAvgConflictlength(), Scip::set, Scip::stat, and TRUE.

◆ SCIPgetAvgInferences()

SCIP_Real SCIPgetAvgInferences ( SCIP scip,
SCIP_BRANCHDIR  dir 
)

returns the average number of inferences found after branching in given direction over all variables

Returns
the average number of inferences found after branching in given direction over all variables
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
dirbranching direction (downwards, or upwards)

Definition at line 2023 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::glbhistory, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPhistoryGetAvgInferences(), Scip::stat, and TRUE.

◆ SCIPgetAvgInferencesCurrentRun()

SCIP_Real SCIPgetAvgInferencesCurrentRun ( SCIP scip,
SCIP_BRANCHDIR  dir 
)

returns the average number of inferences found after branching in given direction over all variables, only using the inference information of the current run

Returns
the average number of inferences found after branching in given direction over all variables, only using the inference information of the current run
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
dirbranching direction (downwards, or upwards)

Definition at line 2043 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::glbhistorycrun, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPhistoryGetAvgInferences(), Scip::stat, and TRUE.

◆ SCIPgetAvgInferenceScore()

SCIP_Real SCIPgetAvgInferenceScore ( SCIP scip)

gets the average inference score value over all variables

Returns
the average inference score value over all variables
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 2061 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::glbhistory, NULL, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_CALL_ABORT, SCIP_Real, SCIPbranchGetScore(), SCIPcheckStage(), SCIPhistoryGetAvgInferences(), Scip::set, Scip::stat, and TRUE.

Referenced by execRelpscost().

◆ SCIPgetAvgInferenceScoreCurrentRun()

SCIP_Real SCIPgetAvgInferenceScoreCurrentRun ( SCIP scip)

gets the average inference score value over all variables, only using the inference information of the current run

Returns
the average inference score value over all variables, only using the inference information of the current run
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 2086 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::glbhistorycrun, NULL, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_CALL_ABORT, SCIP_Real, SCIPbranchGetScore(), SCIPcheckStage(), SCIPhistoryGetAvgInferences(), Scip::set, Scip::stat, and TRUE.

◆ SCIPgetAvgCutoffs()

SCIP_Real SCIPgetAvgCutoffs ( SCIP scip,
SCIP_BRANCHDIR  dir 
)

returns the average number of cutoffs found after branching in given direction over all variables

Returns
the average number of cutoffs found after branching in given direction over all variables
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
dirbranching direction (downwards, or upwards)

Definition at line 2109 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::glbhistory, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPhistoryGetAvgCutoffs(), Scip::stat, and TRUE.

◆ SCIPgetAvgCutoffsCurrentRun()

SCIP_Real SCIPgetAvgCutoffsCurrentRun ( SCIP scip,
SCIP_BRANCHDIR  dir 
)

returns the average number of cutoffs found after branching in given direction over all variables, only using the cutoff information of the current run

Returns
the average number of cutoffs found after branching in given direction over all variables, only using the cutoff information of the current run
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
dirbranching direction (downwards, or upwards)

Definition at line 2129 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::glbhistorycrun, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPhistoryGetAvgCutoffs(), Scip::stat, and TRUE.

◆ SCIPgetAvgCutoffScore()

SCIP_Real SCIPgetAvgCutoffScore ( SCIP scip)

gets the average cutoff score value over all variables

Returns
the average cutoff score value over all variables
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 2147 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::glbhistory, NULL, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_CALL_ABORT, SCIP_Real, SCIPbranchGetScore(), SCIPcheckStage(), SCIPhistoryGetAvgCutoffs(), Scip::set, Scip::stat, and TRUE.

Referenced by execRelpscost().

◆ SCIPgetAvgCutoffScoreCurrentRun()

SCIP_Real SCIPgetAvgCutoffScoreCurrentRun ( SCIP scip)

gets the average cutoff score value over all variables, only using the cutoff information of the current run

Returns
the average cutoff score value over all variables, only using the cutoff information of the current run
Precondition
This method can be called if SCIP is in one of the following stages:

gets the average cutoff score value over all variables, only using the cutoff score information of the current run

Returns
the average cutoff score value over all variables, only using the cutoff score information of the current run
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 2170 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::glbhistorycrun, NULL, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_CALL_ABORT, SCIP_Real, SCIPbranchGetScore(), SCIPcheckStage(), SCIPhistoryGetAvgCutoffs(), Scip::set, Scip::stat, and TRUE.

◆ SCIPgetDeterministicTime()

SCIP_Real SCIPgetDeterministicTime ( SCIP scip)

gets deterministic time number of LPs solved so far

Returns
the total number of LPs solved so far
Precondition
This method can be called if SCIP is in one of the following stages:

computes a deterministic measure of time from statistics

Returns
the deterministic time
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 2195 of file scip_solvingstats.c.

References SCIP_Stat::ndualresolvelpiterations, SCIP_Stat::nisstoppedcalls, SCIP_Stat::nnz, SCIP_Stat::nprimalresolvelpiterations, SCIP_Stat::nprobboundchgs, NULL, and Scip::stat.

◆ SCIPprintOrigProblem()

SCIP_RETCODE SCIPprintOrigProblem ( SCIP scip,
FILE *  file,
const char *  extension,
SCIP_Bool  genericnames 
)

outputs original problem to file stream

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
fileoutput file (or NULL for standard output)
extensionfile format (or NULL for default CIP format)
genericnamesusing generic variable and constraint names?

Definition at line 2278 of file scip_solvingstats.c.

References FALSE, NULL, Scip::origprob, printProblem(), SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_WRITEERROR, SCIPcheckStage(), and TRUE.

Referenced by runBrachistochrone(), runCircle(), runGastrans(), runPacking(), runString(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_READERREAD(), SCIP_DECL_READERWRITE(), SCIPwriteMps(), SCIPwriteOpb(), and writeProblem().

◆ SCIPprintTransProblem()

SCIP_RETCODE SCIPprintTransProblem ( SCIP scip,
FILE *  file,
const char *  extension,
SCIP_Bool  genericnames 
)

outputs transformed problem of the current node to file stream

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
fileoutput file (or NULL for standard output)
extensionfile format (or NULL for default CIP format)
genericnamesusing generic variable and constraint names?

Definition at line 2322 of file scip_solvingstats.c.

References FALSE, NULL, printProblem(), SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_WRITEERROR, SCIPcheckStage(), Scip::transprob, and TRUE.

Referenced by SCIP_DECL_DIALOGEXEC(), SCIP_DECL_READERWRITE(), SCIPwriteMps(), SCIPwriteOpb(), and writeProblem().

◆ SCIPprintStatusStatistics()

void SCIPprintStatusStatistics ( SCIP scip,
FILE *  file 
)

outputs status statistics

Note
If limits have been changed between the solution and the call to this function, the status is recomputed and thus may to correspond to the original status.
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
fileoutput file

Definition at line 2365 of file scip_solvingstats.c.

References FALSE, Scip::messagehdlr, NULL, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPmessageFPrintInfo(), SCIPprintStage(), Scip::set, and TRUE.

Referenced by SCIP_DECL_TABLEOUTPUT().

◆ SCIPprintTimingStatistics()

◆ SCIPprintOrigProblemStatistics()

void SCIPprintOrigProblemStatistics ( SCIP scip,
FILE *  file 
)

outputs statistics for original problem

Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
fileoutput file

Definition at line 2392 of file scip_solvingstats.c.

References FALSE, Scip::messagehdlr, NULL, Scip::origprob, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPmessageFPrintInfo(), SCIPprobPrintStatistics(), Scip::set, and TRUE.

Referenced by SCIP_DECL_TABLEOUTPUT().

◆ SCIPprintTransProblemStatistics()

void SCIPprintTransProblemStatistics ( SCIP scip,
FILE *  file 
)

outputs statistics for transformed problem

Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
fileoutput file

Definition at line 2418 of file scip_solvingstats.c.

References FALSE, Scip::messagehdlr, NULL, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPmessageFPrintInfo(), SCIPprobPrintStatistics(), Scip::set, Scip::transprob, and TRUE.

Referenced by SCIP_DECL_TABLEOUTPUT().

◆ SCIPprintPresolverStatistics()

void SCIPprintPresolverStatistics ( SCIP scip,
FILE *  file 
)

outputs presolver statistics

Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
fileoutput file

Definition at line 2443 of file scip_solvingstats.c.

References SCIP_Set::conshdlrs, FALSE, Scip::messagehdlr, SCIP_Set::nconshdlrs, SCIP_Set::npresols, SCIP_Set::nprops, SCIP_Stat::nrootboundchgs, SCIP_Stat::nrootintfixings, NULL, SCIP_Set::presols, SCIP_Set::props, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPconshdlrDoesPresolve(), SCIPconshdlrGetMaxNActiveConss(), SCIPconshdlrGetNAddConss(), SCIPconshdlrGetNAddHoles(), SCIPconshdlrGetNAggrVars(), SCIPconshdlrGetName(), SCIPconshdlrGetNChgBds(), SCIPconshdlrGetNChgCoefs(), SCIPconshdlrGetNChgSides(), SCIPconshdlrGetNChgVarTypes(), SCIPconshdlrGetNDelConss(), SCIPconshdlrGetNFixedVars(), SCIPconshdlrGetNPresolCalls(), SCIPconshdlrGetNUpgdConss(), SCIPconshdlrGetPresolTime(), SCIPconshdlrGetSetupTime(), SCIPconshdlrNeedsCons(), SCIPmessageFPrintInfo(), SCIPpresolGetNAddConss(), SCIPpresolGetNAddHoles(), SCIPpresolGetNAggrVars(), SCIPpresolGetName(), SCIPpresolGetNCalls(), SCIPpresolGetNChgBds(), SCIPpresolGetNChgCoefs(), SCIPpresolGetNChgSides(), SCIPpresolGetNChgVarTypes(), SCIPpresolGetNDelConss(), SCIPpresolGetNFixedVars(), SCIPpresolGetSetupTime(), SCIPpresolGetTime(), SCIPpropDoesPresolve(), SCIPpropGetNAddConss(), SCIPpropGetNAddHoles(), SCIPpropGetNAggrVars(), SCIPpropGetName(), SCIPpropGetNChgBds(), SCIPpropGetNChgCoefs(), SCIPpropGetNChgSides(), SCIPpropGetNChgVarTypes(), SCIPpropGetNDelConss(), SCIPpropGetNFixedVars(), SCIPpropGetNPresolCalls(), SCIPpropGetPresolTime(), SCIPpropGetSetupTime(), SCIPsetSortPresolsName(), SCIPsetSortPropsName(), Scip::set, Scip::stat, and TRUE.

Referenced by SCIP_DECL_TABLEOUTPUT().

◆ SCIPprintConstraintStatistics()

◆ SCIPprintConstraintTimingStatistics()

◆ SCIPprintPropagatorStatistics()

◆ SCIPprintConflictStatistics()

void SCIPprintConflictStatistics ( SCIP scip,
FILE *  file 
)

outputs conflict statistics

Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
fileoutput file

Definition at line 2744 of file scip_solvingstats.c.

References SCIP_Set::conf_maxstoresize, Scip::conflict, Scip::conflictstore, FALSE, Scip::messagehdlr, NULL, SCIP_CALL_ABORT, SCIP_LONGINT_FORMAT, SCIP_MAXSTRLEN, SCIP_Real, SCIPcheckStage(), SCIPconflictGetBoundexceedingLPTime(), SCIPconflictGetGlobalApplTime(), SCIPconflictGetInfeasibleLPTime(), SCIPconflictGetNAppliedGlobalConss(), SCIPconflictGetNAppliedGlobalLiterals(), SCIPconflictGetNAppliedLocalConss(), SCIPconflictGetNAppliedLocalLiterals(), SCIPconflictGetNBoundexceedingLPCalls(), SCIPconflictGetNBoundexceedingLPConflictConss(), SCIPconflictGetNBoundexceedingLPConflictLiterals(), SCIPconflictGetNBoundexceedingLPIterations(), SCIPconflictGetNBoundexceedingLPReconvergenceConss(), SCIPconflictGetNBoundexceedingLPReconvergenceLiterals(), SCIPconflictGetNBoundexceedingLPSuccess(), SCIPconflictGetNDualrayBndGlobal(), SCIPconflictGetNDualrayBndNonzeros(), SCIPconflictGetNDualrayBndSuccess(), SCIPconflictGetNDualrayInfGlobal(), SCIPconflictGetNDualrayInfNonzeros(), SCIPconflictGetNDualrayInfSuccess(), SCIPconflictGetNGlobalChgBds(), SCIPconflictGetNInfeasibleLPCalls(), SCIPconflictGetNInfeasibleLPConflictConss(), SCIPconflictGetNInfeasibleLPConflictLiterals(), SCIPconflictGetNInfeasibleLPIterations(), SCIPconflictGetNInfeasibleLPReconvergenceConss(), SCIPconflictGetNInfeasibleLPReconvergenceLiterals(), SCIPconflictGetNInfeasibleLPSuccess(), SCIPconflictGetNLocalChgBds(), SCIPconflictGetNPropCalls(), SCIPconflictGetNPropConflictConss(), SCIPconflictGetNPropConflictLiterals(), SCIPconflictGetNPropReconvergenceConss(), SCIPconflictGetNPropReconvergenceLiterals(), SCIPconflictGetNPropSuccess(), SCIPconflictGetNPseudoCalls(), SCIPconflictGetNPseudoConflictConss(), SCIPconflictGetNPseudoConflictLiterals(), SCIPconflictGetNPseudoReconvergenceConss(), SCIPconflictGetNPseudoReconvergenceLiterals(), SCIPconflictGetNPseudoSuccess(), SCIPconflictGetNStrongbranchCalls(), SCIPconflictGetNStrongbranchConflictConss(), SCIPconflictGetNStrongbranchConflictLiterals(), SCIPconflictGetNStrongbranchIterations(), SCIPconflictGetNStrongbranchReconvergenceConss(), SCIPconflictGetNStrongbranchReconvergenceLiterals(), SCIPconflictGetNStrongbranchSuccess(), SCIPconflictGetPropTime(), SCIPconflictGetPseudoTime(), SCIPconflictGetStrongbranchTime(), SCIPconflictstoreGetInitPoolSize(), SCIPconflictstoreGetMaxPoolSize(), SCIPmessageFPrintInfo(), SCIPsnprintf(), Scip::set, and TRUE.

Referenced by SCIP_DECL_TABLEOUTPUT().

◆ SCIPprintSeparatorStatistics()

◆ SCIPprintPricerStatistics()

void SCIPprintPricerStatistics ( SCIP scip,
FILE *  file 
)

◆ SCIPprintBranchruleStatistics()

◆ SCIPprintHeuristicStatistics()

void SCIPprintHeuristicStatistics ( SCIP scip,
FILE *  file 
)

outputs heuristics statistics

Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
fileoutput file

Definition at line 3001 of file scip_solvingstats.c.

References FALSE, SCIP_Set::heurs, SCIP_Stat::lpsoltime, Scip::messagehdlr, SCIP_Stat::nexternalsolsfound, SCIP_Set::nheurs, SCIP_Stat::nlpbestsolsfound, SCIP_Stat::nlpsolsfound, SCIP_Stat::npsbestsolsfound, SCIP_Stat::npssolsfound, SCIP_Stat::nrelaxbestsolsfound, SCIP_Stat::nrelaxsolsfound, SCIP_Stat::nsbbestsolsfound, SCIP_Stat::nsbsolsfound, NULL, SCIP_Stat::pseudosoltime, SCIP_Stat::relaxsoltime, SCIP_Stat::sbsoltime, SCIP_CALL_ABORT, SCIP_LONGINT_FORMAT, SCIPcheckStage(), SCIPclockGetTime(), SCIPdivesetGetAvgDepth(), SCIPdivesetGetAvgSolutionDepth(), SCIPdivesetGetMaxDepth(), SCIPdivesetGetMaxSolutionDepth(), SCIPdivesetGetMinDepth(), SCIPdivesetGetMinSolutionDepth(), SCIPdivesetGetName(), SCIPdivesetGetNBacktracks(), SCIPdivesetGetNCalls(), SCIPdivesetGetNConflicts(), SCIPdivesetGetNLPIterations(), SCIPdivesetGetNProbingNodes(), SCIPdivesetGetNSols(), SCIPdivesetGetNSolutionCalls(), SCIPheurGetDivesets(), SCIPheurGetName(), SCIPheurGetNBestSolsFound(), SCIPheurGetNCalls(), SCIPheurGetNDivesets(), SCIPheurGetNSolsFound(), SCIPheurGetSetupTime(), SCIPheurGetTime(), SCIPmessageFPrintInfo(), SCIPsetSortHeursName(), Scip::set, Scip::stat, Scip::tree, and TRUE.

Referenced by SCIP_DECL_TABLEOUTPUT().

◆ SCIPprintCompressionStatistics()

void SCIPprintCompressionStatistics ( SCIP scip,
FILE *  file 
)

◆ SCIPprintLPStatistics()

◆ SCIPprintNLPStatistics()

void SCIPprintNLPStatistics ( SCIP scip,
FILE *  file 
)

outputs NLP statistics

Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
fileoutput file

Definition at line 3251 of file scip_solvingstats.c.

References FALSE, Scip::messagehdlr, Scip::nlp, SCIP_Stat::nlpsoltime, SCIP_Stat::nnlps, NULL, SCIP_CALL_ABORT, SCIP_LONGINT_FORMAT, SCIPcheckStage(), SCIPclockGetTime(), SCIPmessageFPrintInfo(), Scip::stat, and TRUE.

Referenced by SCIP_DECL_TABLEOUTPUT().

◆ SCIPprintRelaxatorStatistics()

void SCIPprintRelaxatorStatistics ( SCIP scip,
FILE *  file 
)

outputs relaxator statistics

Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
fileoutput file

Definition at line 3277 of file scip_solvingstats.c.

References FALSE, Scip::messagehdlr, SCIP_Set::nrelaxs, NULL, SCIP_Set::relaxs, SCIP_CALL_ABORT, SCIP_LONGINT_FORMAT, SCIPcheckStage(), SCIPmessageFPrintInfo(), SCIPrelaxGetName(), SCIPrelaxGetNCalls(), SCIPrelaxGetTime(), SCIPsetSortRelaxsName(), Scip::set, and TRUE.

Referenced by SCIP_DECL_TABLEOUTPUT().

◆ SCIPprintTreeStatistics()

◆ SCIPprintRootStatistics()

void SCIPprintRootStatistics ( SCIP scip,
FILE *  file 
)

◆ SCIPprintSolutionStatistics()

void SCIPprintSolutionStatistics ( SCIP scip,
FILE *  file 
)

◆ SCIPprintConcsolverStatistics()

◆ SCIPprintBendersStatistics()

◆ SCIPprintStatistics()

SCIP_RETCODE SCIPprintStatistics ( SCIP scip,
FILE *  file 
)

outputs solving statistics

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Note
If limits have been changed between the solution and the call to this function, the status is recomputed and thus may to correspond to the original status.
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
fileoutput file (or NULL for standard output)

Definition at line 3776 of file scip_solvingstats.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPgetNTables(), SCIPgetStage(), SCIPgetTables(), SCIPsortPtr(), SCIPtableGetEarliestStage(), SCIPtableIsActive(), SCIPtableOutput(), Scip::set, SCIP_Set::tablessorted, and TRUE.

Referenced by applyRepair(), execmain(), fromCommandLine(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIPapplyProximity(), SCIPapplyRedSize(), setupAndSolve(), setupAndSolveSubscip(), setupAndSolveSubscipCrossover(), setupAndSolveSubscipLocalbranching(), setupAndSolveSubscipMutation(), setupAndSolveSubscipOneopt(), setupAndSolveSubscipRapidlearning(), solveSubproblem(), solveSubscip(), solveSubscipLpface(), wrapperDins(), and wrapperRins().

◆ SCIPprintReoptStatistics()

◆ SCIPprintBranchingStatistics()

SCIP_RETCODE SCIPprintBranchingStatistics ( SCIP scip,
FILE *  file 
)

outputs history statistics about branchings on variables

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
fileoutput file (or NULL for standard output)

Definition at line 3891 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::glbhistory, Scip::messagehdlr, SCIP_Prob::nvars, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_CALL, SCIP_INVALIDCALL, SCIP_LOCKTYPE_MODEL, SCIP_LONGINT_FORMAT, SCIP_OKAY, SCIP_Real, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_INIT, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPallocBufferArray, SCIPcheckStage(), SCIPerrorMessage, SCIPfreeBufferArray, SCIPgetVarNStrongbranchs(), SCIPhistoryGetCutoffSum(), SCIPhistoryGetInferenceSum(), SCIPhistoryGetNBranchings(), SCIPhistoryGetPseudocost(), SCIPhistoryGetPseudocostCount(), SCIPhistoryGetPseudocostVariance(), SCIPmessageFPrintInfo(), SCIPvarGetAvgBranchdepth(), SCIPvarGetAvgCutoffs(), SCIPvarGetAvgInferences(), SCIPvarGetBranchFactor(), SCIPvarGetBranchPriority(), SCIPvarGetName(), SCIPvarGetNBranchings(), SCIPvarGetNLocksDownType(), SCIPvarGetNLocksUpType(), SCIPvarGetPseudocost(), SCIPvarGetPseudocostCount(), SCIPvarGetPseudocostVariance(), Scip::set, SCIP_Set::stage, Scip::stat, Scip::transprob, TRUE, and SCIP_Prob::vars.

Referenced by SCIP_DECL_DIALOGEXEC().

◆ SCIPprintDisplayLine()

SCIP_RETCODE SCIPprintDisplayLine ( SCIP scip,
FILE *  file,
SCIP_VERBLEVEL  verblevel,
SCIP_Bool  endline 
)

outputs node information display line

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure
fileoutput file (or NULL for standard output)
verblevelminimal verbosity level to actually display the information line
endlineshould the line be terminated with a newline symbol?

Definition at line 4006 of file scip_solvingstats.c.

References SCIP_Set::disp_verblevel, FALSE, Scip::messagehdlr, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPdispPrintLine(), Scip::set, Scip::stat, and TRUE.

Referenced by SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPsyncstoreFinishSync(), and solveComponent().

◆ SCIPgetNImplications()

int SCIPgetNImplications ( SCIP scip)

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

Returns
the total number of implications between variables that are stored in the implication graph
Precondition
This method can be called if SCIP is in one of the following stages:
Parameters
scipSCIP data structure

Definition at line 4036 of file scip_solvingstats.c.

References FALSE, SCIP_Stat::nimplications, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.

Referenced by removeConstraintsDueToNegCliques(), separateOddCycles(), and shortenConss().

◆ SCIPwriteImplicationConflictGraph()

SCIP_RETCODE SCIPwriteImplicationConflictGraph ( SCIP scip,
const char *  filename 
)

stores conflict graph of binary variables' implications into a file, which can be used as input for the DOT tool

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if SCIP is in one of the following stages:
Deprecated:
because binary implications are now stored as cliques

stores conflict graph of binary variables' implications into a file, which can be used as input for the DOT tool

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if SCIP is in one of the following stages:
Deprecated:
because binary implications are now stored as cliques, please use SCIPwriteCliqueGraph() instead
Parameters
scipSCIP data structure
filenamefile name, or NULL for stdout

Definition at line 4064 of file scip_solvingstats.c.

References SCIP_OKAY, and SCIPwarningMessage().

◆ SCIPstoreSolutionGap()