Detailed Description
methods to query statistics about the solving process
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
-
scip SCIP data structure
Definition at line 130 of file scip_solvingstats.c.
References FALSE, SCIP_Stat::nruns, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.
Referenced by applyRepair(), computeMinDistance(), copyCuts(), determineSymmetry(), findCumulativeConss(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_PRESOLEXEC(), 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
-
scip SCIP data structure
Definition at line 157 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
-
scip SCIP data structure nnodes number of processed nodes to add to the statistics
Definition at line 184 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
-
scip SCIP data structure
Definition at line 213 of file scip_solvingstats.c.
References FALSE, SCIP_Stat::nnodes, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.
Referenced by addOrbitope(), applyCliqueFixings(), applyDomainChanges(), applyVbounds(), branchBalancedCardinality(), calcNodeLimit(), checkEstimateCriterion(), checkRankOneTransition(), determineLimits(), ensureMemorySize(), execRelpscost(), getBranchingDecisionStrongbranchSOS1(), getEstimCompletion(), identifyOrbitalSymmetriesBroken(), isBranchFurtherLoopDecrement(), isUseOldBranching(), predictTotalSizeTreeProfile(), propagateCons(), runVanillaStrongBranching(), 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(), setupAndSolveSubscipTrustregion(), solveComponent(), solveSubproblem(), solveSubscip(), 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
-
scip SCIP data structure
Definition at line 240 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
-
scip SCIP data structure
Definition at line 267 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
-
scip SCIP data structure
Definition at line 294 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
-
scip Scip data structure
Definition at line 321 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().
◆ SCIPgetNRootboundChgs()
int SCIPgetNRootboundChgs | ( | SCIP * | scip | ) |
gets number of global bound changes
- Returns
- number of global bound changes
- Precondition
- This method can be called if SCIP is in one of the following stages:
- Parameters
-
scip Scip data structure
Definition at line 348 of file scip_solvingstats.c.
References FALSE, SCIP_Stat::nrootboundchgs, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.
Referenced by setupAndSolveSubscipRapidlearning().
◆ SCIPgetNRootboundChgsRun()
int SCIPgetNRootboundChgsRun | ( | SCIP * | scip | ) |
gets number of global bound changes applied in the current run
- Returns
- number of global bound changes
- Precondition
- This method can be called if SCIP is in one of the following stages:
- Parameters
-
scip Scip data structure
Definition at line 375 of file scip_solvingstats.c.
References FALSE, SCIP_Stat::nrootboundchgsrun, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.
◆ 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
-
scip SCIP data structure
Definition at line 402 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()
SCIP_Longint SCIPgetNLPs | ( | SCIP * | scip | ) |
gets total 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:
- Parameters
-
scip SCIP data structure
Definition at line 429 of file scip_solvingstats.c.
References FALSE, SCIP_Stat::nlps, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.
Referenced by addCut(), computeRltCut(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), estimateBivariateQuotient(), estimateUnivariateQuotient(), generateCutSolDisagg(), generateCutSolSOC(), generateDisjCutSOS1(), generateZerohalfCut(), isUseOldBranching(), performLPRandRounding(), performLPSimpleRounding(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_SEPAEXECLP(), SCIPcalcFlowCover(), separateGLS(), separateMcCormickImplicit(), and setupAndSolveSubscipRapidlearning().
◆ 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
-
scip SCIP data structure
Definition at line 448 of file scip_solvingstats.c.
References FALSE, SCIP_Stat::nlpiterations, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.
Referenced by applyBoundHeur(), applyRepair(), applyVbounds(), filterExistingLP(), generateAndApplyBendersCuts(), getIterationsLeft(), getX(), performInteriorSolCutStrengthening(), SCIP_DECL_CONCSOLVEREXEC(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIPapplyProximity(), SCIPvarUpdatePseudocost(), setupAndSolveSubscipRapidlearning(), solveLP(), solveLp(), solveSubscip(), solveSubscipLpface(), and updateSubproblemStatQueue().
◆ 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
-
scip SCIP data structure
Definition at line 474 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
-
scip SCIP data structure
Definition at line 492 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_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
-
scip SCIP data structure
Definition at line 511 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
-
scip SCIP data structure
Definition at line 529 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
-
scip SCIP data structure
Definition at line 547 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
-
scip SCIP data structure
Definition at line 565 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
-
scip SCIP data structure
Definition at line 583 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
-
scip SCIP data structure
Definition at line 601 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
-
scip SCIP data structure
Definition at line 619 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
-
scip SCIP data structure
Definition at line 637 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
-
scip SCIP data structure
Definition at line 657 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
-
scip SCIP data structure
Definition at line 675 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
-
scip SCIP data structure
Definition at line 695 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
-
scip SCIP data structure
Definition at line 713 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
-
scip SCIP data structure
Definition at line 733 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
-
scip SCIP data structure
Definition at line 751 of file scip_solvingstats.c.
References FALSE, SCIP_Stat::nnodelps, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.
◆ SCIPgetNNodeZeroIterationLPs()
SCIP_Longint SCIPgetNNodeZeroIterationLPs | ( | SCIP * | scip | ) |
gets total number of LPs solved in 0 iterations for node relaxations
- Returns
- the total number of LPs solved with 0 iteratins for node relaxations
- Precondition
- This method can be called if SCIP is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 769 of file scip_solvingstats.c.
References FALSE, SCIP_Stat::nnodezeroitlps, 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
-
scip SCIP data structure
Definition at line 787 of file scip_solvingstats.c.
References FALSE, SCIP_Stat::nnodelpiterations, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.
Referenced by execRelpscost(), getDivesetIterLimit(), getLPIterlimit(), SCIP_DECL_HEUREXEC(), and SCIP_DECL_NODESELSELECT().
◆ 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
-
scip SCIP data structure
Definition at line 805 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
-
scip SCIP data structure
Definition at line 823 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
-
scip SCIP data structure
Definition at line 841 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
-
scip SCIP data structure
Definition at line 859 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
-
scip SCIP data structure
Definition at line 877 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
-
scip SCIP data structure
Definition at line 895 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
-
scip SCIP data structure
Definition at line 913 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
-
scip SCIP data structure
Definition at line 931 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
-
scip SCIP data structure
Definition at line 947 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
-
scip SCIP data structure
Definition at line 965 of file scip_solvingstats.c.
References FALSE, NULL, 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
-
scip SCIP data structure
Definition at line 983 of file scip_solvingstats.c.
References FALSE, NULL, 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
-
scip SCIP data structure
Definition at line 1001 of file scip_solvingstats.c.
References FALSE, NULL, 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
-
scip SCIP data structure
Definition at line 1017 of file scip_solvingstats.c.
References FALSE, SCIP_Stat::nseparounds, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.
Referenced by SCIP_DECL_DISPOUTPUT(), and separateCuts().
◆ SCIPgetNCutsFound()
int SCIPgetNCutsFound | ( | SCIP * | scip | ) |
get total number of cuts found so far; this includes global cuts from the cut pool as often as they are separated
- Returns
- the total number of cuts found so far
- Precondition
- This method can be called if SCIP is in one of the following stages:
get total number of cuts added to the sepastore so far; this includes global cuts from the cut pool as often as they are separated
- Returns
- the total number of cuts added to the sepastore so far
- Precondition
- This method can be called if SCIP is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 1035 of file scip_solvingstats.c.
References FALSE, NULL, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPsepastoreGetNCutsAdded(), 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
-
scip SCIP data structure
Definition at line 1053 of file scip_solvingstats.c.
References FALSE, NULL, 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
-
scip SCIP data structure
Definition at line 1071 of file scip_solvingstats.c.
References FALSE, NULL, 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
-
scip SCIP data structure
Definition at line 1095 of file scip_solvingstats.c.
References Scip::conflict, FALSE, NULL, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPconflictGetNBoundexceedingLPConflictConss(), SCIPconflictGetNBoundexceedingLPReconvergenceConss(), SCIPconflictGetNDualproofsBndGlobal(), SCIPconflictGetNDualproofsInfGlobal(), 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
-
scip SCIP data structure
Definition at line 1130 of file scip_solvingstats.c.
References Scip::conflict, FALSE, NULL, 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
-
scip SCIP data structure
Definition at line 1154 of file scip_solvingstats.c.
References Scip::conflict, FALSE, NULL, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPconflictGetNAppliedConss(), and TRUE.
Referenced by SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_DISPOUTPUT(), and setupAndSolveSubscipRapidlearning().
◆ SCIPgetNConflictDualproofsApplied()
SCIP_Longint SCIPgetNConflictDualproofsApplied | ( | SCIP * | scip | ) |
get total number of dual proof constraints added to the problem
- Returns
- the total number of dual proof constraints added to the problem
- Precondition
- This method can be called if SCIP is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 1178 of file scip_solvingstats.c.
References Scip::conflict, FALSE, NULL, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPconflictGetNDualproofsBndSuccess(), SCIPconflictGetNDualproofsInfSuccess(), and TRUE.
Referenced by SCIP_DECL_DISPOUTPUT().
◆ 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
-
scip SCIP data structure
Definition at line 1203 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
-
scip SCIP data structure
Definition at line 1227 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
-
scip SCIP data structure
Definition at line 1251 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
-
scip SCIP data structure
Definition at line 1271 of file scip_solvingstats.c.
References FALSE, SCIP_Stat::nactiveconss, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.
◆ 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
-
scip SCIP data structure
Definition at line 1288 of file scip_solvingstats.c.
References FALSE, SCIP_Stat::nenabledconss, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.
Referenced by SCIP_DECL_DISPOUTPUT().
◆ SCIPgetAvgDualbound()
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
-
scip SCIP data structure
Definition at line 1306 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()
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
-
scip SCIP data structure
Definition at line 1325 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()
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
-
scip SCIP data structure
Definition at line 1349 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(), generateAndApplyBendersCuts(), runBenders(), SCIP_DECL_CONCSOLVERSYNCWRITE(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_TABLEOUTPUT(), SCIPbendersComputeSubproblemLowerbound(), SCIPcopyConcurrentSolvingStats(), SCIPgetGap(), SCIPperformGenericDivingAlgorithm(), SCIPprintSolutionStatistics(), SCIPstoreSolutionGap(), SCIPvalidateSolve(), setupAndSolveSubscipRapidlearning(), solveComponent(), solvePricingMINLP(), solveSubscip(), and writeBounds().
◆ SCIPgetLowerbound()
gets global lower (dual) bound in transformed problem
- Returns
- the global lower (dual) bound in transformed problem
- Precondition
- This method can be called if SCIP is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 1376 of file scip_solvingstats.c.
References FALSE, Scip::primal, SCIP_CALL_ABORT, SCIP_Real, SCIP_STAGE_INITSOLVE, SCIP_STATUS_INFEASIBLE, SCIP_STATUS_INFORUNBD, SCIP_STATUS_UNBOUNDED, SCIPcheckStage(), SCIPgetStatus(), SCIPinfinity(), SCIPtreeGetLowerbound(), Scip::set, SCIP_Set::stage, Scip::tree, TRUE, and SCIP_Primal::upperbound.
Referenced by addLocalbranchingConstraintAndObjcutoff(), applyOptcumulative(), applyVbounds(), computeCut(), createNLP(), createObjRow(), createSubproblem(), createSubscip(), doSolveSubMIP(), exitPresolve(), getObjectiveFactor(), getReward(), performInteriorSolCutStrengthening(), primalAddSol(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NODESELSELECT(), SCIPapplyProximity(), SCIPgetDualbound(), SCIPgetGap(), SCIPgetTransGap(), SCIPperformGenericDivingAlgorithm(), SCIPpriceLoop(), SCIPsolveIsStopped(), SCIPstoreSolutionGap(), setupAndSolveSubscip(), setupAndSolveSubscipCrossover(), setupAndSolveSubscipMutation(), setupSubproblem(), setupSubScip(), solveSubproblem(), subtreeSumGapComputeFromScratchEfficiently(), subtreeSumGapInsertChildren(), wrapperDins(), and wrapperRins().
◆ SCIPgetDualboundRoot()
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
-
scip SCIP data structure
Definition at line 1428 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()
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
-
scip SCIP data structure
Definition at line 1452 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()
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
-
scip SCIP data structure
Definition at line 1476 of file scip_solvingstats.c.
References FALSE, SCIP_Stat::firstlpdualbound, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::stat, and TRUE.
Referenced by SCIPprintRootStatistics().
◆ SCIPgetFirstLPLowerboundRoot()
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
-
scip SCIP data structure
Definition at line 1497 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()
the primal bound of the very first solution
- Parameters
-
scip SCIP data structure
Definition at line 1510 of file scip_solvingstats.c.
References SCIP_Stat::firstprimalbound, and Scip::stat.
Referenced by checkLogCriterion().
◆ SCIPgetPrimalbound()
gets global primal bound (objective value of best solution or user objective limit) for the original problem
- Returns
- the global primal bound (objective value of best solution or user objective limit) for the original problem
- Precondition
- This method can be called if SCIP is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 1532 of file scip_solvingstats.c.
References FALSE, Scip::origprob, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPgetUpperbound(), SCIPprobExternObjval(), Scip::set, Scip::transprob, and TRUE.
Referenced by applyDomainChanges(), calcGap(), checkLogCriterion(), checkOptimalSolution(), displayRelevantStats(), SCIP_DECL_CONCSOLVERSYNCWRITE(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_RELAXEXEC(), SCIPapplyProximity(), SCIPbendersExec(), SCIPgetDualboundRoot(), SCIPgetGap(), SCIPprintSolutionStatistics(), SCIPprintStage(), SCIPstoreSolutionGap(), SCIPvalidateSolve(), setupAndSolve(), setupAndSolveSubscip(), solveComponent(), subtreeSumGapInsertChildren(), subtreeSumGapUpdate(), transitionPhase3(), updateLogRegression(), and writeBounds().
◆ SCIPgetUpperbound()
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
-
scip SCIP data structure
Definition at line 1556 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 addLocalbranchingConstraintAndObjcutoff(), addNodesInformation(), aggregation(), applyOptcumulative(), calcGap(), checkLeavesBelowIncumbent(), computeCut(), createNLP(), createSubproblem(), createSubscip(), doSolveSubMIP(), executeDivingHeuristic(), executeLNSHeuristic(), exitPresolve(), getObjectiveFactor(), initRunStats(), isDisplaySol(), processNLPSol(), proposeFeasibleSolution(), releaseNodeFromDepthInfo(), SCIP_DECL_HEUREXEC(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPgetLowerboundRoot(), SCIPgetPrimalbound(), SCIPgetTransGap(), SCIPmakeSOS1sFeasible(), SCIPpriceLoop(), SCIPsolveCIP(), SCIPsolveIsStopped(), SCIPstoreSolutionGap(), SCIPtreemodelSelectCandidate(), setupAndSolve(), setupAndSolveSubscip(), setupAndSolveSubscipCrossover(), setupAndSolveSubscipMutation(), setupAndSolveSubscipRapidlearning(), setupSubScip(), solveSubNLP(), solveSubproblem(), subtreeSumGapComputeFromScratchEfficiently(), subtreeSumGapInsertChildren(), subtreeSumGapUpdate(), transferSolution(), updateObjUpperbound(), wrapperDins(), and wrapperRins().
◆ SCIPgetCutoffbound()
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
-
scip SCIP data structure
Definition at line 1586 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(), execGenVBounds(), execRelpscost(), executeBranchingRecursive(), performLPRandRounding(), performLPSimpleRounding(), performStrongbranchWithPropagation(), runVanillaStrongBranching(), 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(), separateCuts(), 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
-
scip SCIP data structure cutoffbound new cutoff bound
Definition at line 1614 of file scip_solvingstats.c.
References Scip::eventfilter, 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()
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
-
scip SCIP data structure
Definition at line 1646 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()
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
-
scip SCIP data structure
Definition at line 1669 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()
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
-
scip SCIP data structure
Definition at line 1703 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
-
scip SCIP data structure
Definition at line 1741 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
-
scip SCIP data structure
Definition at line 1768 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
-
scip SCIP data structure
Definition at line 1795 of file scip_solvingstats.c.
References FALSE, SCIP_Primal::nbestsolsfound, Scip::primal, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.
Referenced by executeDivingHeuristic(), SCIPperformGenericDivingAlgorithm(), and SCIPsolveIsStopped().
◆ SCIPgetAvgPseudocost()
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
-
scip SCIP data structure solvaldelta difference of variable's new LP value - old LP value
Definition at line 1812 of file scip_solvingstats.c.
References FALSE, SCIP_Stat::glbhistory, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPhistoryGetPseudocost(), Scip::stat, and TRUE.
◆ SCIPgetAvgPseudocostCurrentRun()
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
-
scip SCIP data structure solvaldelta difference of variable's new LP value - old LP value
Definition at line 1832 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
-
scip SCIP data structure dir branching direction (downwards, or upwards)
Definition at line 1850 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
-
scip SCIP data structure dir branching direction (downwards, or upwards)
Definition at line 1871 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
-
scip SCIP data structure dir branching direction (downwards, or upwards) onlycurrentrun use only history of current run?
Definition at line 1938 of file scip_solvingstats.c.
References FALSE, SCIP_Stat::glbhistory, SCIP_Stat::glbhistorycrun, NULL, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPhistoryGetPseudocostCount(), Scip::stat, and TRUE.
◆ SCIPgetAvgPseudocostScore()
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
-
scip SCIP data structure
Definition at line 1890 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
-
scip SCIP data structure branchdir the branching direction, up or down onlycurrentrun use only history of current run?
Definition at line 1913 of file scip_solvingstats.c.
References FALSE, SCIP_Stat::glbhistory, SCIP_Stat::glbhistorycrun, NULL, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPhistoryGetPseudocostVariance(), Scip::stat, and TRUE.
◆ SCIPgetAvgPseudocostScoreCurrentRun()
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
-
scip SCIP data structure
Definition at line 1964 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()
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
-
scip SCIP data structure
Definition at line 1987 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()
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
-
scip SCIP data structure
Definition at line 2012 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()
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
-
scip SCIP data structure
Definition at line 2037 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()
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
-
scip SCIP data structure
Definition at line 2062 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
-
scip SCIP data structure dir branching direction (downwards, or upwards)
Definition at line 2085 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
-
scip SCIP data structure dir branching direction (downwards, or upwards)
Definition at line 2105 of file scip_solvingstats.c.
References FALSE, SCIP_Stat::glbhistorycrun, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPhistoryGetAvgInferences(), Scip::stat, and TRUE.
◆ SCIPgetAvgInferenceScore()
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
-
scip SCIP data structure
Definition at line 2123 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()
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
-
scip SCIP data structure
Definition at line 2148 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
-
scip SCIP data structure dir branching direction (downwards, or upwards)
Definition at line 2171 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
-
scip SCIP data structure dir branching direction (downwards, or upwards)
Definition at line 2191 of file scip_solvingstats.c.
References FALSE, SCIP_Stat::glbhistorycrun, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPhistoryGetAvgCutoffs(), Scip::stat, and TRUE.
◆ SCIPgetAvgCutoffScore()
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
-
scip SCIP data structure
Definition at line 2209 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()
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
-
scip SCIP data structure
Definition at line 2232 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.
◆ SCIPgetAvgGMIeff()
returns the average normalized efficacy of a GMI cut over all variables
- Returns
- the average normalized efficacy of a GMI cut over all variables
- Precondition
- This method can be called if SCIP is in one of the following stages:
Increases the cumulative normalized efficacy of average (over all variables) GMI cuts
- Returns
- the average normalized efficacy of a GMI cut over all variables
- Precondition
- This method can be called if SCIP is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 2273 of file scip_solvingstats.c.
References FALSE, SCIP_Stat::glbhistory, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPhistoryGetAvgGMIeff(), Scip::stat, and TRUE.
◆ SCIPincAvgGMIeff()
returns the average normalized efficacy of a GMI cut over all variables
- Returns
- increases the average normalized efficacy of a GMI cut over all variables
- Precondition
- This method can be called if SCIP is in one of the following stages:
- Parameters
-
scip SCIP data structure gmieff average normalized GMI cut efficacy over all variables
Definition at line 2255 of file scip_solvingstats.c.
References FALSE, SCIP_Stat::glbhistory, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPhistoryIncGMIeffSum(), Scip::stat, and TRUE.
◆ SCIPgetDeterministicTime()
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
-
scip SCIP data structure
Definition at line 2292 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
-
scip SCIP data structure file output file (or NULL for standard output) extension file format (or NULL for default CIP format) genericnames using generic variable and constraint names?
Definition at line 2375 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(), runGastrans(), runPacking(), runSpring(), 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
-
scip SCIP data structure file output file (or NULL for standard output) extension file format (or NULL for default CIP format) genericnames using generic variable and constraint names?
Definition at line 2419 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
-
scip SCIP data structure file output file
Definition at line 2462 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()
void SCIPprintTimingStatistics | ( | SCIP * | scip, |
FILE * | file | ||
) |
outputs timing statistics
- Precondition
- This method can be called if SCIP is in one of the following stages:
- Parameters
-
scip SCIP data structure file output file
Definition at line 3975 of file scip_solvingstats.c.
References SCIP_Stat::copyclock, FALSE, SCIP_Stat::maxcopytime, Scip::messagehdlr, SCIP_Stat::mincopytime, SCIP_Stat::ncopies, NULL, SCIP_Stat::presolvingtime, SCIP_CALL_ABORT, SCIP_Real, SCIP_STAGE_PROBLEM, SCIPcheckStage(), SCIPclockGetTime(), SCIPgetReadingTime(), SCIPgetStage(), SCIPmessageFPrintInfo(), Scip::set, SCIP_Stat::solvingtime, Scip::stat, SCIP_Set::time_reading, and TRUE.
Referenced by SCIP_DECL_TABLEOUTPUT().
◆ 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
-
scip SCIP data structure file output file
Definition at line 2489 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
-
scip SCIP data structure file output file
Definition at line 2515 of file scip_solvingstats.c.
References Scip::cliquetable, FALSE, Scip::messagehdlr, SCIP_Stat::nnz, NULL, SCIP_CALL_ABORT, SCIP_LONGINT_FORMAT, SCIPcheckStage(), SCIPcliquetableGetNEntries(), SCIPmessageFPrintInfo(), SCIPprobPrintStatistics(), Scip::set, Scip::stat, 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
-
scip SCIP data structure file output file
Definition at line 2542 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()
void SCIPprintConstraintStatistics | ( | SCIP * | scip, |
FILE * | file | ||
) |
outputs constraint statistics
- Precondition
- This method can be called if SCIP is in one of the following stages:
- Parameters
-
scip SCIP data structure file output file
Definition at line 2660 of file scip_solvingstats.c.
References SCIP_Set::conshdlrs, FALSE, Scip::messagehdlr, SCIP_Set::nconshdlrs, NULL, SCIP_CALL_ABORT, SCIP_LONGINT_FORMAT, SCIPcheckStage(), SCIPconshdlrGetMaxNActiveConss(), SCIPconshdlrGetName(), SCIPconshdlrGetNCheckCalls(), SCIPconshdlrGetNChildren(), SCIPconshdlrGetNConssFound(), SCIPconshdlrGetNCutoffs(), SCIPconshdlrGetNCutsApplied(), SCIPconshdlrGetNCutsFound(), SCIPconshdlrGetNDomredsFound(), SCIPconshdlrGetNEnfoLPCalls(), SCIPconshdlrGetNEnfoPSCalls(), SCIPconshdlrGetNEnfoRelaxCalls(), SCIPconshdlrGetNPropCalls(), SCIPconshdlrGetNRespropCalls(), SCIPconshdlrGetNSepaCalls(), SCIPconshdlrGetStartNActiveConss(), SCIPconshdlrNeedsCons(), SCIPmessageFPrintInfo(), Scip::set, and TRUE.
Referenced by SCIP_DECL_TABLEOUTPUT().
◆ SCIPprintConstraintTimingStatistics()
void SCIPprintConstraintTimingStatistics | ( | SCIP * | scip, |
FILE * | file | ||
) |
outputs constraint timing statistics
- Precondition
- This method can be called if SCIP is in one of the following stages:
- Parameters
-
scip SCIP data structure file output file
Definition at line 2719 of file scip_solvingstats.c.
References SCIP_Set::conshdlrs, FALSE, Scip::messagehdlr, SCIP_Set::nconshdlrs, NULL, SCIP_CALL_ABORT, SCIP_Real, SCIPcheckStage(), SCIPconshdlrGetCheckTime(), SCIPconshdlrGetEnfoLPTime(), SCIPconshdlrGetEnfoPSTime(), SCIPconshdlrGetEnfoRelaxTime(), SCIPconshdlrGetMaxNActiveConss(), SCIPconshdlrGetName(), SCIPconshdlrGetPropTime(), SCIPconshdlrGetRespropTime(), SCIPconshdlrGetSepaTime(), SCIPconshdlrGetSetupTime(), SCIPconshdlrGetStrongBranchPropTime(), SCIPconshdlrNeedsCons(), SCIPmessageFPrintInfo(), Scip::set, and TRUE.
Referenced by SCIP_DECL_TABLEOUTPUT().
◆ SCIPprintPropagatorStatistics()
void SCIPprintPropagatorStatistics | ( | SCIP * | scip, |
FILE * | file | ||
) |
outputs propagator statistics
- Precondition
- This method can be called if SCIP is in one of the following stages:
- Parameters
-
scip SCIP data structure file output file
Definition at line 2780 of file scip_solvingstats.c.
References FALSE, Scip::messagehdlr, SCIP_Set::nprops, NULL, SCIP_Set::props, SCIP_CALL_ABORT, SCIP_LONGINT_FORMAT, SCIP_Real, SCIPcheckStage(), SCIPmessageFPrintInfo(), SCIPpropGetName(), SCIPpropGetNCalls(), SCIPpropGetNCutoffs(), SCIPpropGetNDomredsFound(), SCIPpropGetNRespropCalls(), SCIPpropGetPresolTime(), SCIPpropGetRespropTime(), SCIPpropGetSetupTime(), SCIPpropGetStrongBranchPropTime(), SCIPpropGetTime(), SCIPsetSortPropsName(), Scip::set, and TRUE.
Referenced by SCIP_DECL_TABLEOUTPUT().
◆ 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
-
scip SCIP data structure file output file
Definition at line 2843 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(), SCIPconflictGetNDualproofsBndGlobal(), SCIPconflictGetNDualproofsBndLocal(), SCIPconflictGetNDualproofsBndNonzeros(), SCIPconflictGetNDualproofsBndSuccess(), SCIPconflictGetNDualproofsInfGlobal(), SCIPconflictGetNDualproofsInfLocal(), SCIPconflictGetNDualproofsInfNonzeros(), SCIPconflictGetNDualproofsInfSuccess(), 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()
void SCIPprintSeparatorStatistics | ( | SCIP * | scip, |
FILE * | file | ||
) |
outputs separator statistics
Columns:
- RootCalls: The number of calls that happened at the root.
- FoundCuts: The total number of cuts generated by the separators. Note: Cutpool-FoundCuts \(= \sum_{i=1}^nsepas ( Foundcuts_i - DirectAdd_i )\).
- ViaPoolAdd: The total number of cuts added to the sepastore from the cutpool.
- DirectAdd: The total number of cuts added directly to the sepastore from the separator.
- Applied: The sum of all cuts from the separator that were applied to the LP.
- ViaPoolApp: The number of cuts that entered the sepastore from the cutpool that were applied to the LP.
- DirectApp: The number of cuts that entered the sepastore directly and were applied to the LP.
The number of cuts ViaPoolAdd + Directly should be equal to the number of cuts Filtered + Forced + Selected in the cutselector statistics.
- Note
- The following edge case may lead to over or undercounting of statistics: When SCIPapplyCutsProbing() is called, cuts are counted for the cut selection statistics, but not for the separator statistics. This happens, e.g., in the default plugin prop_obbt.c.
- Precondition
- This method can be called if SCIP is in one of the following stages:
- Parameters
-
scip SCIP data structure file output file
Definition at line 2992 of file scip_solvingstats.c.
References Scip::cutpool, FALSE, Scip::messagehdlr, SCIP_Set::nsepas, NULL, SCIP_CALL_ABORT, SCIP_LONGINT_FORMAT, SCIPcheckStage(), SCIPcutpoolGetMaxNCuts(), SCIPcutpoolGetNCalls(), SCIPcutpoolGetNCutsAdded(), SCIPcutpoolGetNCutsFound(), SCIPcutpoolGetNRootCalls(), SCIPcutpoolGetTime(), SCIPmessageFPrintInfo(), SCIPsepaGetName(), SCIPsepaGetNCalls(), SCIPsepaGetNConssFound(), SCIPsepaGetNCutoffs(), SCIPsepaGetNCutsAddedDirect(), SCIPsepaGetNCutsAddedViaPool(), SCIPsepaGetNCutsApplied(), SCIPsepaGetNCutsAppliedDirect(), SCIPsepaGetNCutsAppliedViaPool(), SCIPsepaGetNCutsFound(), SCIPsepaGetNDomredsFound(), SCIPsepaGetNRootCalls(), SCIPsepaGetParentsepa(), SCIPsepaGetSetupTime(), SCIPsepaGetTime(), SCIPsepaIsParentsepa(), SCIPsetSortSepasName(), SCIP_Set::sepas, Scip::set, and TRUE.
Referenced by SCIP_DECL_TABLEOUTPUT().
◆ SCIPprintCutselectorStatistics()
void SCIPprintCutselectorStatistics | ( | SCIP * | scip, |
FILE * | file | ||
) |
outputs cutselector statistics
- Precondition
- This method can be called if SCIP is in one of the following stages:
outputs cutselector statistics
Filtered = ViaPoolAdd(Separators) + DirectAdd(Separators) - Selected - Cuts(Constraints) Selected = Applied(Separators) + Applied(Constraints)
- Precondition
- This method can be called if SCIP is in one of the following stages:
- Parameters
-
scip SCIP data structure file output file
Definition at line 3079 of file scip_solvingstats.c.
References SCIP_Set::cutsels, FALSE, Scip::messagehdlr, SCIP_Set::ncutsels, NULL, SCIP_CALL_ABORT, SCIP_LONGINT_FORMAT, SCIPcheckStage(), SCIPcutselGetName(), SCIPcutselGetNCalls(), SCIPcutselGetNLocalCuts(), SCIPcutselGetNLocalCutsFiltered(), SCIPcutselGetNLocalForcedCuts(), SCIPcutselGetNRootCalls(), SCIPcutselGetNRootCuts(), SCIPcutselGetNRootCutsFiltered(), SCIPcutselGetNRootForcedCuts(), SCIPcutselGetSetupTime(), SCIPcutselGetTime(), SCIPmessageFPrintInfo(), SCIPsetSortCutsels(), Scip::set, and TRUE.
Referenced by SCIP_DECL_TABLEOUTPUT().
◆ SCIPprintPricerStatistics()
void SCIPprintPricerStatistics | ( | SCIP * | scip, |
FILE * | file | ||
) |
outputs pricer statistics
- Precondition
- This method can be called if SCIP is in one of the following stages:
- Parameters
-
scip SCIP data structure file output file
Definition at line 3120 of file scip_solvingstats.c.
References FALSE, Scip::messagehdlr, SCIP_Set::nactivepricers, NULL, SCIP_Set::pricers, Scip::pricestore, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPmessageFPrintInfo(), SCIPpricerGetName(), SCIPpricerGetNCalls(), SCIPpricerGetNVarsFound(), SCIPpricerGetSetupTime(), SCIPpricerGetTime(), SCIPpricestoreGetNProbPricings(), SCIPpricestoreGetNProbvarsFound(), SCIPpricestoreGetProbPricingTime(), SCIPsetSortPricersName(), Scip::set, and TRUE.
Referenced by SCIP_DECL_TABLEOUTPUT().
◆ SCIPprintBranchruleStatistics()
void SCIPprintBranchruleStatistics | ( | SCIP * | scip, |
FILE * | file | ||
) |
outputs branching rule statistics
- Precondition
- This method can be called if SCIP is in one of the following stages:
- Parameters
-
scip SCIP data structure file output file
Definition at line 3158 of file scip_solvingstats.c.
References SCIP_Set::branchrules, FALSE, Scip::messagehdlr, SCIP_Set::nbranchrules, NULL, SCIP_CALL_ABORT, SCIP_LONGINT_FORMAT, SCIPbranchruleGetName(), SCIPbranchruleGetNChildren(), SCIPbranchruleGetNConssFound(), SCIPbranchruleGetNCutoffs(), SCIPbranchruleGetNCutsFound(), SCIPbranchruleGetNDomredsFound(), SCIPbranchruleGetNExternCalls(), SCIPbranchruleGetNLPCalls(), SCIPbranchruleGetNPseudoCalls(), SCIPbranchruleGetSetupTime(), SCIPbranchruleGetTime(), SCIPcheckStage(), SCIPmessageFPrintInfo(), SCIPsetSortBranchrulesName(), Scip::set, and TRUE.
Referenced by SCIP_DECL_TABLEOUTPUT().
◆ 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
-
scip SCIP data structure file output file
Definition at line 3201 of file scip_solvingstats.c.
References FALSE, SCIP_Set::heurs, SCIP_Stat::lpsoltime, Scip::messagehdlr, SCIP_Set::misc_showdivingstats, 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_DIVECONTEXT_ADAPTIVE, SCIP_DIVECONTEXT_SCHEDULER, SCIP_DIVECONTEXT_SINGLE, 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 | ||
) |
outputs compression statistics
- Precondition
- This method can be called if SCIP is in one of the following stages:
- Parameters
-
scip SCIP data structure file output file
Definition at line 3321 of file scip_solvingstats.c.
References SCIP_Set::comprs, FALSE, Scip::messagehdlr, SCIP_Set::ncomprs, NULL, SCIP_Set::reopt_enable, SCIP_CALL_ABORT, SCIP_LONGINT_FORMAT, SCIPcheckStage(), SCIPcomprGetName(), SCIPcomprGetNCalls(), SCIPcomprGetNFound(), SCIPcomprGetSetupTime(), SCIPcomprGetTime(), SCIPmessageFPrintInfo(), SCIPsetSortComprsName(), Scip::set, and TRUE.
Referenced by SCIP_DECL_TABLEOUTPUT().
◆ SCIPprintLPStatistics()
void SCIPprintLPStatistics | ( | SCIP * | scip, |
FILE * | file | ||
) |
outputs LP statistics
- Precondition
- This method can be called if SCIP is in one of the following stages:
- Parameters
-
scip SCIP data structure file output file
Definition at line 3358 of file scip_solvingstats.c.
References SCIP_Stat::barrierlptime, SCIP_Stat::barrierzeroittime, SCIP_Stat::conflictlptime, SCIP_Stat::divinglptime, SCIP_Stat::duallptime, SCIP_Stat::dualzeroittime, FALSE, SCIP_Stat::lexduallptime, Scip::lp, Scip::messagehdlr, SCIP_Stat::nbarrierlpiterations, SCIP_Stat::nbarrierlps, SCIP_Stat::nbarrierzeroitlps, SCIP_Stat::nconflictlpiterations, SCIP_Stat::nconflictlps, SCIP_Stat::ndivinglpiterations, SCIP_Stat::ndivinglps, SCIP_Stat::nduallpiterations, SCIP_Stat::nduallps, SCIP_Stat::ndualzeroitlps, SCIP_Stat::nlexduallpiterations, SCIP_Stat::nlexduallps, SCIP_Stat::nprimallpiterations, SCIP_Stat::nprimallps, SCIP_Stat::nprimalzeroitlps, SCIP_Stat::nresolveinstablelpiters, SCIP_Stat::nresolveinstablelps, SCIP_Stat::nrootsblpiterations, SCIP_Stat::nrootstrongbranchs, SCIP_Stat::nsblpiterations, SCIP_Stat::nsbtimesiterlimhit, SCIP_Stat::nstrongbranchs, NULL, SCIP_Stat::primallptime, SCIP_Stat::primalzeroittime, SCIP_Stat::resolveinstablelptime, SCIP_CALL_ABORT, SCIP_LONGINT_FORMAT, SCIP_Real, SCIPcheckStage(), SCIPclockGetTime(), SCIPmessageFPrintInfo(), Scip::stat, SCIP_Stat::strongbranchtime, and TRUE.
Referenced by SCIP_DECL_TABLEOUTPUT().
◆ 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
-
scip SCIP data structure file output file
Definition at line 3474 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(), SCIPgetNLPNlRowsStat(), 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
-
scip SCIP data structure file output file
Definition at line 3510 of file scip_solvingstats.c.
References FALSE, Scip::messagehdlr, SCIP_Set::nrelaxs, NULL, SCIP_Set::relaxs, SCIP_CALL_ABORT, SCIP_LONGINT_FORMAT, SCIPcheckStage(), SCIPmessageFPrintInfo(), SCIPrelaxGetImprovedLowerboundTime(), SCIPrelaxGetNAddedConss(), SCIPrelaxGetName(), SCIPrelaxGetNCalls(), SCIPrelaxGetNCutoffs(), SCIPrelaxGetNImprovedLowerbound(), SCIPrelaxGetNReducedDomains(), SCIPrelaxGetNSeparatedCuts(), SCIPrelaxGetTime(), SCIPsetSortRelaxsName(), Scip::set, and TRUE.
Referenced by SCIP_DECL_TABLEOUTPUT().
◆ SCIPprintTreeStatistics()
void SCIPprintTreeStatistics | ( | SCIP * | scip, |
FILE * | file | ||
) |
outputs tree statistics
- Precondition
- This method can be called if SCIP is in one of the following stages:
- Parameters
-
scip SCIP data structure file output file
Definition at line 3552 of file scip_solvingstats.c.
References FALSE, SCIP_Stat::maxdepth, SCIP_Stat::maxtotaldepth, Scip::messagehdlr, SCIP_Stat::nactivatednodes, SCIP_Stat::nbacktracks, SCIP_Stat::ndeactivatednodes, SCIP_Stat::ndelayedcutoffs, SCIP_Stat::nearlybacktracks, SCIP_Stat::nfeasleaves, SCIP_Stat::ninfeasleaves, SCIP_Stat::ninternalnodes, SCIP_Stat::nnodes, SCIP_Stat::nnodesaboverefbound, SCIP_Stat::nobjleaves, SCIP_Stat::nodeactivationtime, SCIP_Stat::nrepropboundchgs, SCIP_Stat::nrepropcutoffs, SCIP_Stat::nreprops, SCIP_Stat::nruns, SCIP_Stat::ntotalinternalnodes, SCIP_Stat::ntotalnodes, NULL, SCIP_CALL_ABORT, SCIP_LONGINT_FORMAT, SCIP_Real, SCIPcheckStage(), SCIPclockGetTime(), SCIPmessageFPrintInfo(), SCIPtreeGetNNodes(), Scip::stat, Scip::tree, and TRUE.
Referenced by SCIP_DECL_TABLEOUTPUT().
◆ SCIPprintRootStatistics()
void SCIPprintRootStatistics | ( | SCIP * | scip, |
FILE * | file | ||
) |
outputs root statistics
- Precondition
- This method can be called if SCIP is in one of the following stages:
- Parameters
-
scip SCIP data structure file output file
Definition at line 3910 of file scip_solvingstats.c.
References FALSE, Scip::messagehdlr, SCIP_Stat::nrootfirstlpiterations, SCIP_Stat::nrootlpiterations, NULL, Scip::primal, REALABS, SCIP_Stat::rootlpbestestimate, SCIP_CALL_ABORT, SCIP_INVALID, SCIP_LONGINT_FORMAT, SCIP_Real, SCIPcheckStage(), SCIPgetDualboundRoot(), SCIPgetFirstLPDualboundRoot(), SCIPgetFirstLPTime(), SCIPmessageFPrintInfo(), SCIPretransformObj(), SCIPsetIsInfinity(), Scip::set, Scip::stat, and TRUE.
Referenced by SCIP_DECL_TABLEOUTPUT().
◆ SCIPprintSolutionStatistics()
void SCIPprintSolutionStatistics | ( | SCIP * | scip, |
FILE * | file | ||
) |
outputs solution statistics
- Precondition
- This method can be called if SCIP is in one of the following stages:
- Parameters
-
scip SCIP data structure file output file
Definition at line 3602 of file scip_solvingstats.c.
References BMSclearMemoryArray, FALSE, SCIP_Stat::firstprimalbound, SCIP_Stat::firstprimaldepth, SCIP_Stat::firstprimalheur, SCIP_Stat::firstprimaltime, SCIP_Stat::firstsolgap, SCIP_Stat::lastsolgap, MAX, Scip::messagehdlr, SCIP_Set::misc_calcintegral, SCIP_Set::misc_referencevalue, SCIP_Primal::nbestsolsfound, SCIP_Primal::nlimsolsfound, SCIP_Stat::nnodesbeforefirst, SCIP_Stat::nrunsbeforefirst, SCIP_Primal::nsolsfound, NULL, Scip::origprob, Scip::primal, REALABS, SCIP_Bool, SCIP_CALL_ABORT, SCIP_INVALID, SCIP_LONGINT_FORMAT, SCIP_MAXSTRLEN, SCIP_Real, SCIP_STAGE_SOLVED, SCIP_STATUS_INFEASIBLE, SCIP_STATUS_INFORUNBD, SCIP_STATUS_UNBOUNDED, SCIPcheckStage(), SCIPgetDualbound(), SCIPgetGap(), SCIPgetPrimalbound(), SCIPgetSolvingTime(), SCIPgetStage(), SCIPgetStatus(), SCIPheurGetName(), SCIPisFeasZero(), SCIPisInfinity(), SCIPisLE(), SCIPmessageFPrintInfo(), SCIPretransformObj(), SCIPsetIsInfinity(), SCIPsnprintf(), SCIPsolGetDepth(), SCIPsolGetHeur(), SCIPsolGetNodenum(), SCIPsolGetObj(), SCIPsolGetRunnum(), SCIPsolGetTime(), SCIPstatGetDualReferenceIntegral(), SCIPstatGetPrimalDualIntegral(), SCIPstatGetPrimalReferenceIntegral(), Scip::set, SCIP_Primal::sols, SCIP_Set::stage, Scip::stat, Scip::transprob, and TRUE.
Referenced by SCIP_DECL_TABLEOUTPUT().
◆ SCIPprintConcsolverStatistics()
void SCIPprintConcsolverStatistics | ( | SCIP * | scip, |
FILE * | file | ||
) |
outputs concurrent solver statistics
- Precondition
- This method can be called if SCIP is in one of the following stages:
- Parameters
-
scip SCIP data structure file output file
Definition at line 3804 of file scip_solvingstats.c.
References FALSE, Scip::messagehdlr, NULL, SCIP_CALL_ABORT, SCIP_LONGINT_FORMAT, SCIPcheckStage(), SCIPconcsolverGetName(), SCIPconcsolverGetNLPIterations(), SCIPconcsolverGetNNodes(), SCIPconcsolverGetNSolsRecvd(), SCIPconcsolverGetNSolsShared(), SCIPconcsolverGetNTighterBnds(), SCIPconcsolverGetNTighterIntBnds(), SCIPconcsolverGetSolvingTime(), SCIPconcsolverGetSyncTime(), SCIPgetConcurrentSolvers(), SCIPgetNConcurrentSolvers(), SCIPmessageFPrintInfo(), SCIPsyncstoreGetWinner(), SCIPsyncstoreIsInitialized(), Scip::set, Scip::syncstore, and TRUE.
Referenced by SCIP_DECL_TABLEOUTPUT().
◆ SCIPprintBendersStatistics()
void SCIPprintBendersStatistics | ( | SCIP * | scip, |
FILE * | file | ||
) |
outputs Benders' decomposition statistics
- Precondition
- This method can be called if SCIP is in one of the following stages:
display Benders' decomposition statistics
- Parameters
-
scip SCIP data structure file output file
Definition at line 3848 of file scip_solvingstats.c.
References SCIP_Set::benders, FALSE, Scip::messagehdlr, NULL, SCIP_CALL_ABORT, SCIP_LONGINT_FORMAT, SCIPbenderscutGetName(), SCIPbenderscutGetNCalls(), SCIPbenderscutGetNFound(), SCIPbenderscutGetSetupTime(), SCIPbenderscutGetTime(), SCIPbendersGetBenderscuts(), SCIPbendersGetName(), SCIPbendersGetNBenderscuts(), SCIPbendersGetNCalls(), SCIPbendersGetNCutsFound(), SCIPbendersGetNStrengthenCalls(), SCIPbendersGetNStrengthenCutsFound(), SCIPbendersGetNStrengthenFails(), SCIPbendersGetNTransferredCuts(), SCIPbendersGetSetupTime(), SCIPbendersGetTime(), SCIPbendersIsActive(), SCIPcheckStage(), SCIPgetBenders(), SCIPgetNActiveBenders(), SCIPgetNBenders(), SCIPmessageFPrintInfo(), Scip::set, and TRUE.
Referenced by SCIP_DECL_TABLEOUTPUT().
◆ SCIPprintExpressionHandlerStatistics()
void SCIPprintExpressionHandlerStatistics | ( | SCIP * | scip, |
FILE * | file | ||
) |
outputs expression handler statistics
- Precondition
- This method can be called if SCIP is in one of the following stages:
- Parameters
-
scip SCIP data structure file output file
Definition at line 4037 of file scip_solvingstats.c.
References SCIP_Set::exprhdlrs, FALSE, Scip::messagehdlr, SCIP_Set::nexprhdlrs, NULL, SCIP_Bool, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPexprhdlrGetEstimateTime(), SCIPexprhdlrGetIntevalTime(), SCIPexprhdlrGetName(), SCIPexprhdlrGetNBranchings(), SCIPexprhdlrGetNCreated(), SCIPexprhdlrGetNCutoffs(), SCIPexprhdlrGetNDomainReductions(), SCIPexprhdlrGetNEstimateCalls(), SCIPexprhdlrGetNIntevalCalls(), SCIPexprhdlrGetNReversepropCalls(), SCIPexprhdlrGetNSimplifications(), SCIPexprhdlrGetNSimplifyCalls(), SCIPexprhdlrGetReversepropTime(), SCIPexprhdlrGetSimplifyTime(), SCIPmessageFPrintInfo(), Scip::set, and TRUE.
Referenced by SCIP_DECL_TABLEOUTPUT().
◆ SCIPprintNLPIStatistics()
void SCIPprintNLPIStatistics | ( | SCIP * | scip, |
FILE * | file | ||
) |
outputs NLPI statistics
- Precondition
- This method can be called if SCIP is in one of the following stages:
- Parameters
-
scip SCIP data structure file output file
Definition at line 4096 of file scip_solvingstats.c.
References FALSE, Scip::messagehdlr, SCIP_Set::nlpis, SCIP_Set::nnlpis, NULL, SCIP_Bool, SCIP_CALL_ABORT, SCIP_Longint, SCIP_LONGINT_FORMAT, SCIP_NLPSOLSTAT_GLOBOPT, SCIP_NLPSOLSTAT_UNKNOWN, SCIP_NLPTERMSTAT_OKAY, SCIP_NLPTERMSTAT_OTHER, SCIP_Real, SCIPcheckStage(), SCIPmessageFPrintInfo(), SCIPnlpiGetEvalTime(), SCIPnlpiGetName(), SCIPnlpiGetNIterations(), SCIPnlpiGetNProblems(), SCIPnlpiGetNSolStat(), SCIPnlpiGetNSolves(), SCIPnlpiGetNTermStat(), SCIPnlpiGetProblemTime(), SCIPnlpiGetSolveTime(), Scip::set, SCIP_Set::time_nlpieval, and TRUE.
Referenced by SCIP_DECL_TABLEOUTPUT().
◆ 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
-
scip SCIP data structure file output file (or NULL for standard output)
Definition at line 4190 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(), executeLNSHeuristic(), fromAmpl(), fromCommandLine(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIPapplyProximity(), SCIPapplyRedSize(), setupAndSolve(), setupAndSolveSubscip(), setupAndSolveSubscipCrossover(), setupAndSolveSubscipLocalbranching(), setupAndSolveSubscipMutation(), setupAndSolveSubscipOneopt(), setupAndSolveSubscipRapidlearning(), setupAndSolveSubscipTrustregion(), solveSubNLP(), solveSubproblem(), solveSubscip(), solveSubscipLpface(), wrapperDins(), and wrapperRins().
◆ SCIPprintReoptStatistics()
SCIP_RETCODE SCIPprintReoptStatistics | ( | SCIP * | scip, |
FILE * | file | ||
) |
outputs reoptimization 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.
- Precondition
- This method can be called if SCIP is in one of the following stages:
- Parameters
-
scip SCIP data structure file output file (or NULL for standard output)
Definition at line 4243 of file scip_solvingstats.c.
References FALSE, Scip::messagehdlr, SCIP_Stat::nreoptruns, NULL, SCIP_Stat::presolvingtimeoverall, Scip::reopt, SCIP_Set::reopt_enable, SCIP_Stat::reoptupdatetime, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPcheckStage(), SCIPclockGetTime(), SCIPmessageFPrintInfo(), SCIPreoptGetFirstRestarts(), SCIPreoptGetLastRestarts(), SCIPreoptGetNRestartsGlobal(), SCIPreoptGetNTotalCutoffReoptnodes(), SCIPreoptGetNTotalFeasNodes(), SCIPreoptGetNTotalInfNodes(), SCIPreoptGetNTotalPrunedNodes(), SCIPreoptGetNTotalRestartsLocal(), SCIPreoptGetSavingtime(), Scip::set, SCIP_Stat::solvingtimeoverall, Scip::stat, and TRUE.
Referenced by SCIP_DECL_DIALOGEXEC().
◆ 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
-
scip SCIP data structure file output file (or NULL for standard output)
Definition at line 4324 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
-
scip SCIP data structure file output file (or NULL for standard output) verblevel minimal verbosity level to actually display the information line endline should the line be terminated with a newline symbol?
Definition at line 4439 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 generateAndApplyBendersCuts(), runVanillaStrongBranching(), 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
-
scip SCIP data structure
Definition at line 4469 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
-
scip SCIP data structure filename file name, or NULL for stdout
Definition at line 4497 of file scip_solvingstats.c.
References SCIP_OKAY, and SCIPwarningMessage().
◆ SCIPstoreSolutionGap()
void SCIPstoreSolutionGap | ( | SCIP * | scip | ) |
update statistical information when a new solution was found
- Parameters
-
scip SCIP data structure
Definition at line 4508 of file scip_solvingstats.c.
References SCIP_Stat::firstsolgap, SCIP_Stat::lastsolgap, SCIP_Set::misc_calcintegral, SCIP_Primal::nsols, Scip::origprob, Scip::primal, SCIP_STAGE_SOLVING, SCIPcomputeGap(), SCIPgetDualbound(), SCIPgetLowerbound(), SCIPgetPrimalbound(), SCIPgetUpperbound(), SCIPsetEpsilon(), SCIPsetInfinity(), SCIPstatUpdatePrimalDualIntegrals(), Scip::set, SCIP_Set::stage, Scip::stat, and Scip::transprob.
Referenced by addCurrentSolution(), SCIPaddCurrentSol(), SCIPaddSol(), SCIPaddSolFree(), SCIPtransformProb(), SCIPtryCurrentSol(), SCIPtrySol(), SCIPtrySolFree(), solveNode(), and solveNodeLP().
◆ SCIPgetPrimalDualIntegral()
recomputes and returns the primal dual gap stored in the stats
- Parameters
-
scip SCIP data structure
Definition at line 4525 of file scip_solvingstats.c.
References Scip::origprob, SCIPstatGetPrimalDualIntegral(), Scip::set, Scip::stat, Scip::transprob, and TRUE.