Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

methods to query statistics about the solving process

Functions

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

Function Documentation

◆ SCIPgetNRuns()

int SCIPgetNRuns ( SCIP scip)

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

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

Definition at line 42050 of file scip.c.

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

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

◆ SCIPgetNReoptRuns()

int SCIPgetNReoptRuns ( SCIP scip)

gets number of reoptimization runs performed, including the current run

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

Definition at line 42077 of file scip.c.

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

Referenced by SCIP_DECL_BRANCHEXECLP(), and SCIP_DECL_HEUREXEC().

◆ SCIPaddNNodes()

void SCIPaddNNodes ( SCIP scip,
SCIP_Longint  nnodes 
)

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

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

Definition at line 42104 of file scip.c.

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

Referenced by solveComponent().

◆ SCIPgetNNodes()

SCIP_Longint SCIPgetNNodes ( SCIP scip)

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

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

Definition at line 42133 of file scip.c.

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

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

◆ SCIPgetNTotalNodes()

SCIP_Longint SCIPgetNTotalNodes ( SCIP scip)

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

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

Definition at line 42160 of file scip.c.

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

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

◆ SCIPgetNFeasibleLeaves()

SCIP_Longint SCIPgetNFeasibleLeaves ( SCIP scip)

gets number of leaf nodes processed with feasible relaxation solution

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

Definition at line 42205 of file scip.c.

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

◆ SCIPgetNInfeasibleLeaves()

SCIP_Longint SCIPgetNInfeasibleLeaves ( SCIP scip)

gets number of infeasible leaf nodes processed

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

Definition at line 42232 of file scip.c.

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

Referenced by calcScore(), and SCIP_DECL_DISPOUTPUT().

◆ SCIPgetNObjlimLeaves()

SCIP_Longint SCIPgetNObjlimLeaves ( SCIP scip)

gets number of processed leaf nodes that hit LP objective limit

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

Definition at line 42259 of file scip.c.

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

Referenced by calcScore(), and SCIP_DECL_DISPOUTPUT().

◆ SCIPgetNDelayedCutoffs()

SCIP_Longint SCIPgetNDelayedCutoffs ( SCIP scip)

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

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

Definition at line 42287 of file scip.c.

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

Referenced by releaseNodeInformation(), and SCIP_DECL_EVENTINITSOL().

◆ SCIPgetNLPs()

◆ SCIPgetNLPIterations()

SCIP_Longint SCIPgetNLPIterations ( SCIP scip)

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

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

Definition at line 42333 of file scip.c.

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

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

◆ SCIPgetNNZs()

SCIP_Longint SCIPgetNNZs ( SCIP scip)

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

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

Definition at line 42359 of file scip.c.

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

Referenced by SCIPsyncstoreInit().

◆ SCIPgetNRootLPIterations()

SCIP_Longint SCIPgetNRootLPIterations ( SCIP scip)

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

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

Definition at line 42377 of file scip.c.

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

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

◆ SCIPgetNRootFirstLPIterations()

SCIP_Longint SCIPgetNRootFirstLPIterations ( SCIP scip)

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

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

Definition at line 42396 of file scip.c.

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

Referenced by SCIP_DECL_HEUREXEC().

◆ SCIPgetNPrimalLPs()

SCIP_Longint SCIPgetNPrimalLPs ( SCIP scip)

gets total number of primal LPs solved so far

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

Definition at line 42414 of file scip.c.

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

◆ SCIPgetNPrimalLPIterations()

SCIP_Longint SCIPgetNPrimalLPIterations ( SCIP scip)

gets total number of iterations used so far in primal simplex

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

Definition at line 42432 of file scip.c.

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

◆ SCIPgetNDualLPs()

SCIP_Longint SCIPgetNDualLPs ( SCIP scip)

gets total number of dual LPs solved so far

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

Definition at line 42450 of file scip.c.

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

◆ SCIPgetNDualLPIterations()

SCIP_Longint SCIPgetNDualLPIterations ( SCIP scip)

gets total number of iterations used so far in dual simplex

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

