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
- 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 182 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 211 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(), isBranchFurtherLoopDecrement(), isUseOldBranching(), orbitalReductionPropagateComponent(), 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 238 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 265 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 292 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 319 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 346 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 373 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 400 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 427 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 446 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 472 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 490 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 509 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 527 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 545 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 563 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 581 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 599 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 617 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 635 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 655 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 673 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 693 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 711 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 731 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 749 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 767 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 785 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 803 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 821 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 839 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 857 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 875 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 893 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 911 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 929 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 945 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 963 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 981 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 999 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 1015 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 1033 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 1051 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 1069 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 1093 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 1128 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 1152 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 1176 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 1201 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 1225 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 1249 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 1269 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 1286 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 1304 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 1323 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 1347 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(), SCIPsolveIsStopped(), 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 1374 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 1426 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 1450 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 1474 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 1495 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 1508 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 1530 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(), SCIPsolveIsStopped(), 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 1554 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 1584 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 1612 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 1644 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 1667 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 1701 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 1739 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 1766 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 1793 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 1810 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 1830 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 1848 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.
Referenced by branchingIntegralFirst().
◆ 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 1869 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 1936 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 1888 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 1911 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 1962 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 1985 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 2010 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 2035 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 2060 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 2083 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 2103 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 2121 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 2146 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 2169 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 2189 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 2207 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 2230 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 2269 of file scip_solvingstats.c.
References FALSE, SCIP_Stat::glbhistory, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPhistoryGetAvgGMIeff(), Scip::stat, and TRUE.
◆ SCIPincAvgGMIeff()
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 2251 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 2288 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 2371 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 2415 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 2458 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 3971 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 2485 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 2511 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 2538 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 2656 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 2715 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 2776 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 2839 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 2988 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 3075 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 3116 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 3154 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 3197 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 3317 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 3354 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 3470 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 3506 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 3548 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 3906 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 3598 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 3800 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 3844 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 4033 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 4092 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 4186 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 4239 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 4320 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 4435 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 4465 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 4493 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 4504 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 4521 of file scip_solvingstats.c.
References Scip::origprob, SCIPstatGetPrimalDualIntegral(), Scip::set, Scip::stat, Scip::transprob, and TRUE.