methods to manipulate a SCIP object
Functions | |
SCIP_RETCODE | SCIPcreate (SCIP **scip) |
SCIP_RETCODE | SCIPfree (SCIP **scip) |
SCIP_STAGE | SCIPgetStage (SCIP *scip) |
SCIP_RETCODE | SCIPprintStage (SCIP *scip, FILE *file) |
SCIP_STATUS | SCIPgetStatus (SCIP *scip) |
SCIP_RETCODE | SCIPprintStatus (SCIP *scip, FILE *file) |
SCIP_Bool | SCIPisTransformed (SCIP *scip) |
SCIP_Bool | SCIPisExactSolve (SCIP *scip) |
SCIP_Bool | SCIPisPresolveFinished (SCIP *scip) |
SCIP_Bool | SCIPhasPerformedPresolve (SCIP *scip) |
SCIP_Bool | SCIPpressedCtrlC (SCIP *scip) |
SCIP_Bool | SCIPisStopped (SCIP *scip) |
SCIP_RETCODE SCIPcreate | ( | SCIP ** | scip | ) |
creates and initializes SCIP data structures
scip
reached the solving stage SCIP_STAGE_INITSee SCIP_STAGE for a complete list of all possible solving stages.
creates and initializes SCIP data structures
See SCIP_STAGE for a complete list of all possible solving stages.
scip | pointer to SCIP data structure |
Definition at line 748 of file scip.c.
References doScipCreate(), SCIP_CALL_FINALLY, SCIP_OKAY, and SCIPfree().
Referenced by applyCompletesol(), applyDomainChanges(), applyOfins(), applyRepair(), applyVbounds(), createSubscip(), createSubSCIP(), getActivities(), initConcsolver(), main(), runCircle(), runGastrans(), runSCIP(), runShell(), runString(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SOLVECUMULATIVE(), SCIPapplyProximity(), SCIPapplyRens(), SCIPapplyUndercover(), SCIPapplyZeroobj(), SCIPcomputeCoverUndercover(), SCIPcreateFiniteSolCopy(), SCIPrunShell(), searchEcAggr(), setupProbingSCIP(), solveSubMIP(), solveSubproblem(), and writeBounds().
SCIP_RETCODE SCIPfree | ( | SCIP ** | scip | ) |
frees SCIP data structures
scip
is in one of the following stages:
See SCIP_STAGE for a complete list of all possible solving stages.
scip | pointer to SCIP data structure |
Definition at line 780 of file scip.c.
References BMSfreeMemory, checkStage(), Scip::dialoghdlr, FALSE, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_FREE, SCIP_STAGE_INIT, SCIPclockFree(), SCIPdialoghdlrFree(), SCIPfreeProb(), SCIPinterruptFree(), SCIPmemFree(), SCIPmessagehdlrRelease(), SCIPsetFree(), SCIPsyncstoreRelease(), and TRUE.
Referenced by applyCompletesol(), applyDomainChanges(), applyOfins(), applyRepair(), applyVbounds(), componentCreateSubscip(), createSubSCIP(), createSubscip(), deleteSubproblem(), freeComponent(), freeSubSCIP(), freeSubscip(), getActivities(), main(), runCircle(), runGastrans(), runSCIP(), runShell(), runString(), SCIP_DECL_CONCSOLVERDESTROYINST(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SOLVECUMULATIVE(), SCIPapplyRens(), SCIPapplyUndercover(), SCIPapplyZeroobj(), SCIPcomputeCoverUndercover(), SCIPcreate(), SCIPcreateFiniteSolCopy(), SCIPrunShell(), searchEcAggr(), solveComponent(), solveSubMIP(), solveSubproblem(), subscipdataFreeSubscip(), and writeBounds().
SCIP_STAGE SCIPgetStage | ( | SCIP * | scip | ) |
returns current stage of SCIP
See SCIP_STAGE for a complete list of all possible solving stages.
scip | SCIP data structure |
Definition at line 821 of file scip.c.
References Scip::set, and SCIP_Set::stage.
Referenced by addCoef(), analyzeConflict(), analyzeConflictLowerbound(), analyzeConflictOne(), analyzeConflictUpperbound(), analyzeConflictZero(), applyGenVBound(), applyProbing(), applyRepair(), branchruledataEnsureArraySize(), checkEstimateCriterion(), checkLocksAndRes(), checkTransferBoolParam(), componentSetupWorkingSol(), computeViolation(), computeViolations(), consdataCreate(), constructCompression(), createCGCuts(), createConsSetppc(), createSubscip(), delCoefPos(), displayRelevantStats(), doCopy(), generateConvexConcaveEstimator(), getLinVarsAndAndRess(), getNNodesBelowIncumbent(), getNRank1Nodes(), getX(), heurdataEnsureArraySize(), initPricing(), isFiniteNonnegativeIntegral(), performDualfix(), permSortConsdata(), processBinvarFixings(), propagateBounds(), propagateCons(), propagatePackingPartitioningCons(), propagateVbounds(), propIndicator(), proposeFeasibleSolution(), readDiffFile(), readSolFile(), readXmlSolFile(), recomputeNodeInformation(), reformulate(), removeFixedBinvars(), removeFixedVariables(), resolvePropagationCoretimes(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDISABLE(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_READERREAD(), SCIPaddBilinTermQuadratic(), SCIPaddConstantQuadratic(), SCIPaddLinearVarQuadratic(), SCIPaddQuadVarLinearCoefQuadratic(), SCIPaddQuadVarQuadratic(), SCIPaddSquareCoefQuadratic(), SCIPanalyzeDeductionsProbing(), SCIPapplyHeurSubNlp(), SCIPchgBilinCoefQuadratic(), SCIPchgCapacityKnapsack(), SCIPchgCoefLinear(), SCIPchgConsName(), SCIPchgLhsQuadratic(), SCIPchgLinearCoefQuadratic(), SCIPchgRhsQuadratic(), SCIPchgSquareCoefQuadratic(), SCIPchgVarLb(), SCIPchgVarLbGlobal(), SCIPchgVarLbNode(), SCIPchgVarLbProbing(), SCIPchgVarName(), SCIPchgVarType(), SCIPchgVarUb(), SCIPchgVarUbGlobal(), SCIPchgVarUbNode(), SCIPchgVarUbProbing(), SCIPcreateConsCardinality(), SCIPcreateConsCumulative(), SCIPcreateConsLinear(), SCIPcreateConsLinking(), SCIPcreateConsLogicor(), SCIPcreateConsNonlinear2(), SCIPcreateConsSOS1(), SCIPgetExprtreeCoefsNonlinear(), SCIPgetExprtreeCurvaturesNonlinear(), SCIPgetExprtreesNonlinear(), SCIPgetGeneratorsSymmetry(), SCIPgetNExprtreesNonlinear(), SCIPgetNLimSolsFound(), SCIPgetVarCopy(), SCIPgetViolationNonlinear(), SCIPinferVarFixCons(), SCIPinferVarFixProp(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPisConsCompressionEnabled(), SCIPisDualSolAvailable(), SCIPmakeIndicatorFeasible(), SCIPmakeIndicatorsFeasible(), SCIPmergeVariableStatistics(), SCIPprintSolutionStatistics(), SCIPprintStatistics(), SCIPprintTimingStatistics(), SCIPresolveSolHeurSubNlp(), SCIPsetLinearConsIndicator(), SCIPsetSlackVarUb(), SCIPsolveConcurrent(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), SCIPtransformMinUC(), SCIPupdateStartpointHeurSubNlp(), SCIPvalidateSolve(), SCIPwriteGms(), setupAndSolve(), setupAndSolveSubscipRapidlearning(), solveComponent(), solveSubNLP(), tightenBounds(), tightenedIntvar(), and updateDataStructures().
SCIP_RETCODE SCIPprintStage | ( | SCIP * | scip, |
FILE * | file | ||
) |
outputs SCIP stage and solution status if applicable via the message handler
See SCIP_STAGE for a complete list of all possible solving stages.
scip | SCIP data structure |
file | output file (or NULL for standard output) |
Definition at line 843 of file scip.c.
References checkStage(), getPrimalbound(), Scip::messagehdlr, SCIP_Primal::nlimsolsfound, Scip::primal, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_FREE, SCIP_STAGE_FREETRANS, SCIP_STAGE_INIT, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIPerrorMessage, SCIPgetObjsense(), SCIPisInfinity(), SCIPmessageFPrintInfo(), SCIPprintStatus(), SCIPsolveIsStopped(), Scip::set, SCIP_Set::stage, Scip::stat, and TRUE.
Referenced by displayRelevantStats(), and SCIPprintStatusStatistics().
SCIP_STATUS SCIPgetStatus | ( | SCIP * | scip | ) |
gets solution status
See SCIP_STATUS for a complete list of all possible solving status.
scip | SCIP data structure |
Definition at line 928 of file scip.c.
References checkStage(), SCIP_CALL_ABORT, SCIP_STAGE_FREE, SCIP_STAGE_INIT, SCIP_STATUS_UNKNOWN, Scip::set, SCIP_Set::stage, Scip::stat, SCIP_Stat::status, and TRUE.
Referenced by applyDomainChanges(), getActivities(), getDualbound(), getUpperbound(), SCIP_DECL_CONCSOLVERSYNCWRITE(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXITPRE(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_PROPINITSOL(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SOLVECUMULATIVE(), SCIPapplyHeurDualval(), SCIPgetGap(), SCIPgetTransGap(), SCIPprintSolutionStatistics(), SCIPprintStatus(), searchEcAggrWithMIP(), setupAndSolve(), setupAndSolveCumulativeSubscip(), setupAndSolveSubscip(), setupAndSolveSubscipLocalbranching(), setupAndSolveSubscipRapidlearning(), solveAndEvalSubscip(), solveComponent(), solveSubNLP(), solveSubproblem(), solveSubscip(), solveSubscipLpface(), storeAggrFromMIP(), subscipdataCopySubscip(), and writeBounds().
SCIP_RETCODE SCIPprintStatus | ( | SCIP * | scip, |
FILE * | file | ||
) |
outputs solution status
See SCIP_STATUS for a complete list of all possible solving status.
scip | SCIP data structure |
file | output file (or NULL for standard output) |
Definition at line 951 of file scip.c.
References checkStage(), Scip::messagehdlr, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_STATUS_BESTSOLLIMIT, SCIP_STATUS_GAPLIMIT, SCIP_STATUS_INFEASIBLE, SCIP_STATUS_INFORUNBD, SCIP_STATUS_MEMLIMIT, SCIP_STATUS_NODELIMIT, SCIP_STATUS_OPTIMAL, SCIP_STATUS_RESTARTLIMIT, SCIP_STATUS_SOLLIMIT, SCIP_STATUS_STALLNODELIMIT, SCIP_STATUS_TIMELIMIT, SCIP_STATUS_TOTALNODELIMIT, SCIP_STATUS_UNBOUNDED, SCIP_STATUS_UNKNOWN, SCIP_STATUS_USERINTERRUPT, SCIPerrorMessage, SCIPgetStatus(), SCIPmessageFPrintInfo(), and TRUE.
Referenced by SCIP_DECL_CONCSOLVEREXEC(), SCIP_DECL_DIALOGEXEC(), and SCIPprintStage().
returns whether the current stage belongs to the transformed problem space
scip | SCIP data structure |
Definition at line 1017 of file scip.c.
References SCIP_STAGE_TRANSFORMING, Scip::set, and SCIP_Set::stage.
Referenced by consdataAddCons(), consdataCreate(), consdataCreateBinvars(), consdataCreateSuperindicator(), consdataFree(), copyProb(), createAndAddAndCons(), createConsSetppc(), getMaxactImplicObjchg(), readMst(), readSol(), readSolFile(), readXmlSolFile(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSPROP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_PROPINITSOL(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPchgVarBranchPriority(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcreateConsAnd(), SCIPcreateConsIndicator(), SCIPcreateConsKnapsack(), SCIPcreateConsLogicor(), SCIPcreateConsSOC(), SCIPcreateConsVarbound(), SCIPpermuteProb(), SCIPprintMIPStart(), SCIPprintSol(), SCIPresolveSolHeurSubNlp(), and updateRunStats().
returns whether the solution process is arithmetically exact, i.e., not subject to roundoff errors
returns whether the solution process should be probably correct
scip | SCIP data structure |
Definition at line 1032 of file scip.c.
References SCIP_Set::misc_exactsolve, and Scip::set.
Referenced by branch(), execRelpscost(), SCIP_DECL_BRANCHEXECLP(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), and selectVarMultAggrBranching().
returns whether the presolving process would be finished given no more presolving reductions are found in this presolving round
Checks whether the number of presolving rounds is not exceeded and the presolving reductions found in the current presolving round suffice to trigger another presolving round.
scip | SCIP data structure |
Definition at line 1054 of file scip.c.
References checkStage(), Scip::cliquetable, FALSE, SCIP_Stat::lastnpresoladdconss, SCIP_Stat::lastnpresoladdholes, SCIP_Stat::lastnpresolaggrvars, SCIP_Stat::lastnpresolchgbds, SCIP_Stat::lastnpresolchgcoefs, SCIP_Stat::lastnpresolchgsides, SCIP_Stat::lastnpresolchgvartypes, SCIP_Stat::lastnpresoldelconss, SCIP_Stat::lastnpresolfixedvars, SCIP_Stat::lastnpresolupgdconss, SCIP_Prob::nbinvars, SCIP_Prob::nconss, SCIP_Stat::nimplications, SCIP_Stat::npresoladdconss, SCIP_Stat::npresoladdholes, SCIP_Stat::npresolaggrvars, SCIP_Stat::npresolchgbds, SCIP_Stat::npresolchgcoefs, SCIP_Stat::npresolchgsides, SCIP_Stat::npresolchgvartypes, SCIP_Stat::npresoldelconss, SCIP_Stat::npresolfixedvars, SCIP_Stat::npresolrounds, SCIP_Stat::npresolupgdconss, SCIP_Prob::nvars, SCIP_Set::presol_abortfac, SCIP_Set::presol_maxrounds, SCIP_Bool, SCIP_CALL_ABORT, SCIPcliquetableGetNCliques(), Scip::set, Scip::stat, Scip::transprob, and TRUE.
Referenced by presolve(), presolveRound(), SCIP_DECL_CONSPRESOL(), and SCIP_DECL_PRESOLEXEC().
returns whether SCIP has performed presolving during the last solve
scip | SCIP data structure |
Definition at line 1116 of file scip.c.
References checkStage(), FALSE, SCIP_Stat::performpresol, SCIP_CALL_ABORT, Scip::stat, and TRUE.
returns whether the user pressed CTRL-C to interrupt the solving process
scip | SCIP data structure |
Definition at line 1132 of file scip.c.
References SCIPinterrupted().
Referenced by solveSubNLP().
returns whether the solving process should be / was stopped before proving optimality; if the solving process should be / was stopped, the status returned by SCIPgetStatus() yields the reason for the premature abort
scip | SCIP data structure |
Definition at line 1145 of file scip.c.
References checkStage(), FALSE, SCIP_CALL_ABORT, SCIPsolveIsStopped(), Scip::set, Scip::stat, and TRUE.
Referenced by applyCliqueFixings(), applyHeur(), applyNlobbt(), applyProbing(), applyVbounds(), checkArraySizesGLS(), checkArraySizesHeur(), checkSystemGF2(), computeRowEcholonGF2(), computeSymmetryGroup(), doSeachEcAggr(), enforceConstraint(), execRelpscost(), fillDigraph(), findCumulativeConss(), findPrecedenceConss(), generateClusterCuts(), generateOddCycleCut(), heurExec(), liftOddCycleCut(), loadTcliquegraph(), performRandRounding(), preprocessCliques(), preprocessConstraintPairs(), removeConstraintsDueToNegCliques(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXITPRE(), SCIP_DECL_PROPINITSOL(), SCIP_DECL_SEPAEXECLP(), SCIPapplyLockFixings(), SCIPmatrixCreate(), SCIPperformGenericDivingAlgorithm(), SCIPselectVarStrongBranching(), separateCardinality(), separateCuts(), separateGLS(), separateHeur(), separateSOS1(), strengthenVarbounds(), tcliquegraphConstructCliqueTable(), tryOneOpt(), and writeBounds().