Definition at line 42468 of file scip.c.

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

◆ SCIPgetNBarrierLPs()

SCIP_Longint SCIPgetNBarrierLPs ( SCIP scip)

gets total number of barrier LPs solved so far

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

Definition at line 42486 of file scip.c.

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

◆ SCIPgetNBarrierLPIterations()

SCIP_Longint SCIPgetNBarrierLPIterations ( SCIP scip)

gets total number of iterations used so far in barrier algorithm

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

Definition at line 42504 of file scip.c.

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

◆ SCIPgetNResolveLPs()

SCIP_Longint SCIPgetNResolveLPs ( SCIP scip)

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

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

Definition at line 42522 of file scip.c.

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

◆ SCIPgetNResolveLPIterations()

SCIP_Longint SCIPgetNResolveLPIterations ( SCIP scip)

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

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

Definition at line 42542 of file scip.c.

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

◆ SCIPgetNPrimalResolveLPs()

SCIP_Longint SCIPgetNPrimalResolveLPs ( SCIP scip)

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

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

Definition at line 42560 of file scip.c.

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

◆ SCIPgetNPrimalResolveLPIterations()

SCIP_Longint SCIPgetNPrimalResolveLPIterations ( SCIP scip)

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

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

Definition at line 42580 of file scip.c.

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

◆ SCIPgetNDualResolveLPs()

SCIP_Longint SCIPgetNDualResolveLPs ( SCIP scip)

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

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

Definition at line 42598 of file scip.c.

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

Referenced by execRelpscost(), and getBranchingDecisionStrongbranchSOS1().

◆ SCIPgetNDualResolveLPIterations()

SCIP_Longint SCIPgetNDualResolveLPIterations ( SCIP scip)

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

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

Definition at line 42618 of file scip.c.

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

Referenced by execRelpscost(), and getBranchingDecisionStrongbranchSOS1().

◆ SCIPgetNNodeLPs()

SCIP_Longint SCIPgetNNodeLPs ( SCIP scip)

gets total number of LPs solved so far for node relaxations

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

Definition at line 42636 of file scip.c.

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

◆ SCIPgetNNodeLPIterations()

SCIP_Longint SCIPgetNNodeLPIterations ( SCIP scip)

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

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

Definition at line 42654 of file scip.c.

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

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

◆ SCIPgetNNodeInitLPs()

SCIP_Longint SCIPgetNNodeInitLPs ( SCIP scip)

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

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

Definition at line 42672 of file scip.c.

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

Referenced by execRelpscost(), and getBranchingDecisionStrongbranchSOS1().

◆ SCIPgetNNodeInitLPIterations()

SCIP_Longint SCIPgetNNodeInitLPIterations ( SCIP scip)

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

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

Definition at line 42690 of file scip.c.

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

Referenced by execRelpscost(), and getBranchingDecisionStrongbranchSOS1().

◆ SCIPgetNDivingLPs()

SCIP_Longint SCIPgetNDivingLPs ( SCIP scip)

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

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

Definition at line 42708 of file scip.c.

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

◆ SCIPgetNDivingLPIterations()

SCIP_Longint SCIPgetNDivingLPIterations ( SCIP scip)

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

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

Definition at line 42726 of file scip.c.

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

◆ SCIPgetNStrongbranchs()

SCIP_Longint SCIPgetNStrongbranchs ( SCIP scip)

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

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

Definition at line 42744 of file scip.c.

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

Referenced by SCIP_DECL_DISPOUTPUT().

◆ SCIPgetNStrongbranchLPIterations()

SCIP_Longint SCIPgetNStrongbranchLPIterations ( SCIP scip)

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

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

Definition at line 42762 of file scip.c.

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

Referenced by execRelpscost(), and SCIP_DECL_NODESELSELECT().

◆ SCIPgetNRootStrongbranchs()

SCIP_Longint SCIPgetNRootStrongbranchs ( SCIP scip)

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

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

Definition at line 42780 of file scip.c.

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

◆ SCIPgetNRootStrongbranchLPIterations()

