methods to create, read and modify a global problem together with its callbacks
SCIP_RETCODE SCIPcreateProb | ( | SCIP * | scip, |
const char * | name, | ||
SCIP_DECL_PROBDELORIG((*probdelorig)) | , | ||
SCIP_DECL_PROBTRANS((*probtrans)) | , | ||
SCIP_DECL_PROBDELTRANS((*probdeltrans)) | , | ||
SCIP_DECL_PROBINITSOL((*probinitsol)) | , | ||
SCIP_DECL_PROBEXITSOL((*probexitsol)) | , | ||
SCIP_DECL_PROBCOPY((*probcopy)) | , | ||
SCIP_PROBDATA * | probdata ) |
creates empty problem and initializes all solving data structures (the objective sense is set to MINIMIZE) If the problem type requires the use of variable pricers, these pricers should be added to the problem with calls to SCIPactivatePricer(). These pricers are automatically deactivated, when the problem is freed.
scip
is in one of the following stages:
scip | SCIP data structure |
name | problem name |
probdata | user problem data set by the reader |
Definition at line 117 of file scip_prob.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_DECOMPSTORE_CAPA, SCIP_OKAY, SCIP_STAGE_INIT, SCIP_STAGE_PROBLEM, SCIPblkmem(), SCIPcheckStage(), SCIPconflictstoreCreate(), SCIPdecompstoreCreate(), SCIPenableReoptimization(), SCIPfreeProb(), SCIPprimalCreate(), SCIPprobCreate(), SCIPstatCreate(), and TRUE.
Referenced by AMPLProblemHandler::AMPLProblemHandler(), applyRepair(), copyToSubscip(), createCoveringProblem(), createSubSCIP(), createSubscip(), execmain(), scipexamples::QueensSolver::QueensSolver(), readFZNFile(), readLPFile(), readMps(), readOPBFile(), readPIPFile(), SCIP_DECL_READERREAD(), SCIP_DECL_READERREAD(), SCIP_DECL_READERREAD(), SCIPcopyLargeNeighborhoodSearch(), SCIPcreateObjProb(), SCIPcreateProbBasic(), SCIPcreateProbColoring(), SCIPcreateSchedulingProblem(), solveClassification(), and solveMinIISC().
SCIP_RETCODE SCIPcreateProbBasic | ( | SCIP * | scip, |
const char * | name ) |
creates empty problem and initializes all solving data structures (the objective sense is set to MINIMIZE) all callback methods will be set to NULL and can be set afterwards, if needed, via SCIPsetProbDelorig(), SCIPsetProbTrans(), SCIPsetProbDeltrans(), SCIPsetProbInitsol(), SCIPsetProbExitsol(), and SCIPsetProbCopy() If the problem type requires the use of variable pricers, these pricers should be added to the problem with calls to SCIPactivatePricer(). These pricers are automatically deactivated, when the problem is freed.
scip
is in one of the following stages:
scip | SCIP data structure |
name | problem name |
Definition at line 180 of file scip_prob.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPcreateProb(), and TRUE.
Referenced by addScenarioVarsAndConsToProb(), createMIP(), main(), readFile(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_READERREAD(), SCIPbendersApplyDecomposition(), SCIPcreateProbCyc(), SCIPprobdataCreate(), SCIPprobdataCreate(), SCIPprobdataCreate(), SCIPverifyCircularPatternNLP(), setupAndSolveCumulativeSubscip(), setupProblem(), setupProblem(), setupProblem(), setupProblem(), setupSubscipLpface(), solveClassification(), and solvePricingMINLP().
SCIP_RETCODE SCIPsetProbDelorig | ( | SCIP * | scip | ) |
sets callback to free user data of original problem
scip
is in one of the following stages:
scip | SCIP data structure frees user data of original problem |
Definition at line 200 of file scip_prob.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPprobSetDelorig(), and TRUE.
Referenced by SCIPcreateProbCyc(), SCIPprobdataCreate(), SCIPprobdataCreate(), and SCIPprobdataCreate().
SCIP_RETCODE SCIPsetProbTrans | ( | SCIP * | scip | ) |
sets callback to create user data of transformed problem by transforming original user data
scip
is in one of the following stages:
scip | SCIP data structure creates user data of transformed problem by transforming original user data |
Definition at line 221 of file scip_prob.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPprobSetTrans(), and TRUE.
Referenced by SCIPcreateProbCyc(), SCIPprobdataCreate(), SCIPprobdataCreate(), and SCIPprobdataCreate().
SCIP_RETCODE SCIPsetProbDeltrans | ( | SCIP * | scip | ) |
sets callback to free user data of transformed problem
scip
is in one of the following stages:
scip | SCIP data structure frees user data of transformed problem |
Definition at line 242 of file scip_prob.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPprobSetDeltrans(), and TRUE.
Referenced by SCIPcreateProbCyc(), SCIPprobdataCreate(), SCIPprobdataCreate(), and SCIPprobdataCreate().
SCIP_RETCODE SCIPsetProbInitsol | ( | SCIP * | scip | ) |
sets solving process initialization callback of transformed data
scip
is in one of the following stages:
scip | SCIP data structure solving process initialization method of transformed data |
Definition at line 263 of file scip_prob.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPprobSetInitsol(), and TRUE.
Referenced by SCIPprobdataCreate().
SCIP_RETCODE SCIPsetProbExitsol | ( | SCIP * | scip | ) |
sets solving process deinitialization callback of transformed data
scip
is in one of the following stages:
scip | SCIP data structure solving process deinitialization method of transformed data |
Definition at line 285 of file scip_prob.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPprobSetExitsol(), and TRUE.
Referenced by SCIPprobdataCreate().
SCIP_RETCODE SCIPsetProbCopy | ( | SCIP * | scip | ) |
sets callback to copy user data to a subscip
scip
is in one of the following stages:
scip | SCIP data structure copies user data if you want to copy it to a subscip, or NULL |
Definition at line 306 of file scip_prob.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPprobSetCopy(), and TRUE.
Referenced by SCIPcreateProbCyc().
SCIP_RETCODE SCIPreadProb | ( | SCIP * | scip, |
const char * | filename, | ||
const char * | extension ) |
reads problem from file and initializes all solving data structures
scip
is in one of the following stages:
scip | SCIP data structure |
filename | problem file name |
extension | extension of the desired file reader, or NULL if file extension should be used |
Definition at line 339 of file scip_prob.c.
References assert(), c, FALSE, h, i, NULL, result, SCIP_CALL, SCIP_DIDNOTRUN, SCIP_NOFILE, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_READERROR, SCIP_SUCCESS, SCIP_VERBLEVEL_FULL, SCIP_VERBLEVEL_NORMAL, SCIPallocClearBufferArray, SCIPcheckStage(), SCIPclockSetTime(), SCIPconshdlrGetName(), SCIPduplicateBufferArray, SCIPerrorMessage, SCIPfreeBufferArray, SCIPgetBoolParam(), SCIPgetReadingTime(), SCIPmessagePrintVerbInfo(), SCIPpermuteProb(), SCIPreaderGetName(), SCIPreaderRead(), SCIPsplitFilename(), and TRUE.
Referenced by fromAmpl(), fromCommandLine(), fromCommandLine(), fromCommandLine(), SCIP_DECL_DIALOGEXEC(), SCIPreadSol(), and solveMinIISC().
SCIP_RETCODE SCIPwriteOrigProblem | ( | SCIP * | scip, |
const char * | filename, | ||
const char * | extension, | ||
SCIP_Bool | genericnames ) |
writes original problem to file
scip
is in one of the following stages:
scip | SCIP data structure |
filename | output file (or NULL for standard output) |
extension | extension of the desired file reader, or NULL if file extension should be used |
genericnames | using generic variable and constraint names? |
Definition at line 601 of file scip_prob.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_FILECREATEERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_WRITEERROR, SCIPcheckStage(), TRUE, and writeProblem().
Referenced by createSubscip(), SCIP_DECL_HEUREXEC(), setupAndSolveSubscipCrossover(), solveClassification(), solveSubscipLpface(), and writeProblem().
SCIP_RETCODE SCIPwriteTransProblem | ( | SCIP * | scip, |
const char * | filename, | ||
const char * | extension, | ||
SCIP_Bool | genericnames ) |
writes transformed problem which are valid in the current node to file
scip
is in one of the following stages:
scip | SCIP data structure |
filename | output file (or NULL for standard output) |
extension | extension of the desired file reader, or NULL if file extension should be used |
genericnames | using generic variable and constraint names? |
Definition at line 648 of file scip_prob.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_FILECREATEERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_WRITEERROR, SCIPcheckStage(), TRUE, and writeProblem().
Referenced by ObjPricerVRP::pricing(), SCIP_DECL_HEUREXEC(), and writeProblem().
SCIP_RETCODE SCIPfreeProb | ( | SCIP * | scip | ) |
frees problem and solution process data
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 694 of file scip_prob.c.
References assert(), FALSE, i, NULL, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_INIT, SCIP_STAGE_PROBLEM, SCIPbendersDeactivate(), SCIPblkmem(), SCIPcheckStage(), SCIPconflictstoreFree(), SCIPdebugFreeDebugData, SCIPdecompstoreFree(), SCIPfreeConcurrent(), SCIPfreeTransform(), SCIPpricerDeactivate(), SCIPprimalFree(), SCIPprobFree(), SCIPreaderResetReadingTime(), SCIPreoptFree(), SCIPsetFreeConcsolvers(), SCIPstatFree(), SCIPsyncstoreExit(), SCIPsyncstoreIsInitialized(), and TRUE.
Referenced by copyProb(), readFZNFile(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIALOGEXEC(), SCIPcreateProb(), and SCIPfree().
SCIP_RETCODE SCIPpermuteProb | ( | SCIP * | scip, |
unsigned int | randseed, | ||
SCIP_Bool | permuteconss, | ||
SCIP_Bool | permutebinvars, | ||
SCIP_Bool | permuteintvars, | ||
SCIP_Bool | permuteimplvars, | ||
SCIP_Bool | permutecontvars ) |
permutes parts of the problem data structure
scip
is in one of the following stages:
permutes parts of the problem data structure
scip
is in one of the following stages:
scip | SCIP data structure |
randseed | seed value for random generator |
permuteconss | should the list of constraints in each constraint handler be permuted? |
permutebinvars | should the list of binary variables be permuted? |
permuteintvars | should the list of integer variables be permuted? |
permuteimplvars | should the list of implicit integer variables be permuted? |
permutecontvars | should the list of continuous integer variables be permuted? |
Definition at line 781 of file scip_prob.c.
References SCIP_Cons::addarraypos, assert(), FALSE, i, nbinvars, nintvars, NULL, nvars, SCIP_CALL, SCIP_OKAY, SCIP_VERBLEVEL_HIGH, SCIPcheckStage(), SCIPconshdlrGetConss(), SCIPconshdlrGetNActiveConss(), SCIPcreateRandom(), SCIPfreeRandom(), SCIPgetConshdlrs(), SCIPgetNConshdlrs(), SCIPgetNContVars(), SCIPgetVarsData(), SCIPisTransformed(), SCIPmessagePrintVerbInfo(), SCIPprobIsPermuted(), SCIPprobMarkPermuted(), SCIPrandomPermuteArray(), TRUE, and vars.
Referenced by SCIPreadProb(), SCIPtransformProb(), and setupAndSolveSubscipCrossover().
SCIP_PROBDATA * SCIPgetProbData | ( | SCIP * | scip | ) |
gets user problem data
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 964 of file scip_prob.c.
References FALSE, NULL, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_FREETRANS, 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, SCIPABORT, SCIPcheckStage(), SCIPerrorMessage, SCIPprobGetData(), and TRUE.
Referenced by addBranchingDecisionConss(), COLORprobAddNewStableSet(), COLORprobAddVarForStableSet(), COLORprobGetConstraint(), COLORprobGetConstraints(), COLORprobGetDeletedNodes(), COLORprobGetGraph(), COLORprobGetNewNodeForOriginalNode(), COLORprobGetNNodes(), COLORprobGetNStableSets(), COLORprobGetOriginalGraph(), COLORprobGetOriginalNNodes(), COLORprobGetOriginalNodesForNewNodes(), COLORprobGetStableSet(), COLORprobGetStableSets(), COLORprobGetVarForStableSet(), COLORprobIsNodeInStableSet(), COLORprobPrintStableSet(), COLORprobPrintStableSets(), COLORprobStableSetIsNew(), consdataPrint(), enforceSol(), isSolFeasible(), preprocessGraph(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPROP(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_TABLEOUTPUT(), SCIPcycGetBinvars(), SCIPcycGetCmatrix(), SCIPcycGetEdgeGraph(), SCIPcycGetEdgevars(), SCIPcycGetNBins(), SCIPcycGetNCluster(), SCIPcycGetScale(), SCIPcycPrintSolutionValues(), SCIPgetObjProbData(), SCIPprobdataSetupProblem(), SCIPvardataPrint(), and SCIPwriteSolutionNl().
SCIP_RETCODE SCIPsetProbData | ( | SCIP * | scip, |
SCIP_PROBDATA * | probdata ) |
sets user problem data
scip
is in one of the following stages:
scip | SCIP data structure |
probdata | user problem data to use |
Definition at line 1014 of file scip_prob.c.
References FALSE, SCIP_CALL, SCIP_INVALIDCALL, 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, SCIPcheckStage(), SCIPerrorMessage, SCIPprobSetData(), and TRUE.
Referenced by probdataFree(), SCIPcreateProbCyc(), SCIPprobdataCreate(), SCIPprobdataCreate(), and SCIPprobdataCreate().
const char * SCIPgetProbName | ( | SCIP * | scip | ) |
returns name of the current problem instance
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 1067 of file scip_prob.c.
References FALSE, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPprobGetName(), and TRUE.
Referenced by addLocalBranchingConstraint(), addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addScenarioVarsAndConsToProb(), addTrustRegionConstraints(), applyRepair(), checkSubproblemConvexity(), computeAutomorphisms(), createBlockproblem(), createCoveringProblem(), createSubSCIP(), createSubSCIP(), createSubscip(), detectMinors(), detectMinors(), doCopy(), findBestObjectiveValue(), initData(), initializeCandsLists(), initProblem(), initProblem(), printLongStatistics(), propdataInit(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXITPRE(), SCIP_DECL_PROPEXITSOL(), SCIP_DECL_PROPINITPRE(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_READERREAD(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPbendersApplyDecomposition(), SCIPcopyLargeNeighborhoodSearch(), SCIPstatistic(), SCIPvarUpdatePseudocost(), separateGLS(), setupSubscipLpface(), solveComponent(), solveSubNLP(), and subscipSetParams().
SCIP_RETCODE SCIPsetProbName | ( | SCIP * | scip, |
const char * | name ) |
sets name of the current problem instance
scip
is in one of the following stages:
scip | SCIP data structure |
name | name to be set |
Definition at line 1095 of file scip_prob.c.
References FALSE, SCIP_CALL, SCIPcheckStage(), SCIPprobSetName(), and TRUE.
Referenced by getStatistics().
SCIP_RETCODE SCIPchgReoptObjective | ( | SCIP * | scip, |
SCIP_OBJSENSE | objsense, | ||
SCIP_VAR ** | vars, | ||
SCIP_Real * | coefs, | ||
int | nvars ) |
changes the objective function
scip
is in one of the following stages:
vars
array are assumed to have an objective coefficient of zero.changes the objective function of the original problem.
scip
is in one of the following stages:
vars
array are assumed to have an objective coefficient of zero. scip | SCIP data structure |
objsense | new objective function |
vars | original problem variables |
coefs | objective coefficients |
nvars | variables in vars array |
Definition at line 1119 of file scip_prob.c.
References assert(), FALSE, i, NULL, nvars, objval, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_STAGE_TRANSFORMED, SCIPaddVarObj(), SCIPcheckStage(), SCIPchgVarObj(), SCIPdebugMsg, SCIPerrorMessage, SCIPisPositive(), SCIPisZero(), SCIPvarGetName(), SCIPvarGetObj(), SCIPvarGetStatus(), SCIPvarIsOriginal(), TRUE, and vars.
Referenced by readObjective().
SCIP_OBJSENSE SCIPgetObjsense | ( | SCIP * | scip | ) |
returns objective sense of original problem
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 1225 of file scip_prob.c.
References FALSE, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.
Referenced by computeStandardIntegerOptCut(), computeStandardNLPOptimalityCut(), createSubproblem(), AMPLProblemHandler::EndInput(), generateAndApplyBendersIntegerCuts(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTINIT(), SCIP_DECL_READERREAD(), SCIPbendersComputeSubproblemLowerbound(), SCIPbendersExec(), SCIPbendersExecSubproblemSolve(), SCIPbendersSolveSubproblem(), SCIPbendersSolveSubproblemLP(), SCIPcopyOrigProb(), SCIPgetDualSolVal(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPmakeSOS1sFeasible(), SCIPprintStage(), SCIPsolveIsStopped(), SCIPvalidateSolve(), SCIPvisualLowerbound(), SCIPvisualUpperbound(), and SCIPwriteSolutionNl().
SCIP_RETCODE SCIPsetObjsense | ( | SCIP * | scip, |
SCIP_OBJSENSE | objsense ) |
sets objective sense of problem
scip
is in one of the following stages:
scip | SCIP data structure |
objsense | new objective sense |
Definition at line 1242 of file scip_prob.c.
References FALSE, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OBJSENSE_MAXIMIZE, SCIP_OBJSENSE_MINIMIZE, SCIP_OKAY, SCIPcheckStage(), SCIPerrorMessage, SCIPprobSetObjsense(), and TRUE.
Referenced by createMIP(), createProbQP(), createSubscip(), createVariables(), getObjective(), main(), AMPLProblemHandler::OnObj(), scipexamples::QueensSolver::QueensSolver(), readCnf(), readFZNFile(), readMps(), readObjective(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_READERREAD(), SCIPcopyOrigProb(), SCIPprobdataCreate(), SCIPprobdataCreate(), SCIPreadLp(), SCIPreadOpb(), SCIPreadPip(), SCIPtransformMinUC(), setupProblem(), setupProblem(), solveClassification(), and solveMinIISC().
SCIP_RETCODE SCIPaddObjoffset | ( | SCIP * | scip, |
SCIP_Real | addval ) |
adds offset of objective function
scip
is in one of the following stages:
scip | SCIP data structure |
addval | value to add to objective offset |
Definition at line 1268 of file scip_prob.c.
References FALSE, SCIP_CALL, SCIP_OKAY, SCIPblkmem(), SCIPcheckStage(), SCIPprimalUpdateObjoffset(), SCIPprobAddObjoffset(), and TRUE.
Referenced by checkPartialObjective().
SCIP_RETCODE SCIPaddOrigObjoffset | ( | SCIP * | scip, |
SCIP_Real | addval ) |
adds offset of objective function to original problem and to all existing solution in original space
scip
is in one of the following stages:
scip | SCIP data structure |
addval | value to add to objective offset |
Definition at line 1290 of file scip_prob.c.
References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPprimalAddOrigObjoffset(), and TRUE.
Referenced by createProbSimplified(), getObjectiveFactor(), readObjective(), readOPBFile(), readRhs(), SCIPcopyOrigProb(), and setObjective().
returns the objective offset of the original problem
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 1319 of file scip_prob.c.
References FALSE, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.
Referenced by applyBounding(), SCIPcopyOrigProb(), and SCIPmergeVariableStatistics().
returns the objective scale of the original problem
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 1344 of file scip_prob.c.
References FALSE, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.
Referenced by SCIPmergeVariableStatistics().
returns the objective offset of the transformed problem
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 1367 of file scip_prob.c.
References FALSE, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.
Referenced by computeStandardNLPOptimalityCut(), getCutoffboundGenVBound(), SCIP_DECL_SEPAEXECLP(), SCIPgenVBoundAdd(), separateCuts(), and writeBounds().
returns the objective scale of the transformed problem
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 1390 of file scip_prob.c.
References FALSE, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.
Referenced by computeStandardNLPOptimalityCut(), getCutoffboundGenVBound(), SCIPgenVBoundAdd(), SCIPsolveIsStopped(), and writeBounds().
SCIP_RETCODE SCIPsetObjlimit | ( | SCIP * | scip, |
SCIP_Real | objlimit ) |
sets limit on objective function, such that only solutions better than this limit are accepted
scip
is in one of the following stages:
scip | SCIP data structure |
objlimit | new primal objective limit |
Definition at line 1422 of file scip_prob.c.
References assert(), FALSE, SCIP_CALL, SCIP_INVALIDCALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPcheckStage(), SCIPerrorMessage, SCIPprimalUpdateObjlimit(), SCIPprobGetObjlim(), SCIPprobInternObjval(), SCIPprobSetObjlim(), SCIPtransformObj(), and TRUE.
Referenced by addLocalbranchingConstraintAndObjcutoff(), applyRepair(), createCipFormulation(), doSolveSubMIP(), freeReoptSolve(), freeTransform(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIPapplyHeurSubNlp(), setupAndSolve(), setupAndSolveSubscip(), setupAndSolveSubscipCrossover(), setupAndSolveSubscipMutation(), setupAndSolveSubscipRapidlearning(), setupSubScip(), setupSubScip(), setupSubScip(), solveCoveringProblem(), solveSubproblem(), subscipSetParams(), wrapperDins(), wrapperRins(), and writeBounds().
returns current limit on objective function
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 1492 of file scip_prob.c.
References FALSE, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPprobGetObjlim(), and TRUE.
Referenced by SCIP_DECL_DIALOGEXEC().
SCIP_RETCODE SCIPsetObjIntegral | ( | SCIP * | scip | ) |
informs SCIP, that the objective value is always integral in every feasible solution
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 1519 of file scip_prob.c.
References FALSE, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMING, SCIPcheckStage(), SCIPerrorMessage, SCIPprobSetObjIntegral(), and TRUE.
Referenced by readCol(), SCIPprobdataCreate(), and setupProblem().
returns whether the objective value is known to be integral in every feasible solution
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 1562 of file scip_prob.c.
References FALSE, obj, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMING, SCIP_VARTYPE_CONTINUOUS, SCIPABORT, SCIPcheckStage(), SCIPerrorMessage, SCIPisIntegral(), SCIPisZero(), SCIPprobIsObjIntegral(), SCIPvarGetObj(), SCIPvarGetType(), and TRUE.
Referenced by addAuxiliaryVariablesToMaster(), addTrustRegionConstraints(), aggregation(), computeCut(), createSubscip(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIPapplyProximity(), SCIPperformGenericDivingAlgorithm(), separateCuts(), setupSubScip(), and updateObjUpperbound().
returns the Euclidean norm of the objective function vector (available only for transformed problem)
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 1641 of file scip_prob.c.
References assert(), FALSE, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPlpGetObjNorm(), SCIPlpRecalculateObjSqrNorm(), and TRUE.
Referenced by createNewSol(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_HEUREXEC(), and separateCuts().
SCIP_RETCODE SCIPaddVar | ( | SCIP * | scip, |
SCIP_VAR * | var ) |
adds variable to the problem
scip
is in one of the following stages:
scip | SCIP data structure |
var | variable to add |
Definition at line 1668 of file scip_prob.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMING, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPaddVar(), SCIPcheckStage(), SCIPerrorMessage, SCIPprobAddVar(), SCIPvarGetNegationVar(), SCIPvarGetProbindex(), SCIPvarGetStatus(), TRUE, and var.
Referenced by addAuxiliaryVariablesToMaster(), addConstraintToBendersSubproblem(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addScenarioVarsToProb(), addSlackVars(), addVarCardinality(), aggregation(), appendVarCardinality(), applyFixings(), applyRepair(), consdataCreateBinvars(), convertLongEquality(), createAndAddAndCons(), createAuxVar(), createBlockproblem(), createCipFormulation(), createConstraint(), createConstraints(), createCoveringProblem(), createDisaggrVars(), createInitialColumns(), createKKTComplementarityBinary(), createKKTComplementarityBounds(), createKKTComplementarityLinear(), createKKTDualCons(), createMasterproblem(), createMIP(), createMipCpFormulation(), createMipFormulation(), createObjRow(), createOriginalproblem(), createPatternVars(), createProbQP(), createRelaxation(), createSubproblem(), createSubproblems(), createSubSCIP(), createSubscip(), createVariable(), createVariable(), createVariables(), AMPLProblemHandler::EndInput(), execmain(), getBinaryProductExprDo(), getFixedVariable(), getScenarioDecompVar(), getVariable(), getVariable(), getVariable(), initPricing(), main(), AMPLProblemHandler::OnBinaryLogical(), AMPLProblemHandler::OnHeader(), AMPLProblemHandler::OnObj(), AMPLProblemHandler::OnRelational(), presolveAddKKTLinearCons(), scipexamples::QueensSolver::QueensSolver(), readBounds(), readCnf(), readCols(), readLIBSVM(), readObjective(), readObjective(), readObjective(), readQMatrix(), readVariables(), reformulateFactorizedBinaryQuadratic(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_READERREAD(), SCIP_DECL_READERREAD(), SCIP_DECL_READERREAD(), SCIP_DECL_READERREAD(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPaddVar(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcreateConsCardinality(), SCIPcreateConsIndicatorGeneric(), SCIPcreateConsIndicatorGenericLinConsPure(), SCIPcreateSchedulingProblem(), SCIPgetVarCopy(), SCIPtransformMinUC(), SCIPverifyCircularPatternNLP(), setObjective(), setupAndSolveCumulativeSubscip(), setupAndSolveFiniteSolSubscip(), setupProblem(), setupProblem(), setupProblem(), setupProblem(), solveClassification(), solveMinIISC(), and solvePricingMINLP().
SCIP_RETCODE SCIPaddPricedVar | ( | SCIP * | scip, |
SCIP_VAR * | var, | ||
SCIP_Real | score ) |
adds variable to the problem and uses it as pricing candidate to enter the LP
scip
is in stage SCIP_STAGE_SOLVING scip | SCIP data structure |
var | variable to add |
score | pricing score of variable (the larger, the better the variable) |
Definition at line 1733 of file scip_prob.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPaddPricedVar(), SCIPcheckStage(), SCIPerrorMessage, SCIPpricestoreAddVar(), SCIPprobAddVar(), SCIPtreeGetCurrentDepth(), SCIPvarGetNegationVar(), SCIPvarGetProbindex(), SCIPvarGetStatus(), TRUE, and var.
Referenced by ObjPricerVRP::add_tour_variable(), addVariable(), SCIP_DECL_PRICERFARKAS(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_PRICERREDCOST(), and SCIPaddPricedVar().
SCIP_RETCODE SCIPdelVar | ( | SCIP * | scip, |
SCIP_VAR * | var, | ||
SCIP_Bool * | deleted ) |
removes variable from the problem
scip
is in one of the following stages:
removes variable from the problem
scip
is in one of the following stages:
scip | SCIP data structure |
var | variable to delete |
deleted | pointer to store whether marking variable to be deleted was successful |
Definition at line 1790 of file scip_prob.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_STAGE_FREETRANS, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_ORIGINAL, SCIPcheckStage(), SCIPerrorMessage, SCIPprobDelVar(), SCIPprobPerformVarDeletions(), SCIPvarGetStatus(), TRUE, and var.
Referenced by removeCoreVariablesAndConstraints(), and removeVariablesAndConstraintsFromMaster().
SCIP_RETCODE SCIPgetVarsData | ( | SCIP * | scip, |
SCIP_VAR *** | vars, | ||
int * | nvars, | ||
int * | nbinvars, | ||
int * | nintvars, | ||
int * | nimplvars, | ||
int * | ncontvars ) |
gets variables of the problem along with the numbers of different variable types; data may become invalid after calls to SCIPchgVarType(), SCIPfixVar(), SCIPaggregateVars(), and SCIPmultiaggregateVar()
scip
is in one of the following stages:
scip | SCIP data structure |
vars | pointer to store variables array or NULL if not needed |
nvars | pointer to store number of variables or NULL if not needed |
nbinvars | pointer to store number of binary variables or NULL if not needed |
nintvars | pointer to store number of integer variables or NULL if not needed |
nimplvars | pointer to store number of implicit integral vars or NULL if not needed |
ncontvars | pointer to store number of continuous variables or NULL if not needed |
Definition at line 1866 of file scip_prob.c.
References FALSE, nbinvars, nintvars, NULL, nvars, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPcheckStage(), SCIPerrorMessage, TRUE, and vars.
Referenced by addCut(), addLocalBranchingConstraint(), addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addObjcut(), addObjCutoff(), addTrustRegionConstraints(), alnsFixMoreVariables(), applyBoundHeur(), applyRepair(), applyVbounds(), checkCands(), checkSubproblemConvexity(), checkSubproblemIndependence(), computeCoverUndercover(), computeCut(), computeFixingrate(), copyVars(), countNonlinearities(), createCGCutCMIR(), createCGCutDirect(), createCGCuts(), createCGCutStrongCG(), createCGMIPprimalsols(), createCoveringProblem(), createGenVBound(), createNewSol(), createNewSol(), createNewSol(), createNewSols(), createSolFromNLP(), createSolFromSubScipSol(), createSubproblems(), createSubSCIP(), createSubSCIP(), DECL_CHANGESUBSCIP(), DECL_CHANGESUBSCIP(), DECL_CHANGESUBSCIP(), DECL_CHANGESUBSCIP(), DECL_CHANGESUBSCIP(), DECL_CHANGESUBSCIP(), DECL_CHANGESUBSCIP(), DECL_CHANGESUBSCIP(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), determineFixings(), determineMaxDistance(), determineVariableFixings(), determineVariableFixings(), determineVariableFixings(), executeLNSHeuristic(), filterBounds(), filterRound(), fixMatchingSolutionValues(), fixMatchingSolutionValues(), fixNonNeighborhoodVariables(), fixVariables(), getObjectiveFactor(), initBounds(), LNSFixMoreVariables(), performInteriorSolCutStrengthening(), performRelaxSimpleRounding(), presolveTwoOpt(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECSOL(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPaggrRowSumRows(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPapplyUndercover(), SCIPbendersApplyDecomposition(), SCIPbendersChgMastervarsToCont(), SCIPbendersSolSlackVarsActive(), SCIPcalcCliquePartition(), SCIPclearRelaxSolVals(), SCIPcopyImplicationsCliques(), SCIPpermuteProb(), SCIPsetRelaxSolValsSol(), SCIPtransformMinUC(), SCIPtranslateSubSol(), SCIPtranslateSubSols(), SCIPvariablegraphBreadthFirst(), SCIPwriteCliqueGraph(), selectInitialVariableDecomposition(), selectInitialVariableRandomly(), selectNextVariable(), separateGLS(), separateHeur(), separateOddCycles(), setAndUpdateCorePoint(), setupAggregationData(), setupAndSolveSubscip(), setupAndSolveSubscipLocalbranching(), setupAndSolveSubscipRapidlearning(), setupAndSolveSubscipTrustregion(), solCutIsViolated(), solveLp(), solveNLP(), solveSubproblem(), translateSubSol(), and writeBounds().
gets array with active problem variables
scip
is in one of the following stages:
gets array with active problem variables
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 1947 of file scip_prob.c.
References FALSE, NULL, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage(), SCIPerrorMessage, and TRUE.
Referenced by addCut(), addCut(), addFixedVarsConss(), addLocalBranchingConstraint(), addLocalBranchingConstraint(), addLowerboundCons(), alnsUnfixVariables(), applyCompletesol(), applyDeeperDomainReductions(), applyDomainReductions(), applyHeur(), applyNlobbt(), applyObbt(), applyObbtBilinear(), applyProbing(), applySingleDeeperDomainReductions(), branchOnVar(), branchruledataEnsureArraySize(), buildConvexCombination(), buildMod2Matrix(), calcEfficacy(), calcEfficacy(), calcEfficacyDenseStorageQuad(), calcMaxObjPseudoactivity(), checkExec(), checkGlobalProperties(), checkIISlocal(), checkSolution(), checkSymmetriesAreSymmetries(), checkSystemGF2(), componentSetupWorkingSol(), computeCut(), computeInitialKnapsackCover(), computeInteriorPoint(), computeNogoodCut(), computeStandardIntegerOptCut(), computeStandardLPFeasibilityCut(), computeStandardLPOptimalityCut(), computeSymmetryGroup(), constructSNFRelaxation(), createAuxiliaryNonlinearSubproblem(), createBlockproblem(), createMasterVarMapping(), createObjRow(), createSubproblem(), createSubSCIP(), createTcliqueGraph(), createVariableMappings(), cutsRoundMIR(), cutsRoundStrongCG(), cutsTransformKnapsackCover(), cutsTransformMIR(), cutsTransformStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), decompHorizonInitialize(), detectHiddenProducts(), detectMinors(), dfs(), domainReductionsCreate(), execRelpscost(), executeBranching(), filterCands(), filterExistingLP(), findComponents(), fixAndPropagate(), fullDualPresolve(), generateCloseCutPoint(), generateZerohalfCut(), getDecompVarsConssData(), getFactorizedBinaryQuadraticExpr(), getMaxactImplicObjchg(), getNLPVarsNonConvexity(), getRelDistance(), heurdataEnsureArraySize(), heurdataFreeArrays(), heurExec(), if(), improvePoint(), initConcsolver(), initData(), initializeCandsLists(), initImplGraphSOS1(), initProblem(), level2dataGetResult(), level2dataStoreResult(), LNSUnfixVariables(), mod2MatrixAddTransRow(), performBoundSubstitution(), performDualfix(), preprocessCliques(), presolRoundVarsSOS1(), projectVbd(), propagateAllConss(), propdataInit(), propdataInit(), readOPBFile(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeZeros(), removeZerosQuad(), reuseSolution(), reuseSolution(), sampleRandomPoints(), SCIP_DECL_BRANCHEXITSOL(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXITSOL(), SCIP_DECL_EVENTINIT(), SCIP_DECL_EVENTINITSOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIPaggrRowAddObjectiveFunction(), SCIPaggrRowPrint(), SCIPassignDecompLinkConss(), SCIPbendersMergeSubproblemIntoMaster(), SCIPbendersSetupSubproblem(), SCIPcreateNlpiProblemFromNlRows(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPgenerateAndApplyBendersOptCut(), SCIPgetVarStrongbranchWithPropagation(), SCIPmatrixCreate(), SCIPpropagateProbing(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPsnprintfProbingStats(), SCIPtransformDecompstore(), separateCuts(), separateCuts(), setObjProbing(), setupAndSolve(), setupAndSolve(), setupAndSolveSubscipMutation(), setupSubproblem(), setupSubScip(), setupSubScip(), tarjan(), tcliquegraphAddCliqueVars(), tightenWeightsLift(), transformNonIntegralRow(), updateFirstRow(), updateFirstRowGlobal(), and updateSubproblemLowerbound().
int SCIPgetNVars | ( | SCIP * | scip | ) |
gets number of active problem variables
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 1992 of file scip_prob.c.
References FALSE, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage(), SCIPerrorMessage, and TRUE.
Referenced by addFixedVarsConss(), addLowerboundCons(), addProductVars(), addScenarioVarsAndConsToProb(), addSymmetryInformation(), addSymmetryInformation(), addSymmetryInformation(), addSymmetryInformation(), addSymmetryInformation(), addSymmetryInformation(), addSymmetryInformation(), addSymmetryInformation(), addSymmetryInformation(), addSymmetryInformation(), addSymmetryInformation(), addSymmetryInformation(), addSymmetryInformation(), aggregateNextRow(), alnsUnfixVariables(), applyCompletesol(), applyDeeperDomainReductions(), applyDomainReductions(), applyHeur(), applyNlobbt(), applyObbt(), applyObbtBilinear(), applyProbing(), applySingleDeeperDomainReductions(), applyVbounds(), blockCreateSubscip(), branch(), branching(), branchingIntegralOrNonlinear(), branchOnVar(), branchruledataEnsureArraySize(), branchruledataEnsureNlcount(), buildConvexCombination(), buildMod2Matrix(), calcMaxObjPseudoactivity(), calcNlscore(), checkFixingrate(), checkIISlocal(), checkSolution(), checkSubproblemConvexity(), checkSymmetriesAreSymmetries(), checkSystemGF2(), collectBranchingCandidates(), collectBranchingCands(), componentSetupWorkingSol(), computeCut(), computeGradient(), computeInteriorPoint(), computeNogoodCut(), computeStandardIntegerOptCut(), computeStandardLPFeasibilityCut(), computeStandardLPOptimalityCut(), computeSymmetryGroup(), constructCompression(), copyProb(), copyVars(), correctConshdlrdata(), countSparseSol(), createAndSplitProblem(), createAndSplitProblem(), createAuxiliaryNonlinearSubproblem(), createBlockproblem(), createMasterVarMapping(), createNLP(), createObjRow(), createReaderdata(), createSepaData(), createSubproblem(), createSubSCIP(), createTcliqueGraph(), createVariableMappings(), cutsRoundMIR(), cutsRoundStrongCG(), cutsTransformMIR(), cutsTransformStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), DECL_NHINIT(), DECL_NHINIT(), DECL_NHINIT(), DECL_NHINIT(), decompHorizonInitialize(), detectHiddenProducts(), detectMinors(), detectMinors(), determineSymmetry(), dfs(), doCopy(), domainReductionsCreate(), doSolveSubMIP(), estimateSymgraphSize(), execRelpscost(), executeBranching(), fillDigraph(), fillVariableGraph(), filterExistingLP(), findComponents(), fullDualPresolve(), generateAndApplyBendersCuts(), generateCloseCutPoint(), generateClusterCuts(), generateZerohalfCut(), getDecompVarsConssData(), getFactorizedBinaryQuadraticExpr(), getMaxactImplicObjchg(), getMinsize(), getNLPVarsNonConvexity(), getNVarsIndicators(), getRelDistance(), getVarbufSize(), heurdataEnsureArraySize(), heurdataFreeArrays(), heurExec(), improvePoint(), initAlternativeLP(), initConcsolver(), initData(), initImplGraphSOS1(), initOrbits(), initProblem(), initPropdata(), insertZerolist(), LNSUnfixVariables(), mod2MatrixTransformContRows(), performDualfix(), performFixing(), preprocessCliques(), presolRoundVarsSOS1(), presolve(), presolveBinaryProducts(), printLongStatistics(), projectVbd(), propagateAllConss(), propdataInit(), propdataInit(), readCoefficients(), readOPBFile(), reinitBandit(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeRedundantConssAndNonzeros(), reoptimize(), reuseSolution(), reuseSolution(), sampleRandomPoints(), SCIP_DECL_BENDERSCUTEXEC(), SCIP_DECL_BENDERSCUTEXEC(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXITSOL(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSGETPERMSYMGRAPH(), SCIP_DECL_CONSGETPERMSYMGRAPH(), SCIP_DECL_CONSGETPERMSYMGRAPH(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_CUTSELSELECT(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXITSOL(), SCIP_DECL_EVENTINIT(), SCIP_DECL_EVENTINITSOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEURINIT(), SCIP_DECL_HEURINITSOL(), SCIP_DECL_HEURINITSOL(), SCIP_DECL_NLHDLRDETECT(), SCIP_DECL_NLHDLRDETECT(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECSOL(), SCIPaddNlpiProblemRows(), SCIPaggrRowAddObjectiveFunction(), SCIPaggrRowCopy(), SCIPaggrRowCreate(), SCIPaggrRowFree(), SCIPassignDecompLinkConss(), SCIPbendersMergeSubproblemIntoMaster(), SCIPbendersSetupSubproblem(), SCIPcalcFlowCover(), SCIPcalcKnapsackCover(), SCIPcalcMIR(), SCIPcalcStrongCG(), SCIPcleanupConssLogicor(), SCIPconcsolverCreateInstance(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPcreateNlpiProblemFromNlRows(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPgenerateAndApplyBendersOptCut(), SCIPgetConsCopy(), SCIPgetVarCopy(), SCIPgetVarStrongbranchWithPropagation(), SCIPmatrixCreate(), SCIPparseExpr(), SCIPperformGenericDivingAlgorithm(), SCIPpropagateProbing(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPsnprintfProbingStats(), SCIPsyncstoreInit(), SCIPtransformDecompstore(), SCIPtransformProb(), SCIPvariableGraphCreate(), SCIPvariableGraphFree(), scoreContainerCreate(), selectVarRecursive(), separateCuts(), separateCuts(), separateCuts(), separatePerspective(), separatePoint(), setObjProbing(), setSymmetryData(), setupAndSolve(), setupAndSolve(), setupAndSolveSubscip(), setupAndSolveSubscipMutation(), setupAndSolveSubscipOneopt(), setUpEvents(), setupProbingSCIP(), setupSubproblem(), setupSubScip(), setupSubScip(), shortenConss(), solveIndependentCons(), solveSubNLP(), storeVarExprs(), subscipdataCopySubscip(), tarjan(), tightenWeightsLift(), topologicalSort(), tryAdd2variableBuffer(), tryAdd2variableBuffer(), updateFirstRow(), updateFirstRowGlobal(), updateSubproblemLowerbound(), and wrapperDins().
int SCIPgetNBinVars | ( | SCIP * | scip | ) |
gets number of binary active problem variables
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 2037 of file scip_prob.c.
References FALSE, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage(), SCIPerrorMessage, and TRUE.
Referenced by addLocalBranchingConstraint(), addLocalBranchingConstraint(), aggregateNextRow(), alnsUnfixVariables(), applyCliqueFixings(), applyProbing(), blockCreateSubscip(), branchingIntegralFirst(), branchingIntegralOrNonlinear(), checkConsQuadraticProblem(), checkExec(), checkFixingrate(), checkGlobalProperties(), computeSymmetryGroup(), constructCompression(), constructCompression(), constructSNFRelaxation(), copyVars(), countSparseSol(), createSubSCIP(), createSubscip(), cutsTransformKnapsackCover(), DECL_CHANGESUBSCIP(), DECL_CHANGESUBSCIP(), DECL_CHANGESUBSCIP(), DECL_CHANGESUBSCIP(), DECL_NHDEACTIVATE(), DECL_NHDEACTIVATE(), DECL_NHDEACTIVATE(), DECL_NHDEACTIVATE(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), detectHiddenProducts(), determineSymmetry(), determineVariableFixingsDecomp(), dualPresolve(), extendToCover(), fixMatchingSolutionValues(), fixMatchingSolutionValues(), fullDualPresolve(), getClosestVlb(), getClosestVub(), getReward(), heurExec(), if(), initBranchruleData(), initializeCandsLists(), LNSUnfixVariables(), loadTcliquegraph(), mergeMultiples(), mergeMultiples(), neighborhoodFixVariables(), neighborhoodFixVariables(), preprocessCliques(), presolveBinaryProducts(), presolveImplint(), printLongStatistics(), propdataInit(), removeDoubleAndSingletonsAndPerformDualpresolve(), rollingHorizonCreate(), rollingHorizonRunAgain(), SCIP_DECL_BENDERSCUTEXEC(), SCIP_DECL_BENDERSCUTEXEC(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHINIT(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTINITSOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEURINITSOL(), SCIP_DECL_NLHDLRDETECT(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECSOL(), SCIPapplyProximity(), SCIPperformGenericDivingAlgorithm(), SCIPsnprintfProbingStats(), SCIPsolve(), scoreContainerCreate(), separateCuts(), separateOddCycles(), setupAndSolve(), setupAndSolve(), tcliquegraphAddCliqueVars(), tcliquegraphAddNode(), tcliquegraphCreate(), testSymmetryComputationRequired(), upgradeConss(), and wrapperDins().
int SCIPgetNIntVars | ( | SCIP * | scip | ) |
gets number of integer active problem variables
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 2082 of file scip_prob.c.
References FALSE, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage(), SCIPerrorMessage, and TRUE.
Referenced by aggregateNextRow(), alnsUnfixVariables(), applyProbing(), blockCreateSubscip(), branchingIntegralFirst(), branchingIntegralOrNonlinear(), checkConsQuadraticProblem(), checkExec(), checkFixingrate(), checkGlobalProperties(), constructCompression(), copyVars(), createSubSCIP(), createSubscip(), DECL_NHDEACTIVATE(), DECL_NHDEACTIVATE(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), determineSymmetry(), determineVariableFixingsDecomp(), extendToCover(), getReward(), if(), initBranchruleData(), initializeCandsLists(), LNSUnfixVariables(), mergeMultiples(), mergeMultiples(), neighborhoodFixVariables(), neighborhoodFixVariables(), presolveImplint(), prettifyConss(), printLongStatistics(), removeDoubleAndSingletonsAndPerformDualpresolve(), rollingHorizonCreate(), rollingHorizonRunAgain(), runBenders(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHINIT(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTINITSOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_SEPAEXECLP(), SCIPperformGenericDivingAlgorithm(), SCIPsnprintfProbingStats(), SCIPsolve(), scoreContainerCreate(), separateCuts(), setupAndSolve(), setupAndSolve(), testSymmetryComputationRequired(), and wrapperDins().
int SCIPgetNImplVars | ( | SCIP * | scip | ) |
gets number of implicit integer active problem variables
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 2127 of file scip_prob.c.
References FALSE, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage(), SCIPerrorMessage, and TRUE.
Referenced by aggregateNextRow(), applyProbing(), checkExec(), copyVars(), createSubscip(), decompHorizonInitialize(), determineSymmetry(), dualPresolve(), initializeCandsLists(), mergeMultiples(), mergeMultiples(), prettifyConss(), printLongStatistics(), removeDoubleAndSingletonsAndPerformDualpresolve(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_SEPAEXECLP(), SCIPsnprintfProbingStats(), separateCuts(), separateCuts(), setupAndSolve(), testSymmetryComputationRequired(), and upgradeConss().
int SCIPgetNContVars | ( | SCIP * | scip | ) |
gets number of continuous active problem variables
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 2172 of file scip_prob.c.
References FALSE, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage(), SCIPerrorMessage, and TRUE.
Referenced by aggregateNextRow(), buildMod2Matrix(), copyVars(), createSubscip(), cutsRoundMIR(), cutsRoundStrongCG(), cutsTransformMIR(), cutsTransformStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), decompHorizonInitialize(), determineSymmetry(), fullDualPresolve(), getMaxactImplicObjchg(), insertZerolist(), presolveImplint(), printLongStatistics(), propdataInit(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeRedundantConssAndNonzeros(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIPcalcStrongCG(), SCIPcleanupConssLogicor(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPpermuteProb(), SCIPseparateRelaxedKnapsack(), separateCuts(), setupAndSolve(), shortenConss(), tarjan(), testSymmetryComputationRequired(), tightenVariables(), and tightenWeightsLift().
int SCIPgetNObjVars | ( | SCIP * | scip | ) |
gets number of active problem variables with a non-zero objective coefficient
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 2220 of file scip_prob.c.
References FALSE, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage(), SCIPerrorMessage, SCIPprobGetNObjVars(), and TRUE.
Referenced by checkConsQuadraticProblem(), checkDivingCandidates(), checkExec(), checkParallelObjective(), checkParallelObjective(), checkPartialObjective(), createSubscip(), DECL_CHANGESUBSCIP(), DECL_CHANGESUBSCIP(), DECL_NHDEACTIVATE(), DECL_NHDEACTIVATE(), propdataInit(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), scoreBranchingCandidates(), setupAndSolveSubscip(), and setupSubproblem().
gets array with fixed and aggregated problem variables; data may become invalid after calls to SCIPfixVar(), SCIPaggregateVars(), and SCIPmultiaggregateVar()
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 2266 of file scip_prob.c.
References FALSE, NULL, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage(), SCIPerrorMessage, and TRUE.
Referenced by computeStandardLPOptimalityCut(), computeStandardNLPOptimalityCut(), copyVars(), correctConshdlrdata(), exitPresolve(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_PRESOLEXEC(), SCIPcreateFiniteSolCopy(), selectVarMultAggrBranching(), and updateConsanddataUses().
int SCIPgetNFixedVars | ( | SCIP * | scip | ) |
gets number of fixed or aggregated problem variables
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 2309 of file scip_prob.c.
References FALSE, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage(), SCIPerrorMessage, and TRUE.
Referenced by computeStandardLPOptimalityCut(), computeStandardNLPOptimalityCut(), copyVars(), correctConshdlrdata(), exitPresolve(), generateAndApplyBendersCuts(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_PRESOLEXEC(), SCIPapplyProximity(), SCIPcreateFiniteSolCopy(), SCIPgenerateAndApplyBendersOptCut(), selectVarMultAggrBranching(), setUpEvents(), and updateConsanddataUses().
SCIP_RETCODE SCIPgetOrigVarsData | ( | SCIP * | scip, |
SCIP_VAR *** | vars, | ||
int * | nvars, | ||
int * | nbinvars, | ||
int * | nintvars, | ||
int * | nimplvars, | ||
int * | ncontvars ) |
gets variables of the original problem along with the numbers of different variable types; data may become invalid after a call to SCIPchgVarType()
scip
is in one of the following stages:
scip | SCIP data structure |
vars | pointer to store variables array or NULL if not needed |
nvars | pointer to store number of variables or NULL if not needed |
nbinvars | pointer to store number of binary variables or NULL if not needed |
nintvars | pointer to store number of integer variables or NULL if not needed |
nimplvars | pointer to store number of implicit integral vars or NULL if not needed |
ncontvars | pointer to store number of continuous variables or NULL if not needed |
Definition at line 2357 of file scip_prob.c.
References FALSE, nbinvars, nintvars, NULL, nvars, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), TRUE, and vars.
Referenced by copyVars(), createSolFromNLP(), createSolFromSubScipSol(), forbidFixation(), freeMemory(), freeSubSCIP(), runBenders(), SCIP_DECL_CONSLOCK(), SCIP_DECL_READERREAD(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), and SCIPcreateFiniteSolCopy().
gets array with original problem variables; data may become invalid after a call to SCIPchgVarType()
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 2405 of file scip_prob.c.
References FALSE, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.
Referenced by blockCreateSubscip(), createSolFromSubScipSol(), createSubSCIP(), getDecompVarsConssData(), initializeSol(), maximalslack(), reoptimize(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIPapplyHeurDualval(), SCIPassignDecompLinkConss(), solveClassification(), and solveMinIISC().
int SCIPgetNOrigVars | ( | SCIP * | scip | ) |
gets number of original problem variables
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 2432 of file scip_prob.c.
References FALSE, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.
Referenced by blockCreateSubscip(), componentSetupWorkingSol(), constructCompression(), copyToSubscip(), createSolFromNLP(), createSolFromSubScipSol(), createSubSCIP(), getDecompVarsConssData(), getVarbufSize(), initializeSol(), maximalslack(), printLongStatistics(), reoptimize(), reoptimize(), runBenders(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTINIT(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIPcreateConcurrent(), SCIPcreateConsIndicatorGeneric(), SCIPcreateConsIndicatorGenericLinConsPure(), SCIPfreeConcurrent(), SCIPgetConcurrentVaridx(), SCIPreoptFree(), solveClassification(), solveCoveringProblem(), and solveMinIISC().
int SCIPgetNOrigBinVars | ( | SCIP * | scip | ) |
gets number of binary variables in the original problem
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 2459 of file scip_prob.c.
References FALSE, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.
Referenced by blockCreateSubscip(), solveClassification(), and solveMinIISC().
int SCIPgetNOrigIntVars | ( | SCIP * | scip | ) |
gets the number of integer variables in the original problem
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 2486 of file scip_prob.c.
References FALSE, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.
Referenced by blockCreateSubscip(), solveClassification(), and solveMinIISC().
int SCIPgetNOrigImplVars | ( | SCIP * | scip | ) |
gets number of implicit integer variables in the original problem
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 2513 of file scip_prob.c.
References FALSE, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.
int SCIPgetNOrigContVars | ( | SCIP * | scip | ) |
gets number of continuous variables in the original problem
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 2540 of file scip_prob.c.
References FALSE, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.
int SCIPgetNTotalVars | ( | SCIP * | scip | ) |
gets number of all problem variables created during creation and solving of problem; this includes also variables that were deleted in the meantime
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 2569 of file scip_prob.c.
References assert(), FALSE, NULL, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_FREETRANS, 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, SCIPABORT, SCIPcheckStage(), SCIPerrorMessage, and TRUE.
Referenced by addVarCardinality(), appendVarCardinality(), getFactorizedBinaryQuadraticExpr(), initConflictgraph(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSTRANS(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXITPRE(), SCIP_DECL_PROPPRESOL(), SCIPcreateConsCardinality(), SCIPisPackingPartitioningOrbitope(), SCIPwriteLp(), and SCIPwritePip().
SCIP_RETCODE SCIPgetSolVarsData | ( | SCIP * | scip, |
SCIP_SOL * | sol, | ||
SCIP_VAR *** | vars, | ||
int * | nvars, | ||
int * | nbinvars, | ||
int * | nintvars, | ||
int * | nimplvars, | ||
int * | ncontvars ) |
gets variables of the original or transformed problem along with the numbers of different variable types; the returned problem space (original or transformed) corresponds to the given solution; data may become invalid after calls to SCIPchgVarType(), SCIPfixVar(), SCIPaggregateVars(), and SCIPmultiaggregateVar()
scip
is in one of the following stages:
scip | SCIP data structure |
sol | primal solution that selects the problem space, NULL for current solution |
vars | pointer to store variables array or NULL if not needed |
nvars | pointer to store number of variables or NULL if not needed |
nbinvars | pointer to store number of binary variables or NULL if not needed |
nintvars | pointer to store number of integer variables or NULL if not needed |
nimplvars | pointer to store number of implicit integral vars or NULL if not needed |
ncontvars | pointer to store number of continuous variables or NULL if not needed |
Definition at line 2620 of file scip_prob.c.
References FALSE, nbinvars, nintvars, NULL, nvars, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_PROBLEM, SCIPcheckStage(), SCIPsolIsOriginal(), sol, TRUE, and vars.
Referenced by SCIP_DECL_CONSCHECK(), and SCIP_DECL_CONSGETDIVEBDCHGS().
returns variable of given name in the problem, or NULL if not existing
scip
is in one of the following stages:
scip | SCIP data structure |
name | name of variable to find |
Definition at line 2685 of file scip_prob.c.
References assert(), FALSE, NULL, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_FREETRANS, 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, SCIPABORT, SCIPcheckStage(), SCIPerrorMessage, SCIPprobFindVar(), TRUE, and var.
Referenced by addScenarioVarsAndConsToProb(), addVariableToStage(), assignAuxiliaryVariables(), constructCompression(), createVariableMappings(), findScenarioVar(), getScenarioDecompVar(), getVariable(), getVariable(), getVariable(), getVariableOrTerm(), initCurrent(), readBounds(), readCols(), readIndicators(), readQCMatrix(), readQMatrix(), readSol(), readSolFile(), readSOS(), readSos(), readXmlSolFile(), reoptimize(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), and SCIPparseVarName().
returns TRUE iff all potential variables exist in the problem, and FALSE, if there may be additional variables, that will be added in pricing and improve the objective value
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 2743 of file scip_prob.c.
References FALSE, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.
Referenced by createObjRow().
SCIP_RETCODE SCIPaddCons | ( | SCIP * | scip, |
SCIP_CONS * | cons ) |
adds constraint to the problem; if constraint is only valid locally, it is added to the local subproblem of the current node (and all of its subnodes); otherwise it is added to the global problem; if a local constraint is added at the root node, it is automatically upgraded into a global constraint
scip
is in one of the following stages:
adds constraint to the problem; if constraint is only valid locally, it is added to the local subproblem of the current node (and all of its subnodes); otherwise it is added to the global problem; if a local constraint is added at the root node, it is automatically upgraded into a global constraint
scip
is in one of the following stages:
scip | SCIP data structure |
cons | constraint to add |
Definition at line 2770 of file scip_prob.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPcheckStage(), SCIPconsIsGlobal(), SCIPconsSetLocal(), SCIPerrorMessage, SCIPnodeAddCons(), SCIPprobAddCons(), SCIPreoptAddCons(), SCIPtreeGetCurrentDepth(), SCIPtreeGetCurrentNode(), SCIPtreeGetEffectiveRootDepth(), and TRUE.
Referenced by addBranchingDecisionConss(), addCliques(), addConstraintToBendersSubproblem(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addExtraCliques(), addFixedVarsConss(), addLocalBranchingConstraint(), addLocalBranchingConstraint(), addLocalBranchingConstraint(), addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addLowerboundCons(), addOrbitopesDynamic(), addOrbitopeSubgroup(), addScenarioConsToProb(), addSSTConssOrbitAndUpdateSST(), addStrongSBCsSubgroup(), addSymresackConss(), addTrustRegionConstraints(), addWeakSBCsSubgroup(), adjustOversizedJobBounds(), aggregateConstraints(), aggregation(), applyFixings(), applyFixings(), applyFixings(), applyFixings(), applyObbtBilinear(), applyRepair(), BENDERS_CUTORACLE(), BENDERS_CUTORACLE(), cancelRow(), cliquePresolve(), cliquePresolve(), COLORprobSetUpArrayOfCons(), componentPackingPartitioningOrbisackUpgrade(), consdataCollectLinkingCons(), consdataLinearize(), consdataLinearize(), copyCuts(), copyToSubscip(), copyToSubscip(), copyToSubscip(), CREATE_CONSTRAINT(), CREATE_CONSTRAINT(), CREATE_CONSTRAINT(), createAndAddAndCons(), createAndAddLinearCons(), createAndAddTransferredCut(), createAndApplyStoredBendersCut(), createBlockproblem(), createBounddisjunctionCons(), createCapacityRestriction(), createCipFormulation(), createConflict(), createConflictCons(), createConsCumulative(), createConstraint(), createConstraints(), createCoveringProblem(), createCumulativeCons(), createIndicatorConstraint(), createIntervalRelaxation(), createKKTComplementarityBinary(), createKKTComplementarityBounds(), createKKTComplementarityLinear(), createLinearCons(), createMasterproblem(), createMIP(), createMipCpFormulation(), createMipFormulation(), createOriginalproblem(), createPrecedenceCons(), createProbOnlyEdge(), createProbQP(), createProbSimplified(), createProbSimplifiedTest(), createQuadraticCons(), createRow(), createRows(), createRows(), createSetPackingCons(), createSubproblem(), createSubproblems(), createSubSCIP(), createSubscip(), createVarboundCons(), createVarUbs(), CUTOFF_CONSTRAINT(), CUTOFF_CONSTRAINT(), deleteRedundantVars(), detectAndHandleSubgroups(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), AMPLProblemHandler::EndInput(), execmain(), extendToCover(), extensionOperatorSOS1(), extractGates(), findAggregation(), fixDeleteOrUpgradeCons(), forbidCover(), forbidFixation(), generateAndApplyBendersCuts(), generateAndApplyBendersIntegerCuts(), generateAndApplyBendersNogoodCut(), getBinaryProductExprDo(), getConstraint(), getFixedVariable(), handleDoublelLexMatrix(), handleOrbitope(), initPricing(), main(), AMPLProblemHandler::OnBinaryLogical(), AMPLProblemHandler::OnLogicalCon(), AMPLProblemHandler::OnRelational(), performImplicationGraphAnalysis(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolveSingleLockedVars(), presolveUpgrade(), processNlRow(), processRealBoundChg(), propIndicator(), scipexamples::QueensSolver::QueensSolver(), readBounds(), readCnf(), readConstraints(), readConstraints(), readConstraints(), readIndicators(), readLIBSVM(), readObjective(), readObjective(), readOPBFile(), readQCMatrix(), readQMatrix(), readRows(), readSemicontinuous(), readSOS(), readSos(), readSOScons(), readVariables(), reformulateFactorizedBinaryQuadratic(), removeConstraintsDueToNegCliques(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_READERREAD(), SCIP_DECL_READERREAD(), SCIPaddConflict(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPapplyProximity(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPcreateConsIndicatorGeneric(), SCIPcreateSchedulingProblem(), SCIPgenerateAndApplyBendersOptCut(), SCIPgetVarCopy(), SCIPprobdataCreate(), SCIPreoptApplyGlbConss(), SCIPtransformMinUC(), SCIPverifyCircularPatternNLP(), setObjective(), setupAndSolveCumulativeSubscip(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscip(), setupProblem(), setupProblem(), setupProblem(), setupProblem(), setupProblem(), setupSubproblem(), setupSubScip(), setupSubScip(), solvePricingMINLP(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeCons(), upgradeCons(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
SCIP_RETCODE SCIPdelCons | ( | SCIP * | scip, |
SCIP_CONS * | cons ) |
globally removes constraint from all subproblems; removes constraint from the constraint set change data of the node, where it was added, or from the problem, if it was a problem constraint
scip
is in one of the following stages:
scip | SCIP data structure |
cons | constraint to delete |
Definition at line 2843 of file scip_prob.c.
References SCIP_Cons::addconssetchg, assert(), FALSE, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVING, SCIPcheckStage(), SCIPconsDelete(), SCIPconsIsAdded(), SCIPerrorMessage, and TRUE.
Referenced by aggregateConstraints(), applyFixings(), applyFixings(), applyFixings(), cancelRow(), canonicalizeConstraints(), checkForOverlapping(), cliquePresolve(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), convertBinaryEquality(), convertLongEquality(), convertUnaryEquality(), correctConshdlrdata(), createSubSCIP(), createVarUbs(), deleteTrivilCons(), detectRedundantConstraints(), detectRedundantConstraints(), detectRedundantConstraints(), detectRedundantConstraints(), detectRedundantConstraints(), detectRedundantConstraints(), disableCons(), disableCons(), dualPresolve(), dualPresolve(), dualPresolving(), dualPresolving(), dualPresolving(), dualWeightsTightening(), executeStrongBranching(), extractGates(), findAggregation(), fixDeleteOrUpgradeCons(), liftCliqueVariables(), mergeMultiples(), mergeMultiples(), prepareCons(), prepareCons(), preprocessConstraintPairs(), preprocessConstraintPairs(), preprocessConstraintPairs(), preprocessConstraintPairs(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundConssSOS1(), presolRoundIndicator(), presolRoundSOS2(), presolveAddKKTKnapsackConss(), presolveAddKKTLinearConss(), presolveAddKKTLogicorConss(), presolveAddKKTSetppcConss(), presolveAddKKTVarboundConss(), presolveMergeConss(), presolvePropagateCons(), presolveUpgrade(), propagateCons(), propagateCons(), readQCMatrix(), removeConstraintsDueToNegCliques(), removeCoreVariablesAndConstraints(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeRedundantCons(), removeRedundantCons(), removeRedundantConss(), removeRedundantNonZeros(), removeVariablesAndConstraintsFromMaster(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIPcleanupConssLogicor(), SCIPmatrixCreate(), SCIPsetLinearConsIndicator(), SCIPtransformMinUC(), shortenConss(), solveAndEvalSubscip(), tightenCoefs(), tightenWeights(), tryUpgrading(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), updateConsanddataUses(), upgradeCons(), upgradeCons(), upgradeCons(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
returns original constraint of given name in the problem, or NULL if not existing
scip
is in one of the following stages:
returns original constraint of given name in the problem, or NULL if not existing
scip
is in one of the following stages:
scip | SCIP data structure |
name | name of constraint to find |
Definition at line 2898 of file scip_prob.c.
References assert(), FALSE, NULL, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_FREETRANS, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIPABORT, SCIPcheckStage(), SCIPerrorMessage, SCIPprobFindCons(), and TRUE.
Referenced by SCIP_DECL_CONSPRESOL().
returns constraint of given name in the problem, or NULL if not existing
scip
is in one of the following stages:
scip | SCIP data structure |
name | name of constraint to find |
Definition at line 2947 of file scip_prob.c.
References assert(), FALSE, NULL, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_FREETRANS, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIPABORT, SCIPcheckStage(), SCIPerrorMessage, SCIPprobFindCons(), and TRUE.
Referenced by addConstraintToStage(), addScenarioVarsAndConsToProb(), readCols(), readDecomposition(), readIndicators(), readQCMatrix(), readRanges(), readRhs(), readRows(), SCIP_DECL_CONSPARSE(), and writeOpbObjective().
int SCIPgetNUpgrConss | ( | SCIP * | scip | ) |
gets number of upgraded constraints
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 3000 of file scip_prob.c.
References FALSE, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage(), SCIPerrorMessage, and TRUE.
int SCIPgetNConss | ( | SCIP * | scip | ) |
gets total number of globally valid constraints currently in the problem
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 3042 of file scip_prob.c.
References FALSE, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage(), SCIPerrorMessage, and TRUE.
Referenced by checkConsQuadraticProblem(), checkSymmetriesAreSymmetries(), computeSymmetryGroup(), copyProb(), copyVars(), createAltLP(), createAltLP(), createSubSCIP(), createSubSCIP(), detectAndHandleSubgroups(), doCopy(), estimateSymgraphSize(), fillVariableGraph(), findComponents(), getDecompVarsConssData(), getOriginalRows(), presolve(), printLongStatistics(), readCoefficients(), readDecomposition(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPapplyLockFixings(), SCIPapplyUndercover(), SCIPbendersApplyDecomposition(), SCIPbendersMergeSubproblemIntoMaster(), SCIPclassifyConstraintTypesLinear(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPgetConsCopy(), SCIPgetVarCopy(), SCIPmatrixCreate(), SCIPtransformDecompstore(), SCIPtransformMinUC(), SCIPtransformProb(), SCIPvariableGraphCreate(), setupAndSolve(), setupAndSolve(), setupAndSolveSubscip(), solveIndependentCons(), and wrapperDins().
gets array of globally valid constraints currently in the problem
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 3088 of file scip_prob.c.
References FALSE, NULL, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage(), SCIPerrorMessage, and TRUE.
Referenced by checkSymmetriesAreSymmetries(), computeSymmetryGroup(), createAltLP(), createAltLP(), estimateSymgraphSize(), fillVariableGraph(), findComponents(), getDecompVarsConssData(), getOriginalRows(), readDecomposition(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_RELAXEXEC(), SCIPbendersApplyDecomposition(), SCIPbendersMergeSubproblemIntoMaster(), SCIPclassifyConstraintTypesLinear(), SCIPtransformDecompstore(), and SCIPtransformMinUC().
int SCIPgetNOrigConss | ( | SCIP * | scip | ) |
gets total number of constraints in the original problem
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 3134 of file scip_prob.c.
References FALSE, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.
Referenced by addSlackVarsToConstraints(), checkSubproblemConvexity(), computeAndConstraintInfos(), createSubSCIP(), getDecompVarsConssData(), printLongStatistics(), runBenders(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXIT(), SCIP_DECL_READERREAD(), SCIPapplyHeurDualval(), and SCIPcopyOrigConss().
gets array of constraints in the original problem
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 3161 of file scip_prob.c.
References FALSE, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.
Referenced by addSlackVarsToConstraints(), checkSubproblemConvexity(), computeAndConstraintInfos(), createSubSCIP(), getDecompVarsConssData(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXIT(), SCIPapplyHeurDualval(), and SCIPcopyOrigConss().
int SCIPgetNCheckConss | ( | SCIP * | scip | ) |
computes the number of check constraint in the current node (loop over all constraint handler and cumulates the number of check constraints)
scip
is in one of the following stages:
scip | SCIP data structure |
Definition at line 3184 of file scip_prob.c.
References assert(), c, FALSE, NULL, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPconshdlrGetNCheckConss(), SCIPgetConshdlrs(), SCIPgetNConshdlrs(), and TRUE.
Referenced by SCIPapplyLockFixings(), and solveIndependentCons().