SCIP_Longint SCIPgetNRootStrongbranchLPIterations ( SCIP scip)

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

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

Definition at line 42798 of file scip.c.

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

Referenced by execRelpscost().

◆ SCIPgetNPriceRounds()

int SCIPgetNPriceRounds ( SCIP scip)

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

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

Definition at line 42814 of file scip.c.

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

◆ SCIPgetNPricevars()

int SCIPgetNPricevars ( SCIP scip)

get current number of variables in the pricing store

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

Definition at line 42832 of file scip.c.

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

◆ SCIPgetNPricevarsFound()

int SCIPgetNPricevarsFound ( SCIP scip)

get total number of pricing variables found so far

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

Definition at line 42850 of file scip.c.

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

◆ SCIPgetNPricevarsApplied()

int SCIPgetNPricevarsApplied ( SCIP scip)

get total number of pricing variables applied to the LPs

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

Definition at line 42868 of file scip.c.

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

◆ SCIPgetNSepaRounds()

int SCIPgetNSepaRounds ( SCIP scip)

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

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

Definition at line 42884 of file scip.c.

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

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

◆ SCIPgetNCutsFound()

int SCIPgetNCutsFound ( SCIP scip)

get total number of cuts found so far

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

Definition at line 42902 of file scip.c.

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

Referenced by SCIP_DECL_SEPAEXECLP().

◆ SCIPgetNCutsFoundRound()

int SCIPgetNCutsFoundRound ( SCIP scip)

get number of cuts found so far in current separation round

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

Definition at line 42920 of file scip.c.

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

Referenced by SCIP_DECL_SEPAEXECLP().

◆ SCIPgetNCutsApplied()

int SCIPgetNCutsApplied ( SCIP scip)

get total number of cuts applied to the LPs

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

Definition at line 42938 of file scip.c.

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

Referenced by SCIP_DECL_DISPOUTPUT().

◆ SCIPgetNConflictConssFound()

◆ SCIPgetNConflictConssFoundNode()

int SCIPgetNConflictConssFoundNode ( SCIP scip)

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

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

Definition at line 42995 of file scip.c.

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

◆ SCIPgetNConflictConssApplied()

SCIP_Longint SCIPgetNConflictConssApplied ( SCIP scip)

get total number of conflict constraints added to the problem

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

Definition at line 43019 of file scip.c.

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

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

◆ SCIPgetMaxDepth()

int SCIPgetMaxDepth ( SCIP scip)

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

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

Definition at line 43095 of file scip.c.

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

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

◆ SCIPgetMaxTotalDepth()

int SCIPgetMaxTotalDepth ( SCIP scip)

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

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

Definition at line 43119 of file scip.c.

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

◆ SCIPgetNBacktracks()

SCIP_Longint SCIPgetNBacktracks ( SCIP scip)

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

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

Definition at line 43143 of file scip.c.

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

◆ SCIPgetNActiveConss()

int SCIPgetNActiveConss ( SCIP scip)

gets total number of active constraints at the current node

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

Definition at line 43180 of file scip.c.

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

Referenced by computeSymmetryGroup(), and determineSymmetry().

◆ SCIPgetNEnabledConss()

int SCIPgetNEnabledConss ( SCIP scip)

gets total number of enabled constraints at the current node

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

Definition at line 43197 of file scip.c.

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

Referenced by SCIP_DECL_DISPOUTPUT().

◆ SCIPgetAvgDualbound()

SCIP_Real SCIPgetAvgDualbound ( SCIP scip)

gets average dual bound of all unprocessed nodes for original problem

gets average dual bound of all unprocessed nodes for original problem

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

Definition at line 43215 of file scip.c.

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

Referenced by SCIP_DECL_DISPOUTPUT(), and SCIPperformGenericDivingAlgorithm().

◆ SCIPgetAvgLowerbound()

SCIP_Real SCIPgetAvgLowerbound ( SCIP scip)

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

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

Definition at line 43234 of file scip.c.

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

Referenced by SCIPperformGenericDivingAlgorithm().

◆ SCIPgetDualbound()

SCIP_Real SCIPgetDualbound ( SCIP scip)

gets global dual bound

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

gets global dual bound

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

Definition at line 43256 of file scip.c.

References checkStage(), FALSE, getDualbound(), SCIP_CALL_ABORT, and TRUE.

Referenced by applyDomainChanges(), SCIP_DECL_CONCSOLVERSYNCWRITE(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIPcopyConcurrentSolvingStats(), SCIPperformGenericDivingAlgorithm(), SCIPvalidateSolve(), setupAndSolveSubscipRapidlearning(), solveComponent(), and writeBounds().

◆ SCIPgetLowerbound()

◆ SCIPgetDualboundRoot()

SCIP_Real SCIPgetDualboundRoot ( SCIP scip)

gets dual bound of the root node for the original problem

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

Definition at line 43298 of file scip.c.

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

Referenced by SCIPprintRootStatistics().

◆ SCIPgetLowerboundRoot()

SCIP_Real SCIPgetLowerboundRoot ( SCIP scip)

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

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

Definition at line 43322 of file scip.c.

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

Referenced by nodeGetUctScore().

◆ SCIPgetFirstLPDualboundRoot()

SCIP_Real SCIPgetFirstLPDualboundRoot ( SCIP scip)

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

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

Definition at line 43346 of file scip.c.

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

Referenced by SCIPprintRootStatistics().

◆ SCIPgetFirstLPLowerboundRoot()

SCIP_Real SCIPgetFirstLPLowerboundRoot ( SCIP scip)

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

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

Definition at line 43367 of file scip.c.

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

◆ SCIPgetFirstPrimalBound()

SCIP_Real SCIPgetFirstPrimalBound ( SCIP scip)

the primal bound of the very first solution

Parameters
scipSCIP data structure

Definition at line 43380 of file scip.c.

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

Referenced by checkLogCriterion().

◆ SCIPgetPrimalbound()

SCIP_Real SCIPgetPrimalbound ( SCIP scip)

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
scipSCIP data structure

Definition at line 43402 of file scip.c.

References checkStage(), FALSE, getPrimalbound(), SCIP_CALL_ABORT, and TRUE.

Referenced by applyDomainChanges(), checkLogCriterion(), checkOptimalSolution(), SCIP_DECL_CONCSOLVERSYNCWRITE(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_RELAXEXEC(), SCIPapplyProximity(), SCIPvalidateSolve(), setupAndSolve(), setupAndSolveSubscip(), solveComponent(), transitionPhase3(), updateLogRegression(), and writeBounds().

◆ SCIPgetUpperbound()

◆ SCIPgetCutoffbound()

SCIP_Real SCIPgetCutoffbound ( SCIP scip)

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

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

Definition at line 43453 of file scip.c.

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

Referenced by analyzeGenVBoundConflict(), applyDomainChanges(), applyNlobbt(), branch(), computeInteriorPoint(), execGenVBounds(), execRelpscost(), performLPRandRounding(), performLPSimpleRounding(), performStrongbranchWithPropagation(), 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(), SCIPupdateCutoffbound(), selectEssentialRounding(), selectRounding(), selectVarMultAggrBranching(), solveComponent(), solveNlp(), solveProbingLP(), transferSolution(), and writeBounds().

◆ SCIPupdateCutoffbound()

SCIP_RETCODE SCIPupdateCutoffbound ( SCIP scip,
SCIP_Real  cutoffbound 
)

updates the cutoff bound

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

updates the cutoff bound

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

Definition at line 43481 of file scip.c.

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

Referenced by solveComponent().

◆ SCIPisPrimalboundSol()

SCIP_Bool SCIPisPrimalboundSol ( SCIP scip)

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

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

Definition at line 43513 of file scip.c.

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

Referenced by SCIP_DECL_DISPOUTPUT().

◆ SCIPgetGap()

SCIP_Real SCIPgetGap ( SCIP scip)

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

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

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

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

Definition at line 43536 of file scip.c.

References checkStage(), FALSE, getDualbound(), getLowerbound(), getPrimalbound(), SCIP_CALL_ABORT, SCIP_STATUS_INFORUNBD, SCIPcomputeGap(), SCIPgetStatus(), SCIPsetEpsilon(), SCIPsetInfinity(), SCIPsetIsInfinity(), Scip::set, and TRUE.

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

◆ SCIPgetTransGap()

SCIP_Real SCIPgetTransGap ( SCIP scip)

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

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

Definition at line 43567 of file scip.c.

References checkStage(), FALSE, getLowerbound(), getUpperbound(), REALABS, SCIP_CALL_ABORT, SCIP_Real, SCIP_STATUS_INFORUNBD, SCIPgetStatus(), SCIPsetInfinity(), SCIPsetIsEQ(), SCIPsetIsInfinity(), SCIPsetIsZero(), Scip::set, and TRUE.

◆ SCIPgetNSolsFound()

SCIP_Longint SCIPgetNSolsFound ( SCIP scip)

gets number of feasible primal solutions found so far

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

Definition at line 43619 of file scip.c.

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

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

◆ SCIPgetNLimSolsFound()

SCIP_Longint SCIPgetNLimSolsFound ( SCIP scip)

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

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

Definition at line 43646 of file scip.c.

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

Referenced by SCIPsolveIsStopped().

◆ SCIPgetNBestSolsFound()

SCIP_Longint SCIPgetNBestSolsFound ( SCIP scip)

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

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

Definition at line 43673 of file scip.c.

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

Referenced by SCIPperformGenericDivingAlgorithm(), and SCIPsolveIsStopped().

◆ SCIPgetAvgPseudocost()

SCIP_Real SCIPgetAvgPseudocost ( SCIP scip,
SCIP_Real  solvaldelta 
)

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

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

Definition at line 43690 of file scip.c.

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

◆ SCIPgetAvgPseudocostCurrentRun()

SCIP_Real SCIPgetAvgPseudocostCurrentRun ( SCIP scip,
SCIP_Real  solvaldelta 
)

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

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

Definition at line 43710 of file scip.c.

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

◆ SCIPgetAvgPseudocostCount()

SCIP_Real SCIPgetAvgPseudocostCount ( SCIP scip,
SCIP_BRANCHDIR  dir 
)

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

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

Definition at line 43728 of file scip.c.

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

◆ SCIPgetAvgPseudocostCountCurrentRun()

SCIP_Real SCIPgetAvgPseudocostCountCurrentRun ( SCIP scip,
SCIP_BRANCHDIR  dir 
)

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

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

Definition at line 43749 of file scip.c.

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

◆ SCIPgetPseudocostCount()

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

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

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

Definition at line 43816 of file scip.c.

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

◆ SCIPgetAvgPseudocostScore()

SCIP_Real SCIPgetAvgPseudocostScore ( SCIP scip)

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

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

Definition at line 43768 of file scip.c.

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

Referenced by execRelpscost().

◆ SCIPgetPseudocostVariance()

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

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

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

Definition at line 43791 of file scip.c.

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

◆ SCIPgetAvgPseudocostScoreCurrentRun()

SCIP_Real SCIPgetAvgPseudocostScoreCurrentRun ( SCIP scip)

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

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

Definition at line 43842 of file scip.c.

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

◆ SCIPgetAvgConflictScore()

SCIP_Real SCIPgetAvgConflictScore ( SCIP scip)

gets the average conflict score value over all variables

gets the average conflict score value over all variables

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

Definition at line 43865 of file scip.c.

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

Referenced by execRelpscost().

◆ SCIPgetAvgConflictScoreCurrentRun()

SCIP_Real SCIPgetAvgConflictScoreCurrentRun ( SCIP scip)

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

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

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

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

Definition at line 43890 of file scip.c.

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

◆ SCIPgetAvgConflictlengthScore()

SCIP_Real SCIPgetAvgConflictlengthScore ( SCIP scip)

gets the average inference score value over all variables

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

Definition at line 43915 of file scip.c.

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

Referenced by execRelpscost().

◆ SCIPgetAvgConflictlengthScoreCurrentRun()

SCIP_Real SCIPgetAvgConflictlengthScoreCurrentRun ( SCIP scip)

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

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

Definition at line 43940 of file scip.c.

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

◆ SCIPgetAvgInferences()

SCIP_Real SCIPgetAvgInferences ( SCIP scip,
SCIP_BRANCHDIR  dir 
)

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

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

Definition at line 43963 of file scip.c.

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

◆ SCIPgetAvgInferencesCurrentRun()

SCIP_Real SCIPgetAvgInferencesCurrentRun ( SCIP scip,
SCIP_BRANCHDIR  dir 
)

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

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

Definition at line 43983 of file scip.c.

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

◆ SCIPgetAvgInferenceScore()

SCIP_Real SCIPgetAvgInferenceScore ( SCIP scip)

gets the average inference score value over all variables

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

Definition at line 44001 of file scip.c.

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

Referenced by execRelpscost().

◆ SCIPgetAvgInferenceScoreCurrentRun()

SCIP_Real SCIPgetAvgInferenceScoreCurrentRun ( SCIP scip)

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

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

Definition at line 44026 of file scip.c.

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

◆ SCIPgetAvgCutoffs()

SCIP_Real SCIPgetAvgCutoffs ( SCIP scip,
SCIP_BRANCHDIR  dir 
)

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

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

Definition at line 44049 of file scip.c.

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

◆ SCIPgetAvgCutoffsCurrentRun()

SCIP_Real SCIPgetAvgCutoffsCurrentRun ( SCIP scip,
SCIP_BRANCHDIR  dir 
)

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

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

Definition at line 44069 of file scip.c.

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

◆ SCIPgetAvgCutoffScore()

SCIP_Real SCIPgetAvgCutoffScore ( SCIP scip)

gets the average cutoff score value over all variables

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

Definition at line 44087 of file scip.c.

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

Referenced by execRelpscost().

◆ SCIPgetAvgCutoffScoreCurrentRun()

SCIP_Real SCIPgetAvgCutoffScoreCurrentRun ( SCIP scip)

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

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

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

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

Definition at line 44110 of file scip.c.

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

◆ SCIPgetDeterministicTime()

SCIP_Real SCIPgetDeterministicTime ( SCIP scip)

gets deterministic time number of LPs solved so far

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

computes a deterministic measure of time from statistics

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

Definition at line 44135 of file scip.c.

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

◆ SCIPprintOrigProblem()

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

outputs original problem to file stream

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

Definition at line 44218 of file scip.c.

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

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

◆ SCIPprintTransProblem()

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

outputs transformed problem of the current node to file stream

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

Definition at line 44262 of file scip.c.

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

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

◆ SCIPprintStatusStatistics()

void SCIPprintStatusStatistics ( SCIP scip,
FILE *  file 
)

outputs status statistics

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

Definition at line 44305 of file scip.c.

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

Referenced by SCIP_DECL_TABLEOUTPUT().

◆ SCIPprintTimingStatistics()

◆ SCIPprintOrigProblemStatistics()

void SCIPprintOrigProblemStatistics ( SCIP scip,
FILE *  file 
)

outputs statistics for original problem

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

Definition at line 44332 of file scip.c.

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

Referenced by SCIP_DECL_TABLEOUTPUT().

◆ SCIPprintTransProblemStatistics()

void SCIPprintTransProblemStatistics ( SCIP scip,
FILE *  file 
)

outputs statistics for transformed problem

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

Definition at line 44358 of file scip.c.

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

Referenced by SCIP_DECL_TABLEOUTPUT().

◆ SCIPprintPresolverStatistics()

void SCIPprintPresolverStatistics ( SCIP scip,
FILE *  file 
)

outputs presolver statistics

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

Definition at line 44383 of file scip.c.

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

Referenced by SCIP_DECL_TABLEOUTPUT().

◆ SCIPprintConstraintStatistics()

◆ SCIPprintConstraintTimingStatistics()

◆ SCIPprintPropagatorStatistics()

◆ SCIPprintConflictStatistics()

void SCIPprintConflictStatistics ( SCIP scip,
FILE *  file 
)

outputs conflict statistics

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

Definition at line 44684 of file scip.c.

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

Referenced by SCIP_DECL_TABLEOUTPUT().

◆ SCIPprintSeparatorStatistics()

◆ SCIPprintPricerStatistics()

void SCIPprintPricerStatistics ( SCIP scip,
FILE *  file 
)

◆ SCIPprintBranchruleStatistics()

◆ SCIPprintHeuristicStatistics()

void SCIPprintHeuristicStatistics ( SCIP scip,
FILE *  file 
)

◆ SCIPprintCompressionStatistics()

void SCIPprintCompressionStatistics ( SCIP scip,
FILE *  file 
)

◆ SCIPprintLPStatistics()

◆ SCIPprintNLPStatistics()

void SCIPprintNLPStatistics ( SCIP scip,
FILE *  file 
)

outputs NLP statistics

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

Definition at line 45180 of file scip.c.

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

Referenced by SCIP_DECL_TABLEOUTPUT().

◆ SCIPprintRelaxatorStatistics()

void SCIPprintRelaxatorStatistics ( SCIP scip,
FILE *  file 
)

outputs relaxator statistics

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

Definition at line 45206 of file scip.c.

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

Referenced by SCIP_DECL_TABLEOUTPUT().

◆ SCIPprintTreeStatistics()

◆ SCIPprintRootStatistics()

void SCIPprintRootStatistics ( SCIP scip,
FILE *  file 
)

◆ SCIPprintSolutionStatistics()

◆ SCIPprintConcsolverStatistics()

◆ SCIPprintStatistics()

SCIP_RETCODE SCIPprintStatistics ( SCIP scip,
FILE *  file 
)

outputs solving statistics

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

Definition at line 45651 of file scip.c.

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

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

◆ SCIPprintReoptStatistics()

◆ SCIPprintBranchingStatistics()

SCIP_RETCODE SCIPprintBranchingStatistics ( SCIP scip,
FILE *  file 
)

outputs history statistics about branchings on variables

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

Definition at line 45766 of file scip.c.

References checkStage(), FALSE, SCIP_Stat::glbhistory, Scip::messagehdlr, SCIP_Prob::nvars, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_CALL, SCIP_INVALIDCALL, 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, SCIPerrorMessage, SCIPfreeBufferArray, SCIPgetVarNStrongbranchs(), SCIPhistoryGetCutoffSum(), SCIPhistoryGetInferenceSum(), SCIPhistoryGetNBranchings(), SCIPhistoryGetPseudocost(), SCIPhistoryGetPseudocostCount(), SCIPhistoryGetPseudocostVariance(), SCIPmessageFPrintInfo(), SCIPvarGetAvgBranchdepth(), SCIPvarGetAvgCutoffs(), SCIPvarGetAvgInferences(), SCIPvarGetBranchFactor(), SCIPvarGetBranchPriority(), SCIPvarGetName(), SCIPvarGetNBranchings(), SCIPvarGetNLocksDown(), SCIPvarGetNLocksUp(), SCIPvarGetPseudocost(), SCIPvarGetPseudocostCount(), SCIPvarGetPseudocostVariance(), Scip::set, SCIP_Set::stage, Scip::stat, Scip::transprob, TRUE, and SCIP_Prob::vars.

Referenced by SCIP_DECL_DIALOGEXEC().

◆ SCIPprintDisplayLine()

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

outputs node information display line

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

Definition at line 45881 of file scip.c.

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

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

◆ SCIPgetNImplications()

int SCIPgetNImplications ( SCIP scip)

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

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

Definition at line 45911 of file scip.c.

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

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

◆ SCIPwriteImplicationConflictGraph()

SCIP_RETCODE SCIPwriteImplicationConflictGraph ( SCIP scip,
const char *  filename 
)

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

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

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

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

Definition at line 45939 of file scip.c.

References SCIP_OKAY, and SCIPwarningMessage().

◆ SCIPstoreSolutionGap()