Detailed Description
methods to create, read and modify a global problem together with its callbacks
Function Documentation
◆ SCIPcreateProb()
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.
- Returns
- SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Postcondition
- After calling this method, SCIP reaches the following stage:
- Parameters
-
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 Scip::conflictstore, Scip::decompstore, FALSE, Scip::mem, Scip::messagehdlr, NULL, Scip::origprimal, Scip::origprob, SCIP_Mem::probmem, SCIP_Set::reopt_enable, SCIP_CALL, SCIP_DECOMPSTORE_CAPA, SCIP_OKAY, SCIP_STAGE_INIT, SCIP_STAGE_PROBLEM, SCIPblkmem(), SCIPcheckStage(), SCIPconflictstoreCreate(), SCIPdecompstoreCreate(), SCIPenableReoptimization(), SCIPfreeProb(), SCIPprimalCreate(), SCIPprobCreate(), SCIPstatCreate(), Scip::set, SCIP_Set::stage, Scip::stat, and TRUE.
Referenced by AMPLProblemHandler::AMPLProblemHandler(), applyRepair(), copyToSubscip(), createCoveringProblem(), createSubSCIP(), createSubscip(), execmain(), scipexamples::QueensSolver::QueensSolver(), readFZNFile(), readLPFile(), readMps(), readOPBFile(), readPIPFile(), SCIP_DECL_READERREAD(), SCIPcopyLargeNeighborhoodSearch(), SCIPcreateObjProb(), SCIPcreateProbBasic(), SCIPcreateProbColoring(), SCIPcreateSchedulingProblem(), solveClassification(), and solveMinIISC().
◆ SCIPcreateProbBasic()
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.
- Returns
- SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Postcondition
- After calling this method, SCIP reaches the following stage:
- Parameters
-
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(), infinityCountUpdate(), main(), readFile(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_READERREAD(), SCIP_DECL_SOLVECUMULATIVE(), SCIPbendersApplyDecomposition(), SCIPcreateProbCyc(), SCIPprobdataCreate(), SCIPverifyCircularPatternNLP(), setupAndSolveCumulativeSubscip(), setupProblem(), setupSubscipLpface(), solveClassification(), and solvePricingMINLP().
◆ SCIPsetProbDelorig()
SCIP_RETCODE SCIPsetProbDelorig | ( | SCIP * | scip, |
SCIP_DECL_PROBDELORIG((*probdelorig)) | |||
) |
sets callback to free user data of original problem
- Returns
- SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 200 of file scip_prob.c.
References FALSE, NULL, Scip::origprob, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPprobSetDelorig(), and TRUE.
Referenced by SCIPcreateProbCyc(), and SCIPprobdataCreate().
◆ SCIPsetProbTrans()
SCIP_RETCODE SCIPsetProbTrans | ( | SCIP * | scip, |
SCIP_DECL_PROBTRANS((*probtrans)) | |||
) |
sets callback to create user data of transformed problem by transforming original user data
- Returns
- SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 221 of file scip_prob.c.
References FALSE, NULL, Scip::origprob, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPprobSetTrans(), and TRUE.
Referenced by SCIPcreateProbCyc(), and SCIPprobdataCreate().
◆ SCIPsetProbDeltrans()
SCIP_RETCODE SCIPsetProbDeltrans | ( | SCIP * | scip, |
SCIP_DECL_PROBDELTRANS((*probdeltrans)) | |||
) |
sets callback to free user data of transformed problem
- Returns
- SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 242 of file scip_prob.c.
References FALSE, NULL, Scip::origprob, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPprobSetDeltrans(), and TRUE.
Referenced by SCIPcreateProbCyc(), and SCIPprobdataCreate().
◆ SCIPsetProbInitsol()
SCIP_RETCODE SCIPsetProbInitsol | ( | SCIP * | scip, |
SCIP_DECL_PROBINITSOL((*probinitsol)) | |||
) |
sets solving process initialization callback of transformed data
- Returns
- SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 263 of file scip_prob.c.
References FALSE, NULL, Scip::origprob, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPprobSetInitsol(), and TRUE.
Referenced by SCIPprobdataCreate().
◆ SCIPsetProbExitsol()
SCIP_RETCODE SCIPsetProbExitsol | ( | SCIP * | scip, |
SCIP_DECL_PROBEXITSOL((*probexitsol)) | |||
) |
sets solving process deinitialization callback of transformed data
- Returns
- SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 285 of file scip_prob.c.
References FALSE, NULL, Scip::origprob, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPprobSetExitsol(), and TRUE.
Referenced by SCIPprobdataCreate().
◆ SCIPsetProbCopy()
SCIP_RETCODE SCIPsetProbCopy | ( | SCIP * | scip, |
SCIP_DECL_PROBCOPY((*probcopy)) | |||
) |
sets callback to copy user data to a subscip
- Returns
- SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 306 of file scip_prob.c.
References FALSE, NULL, Scip::origprob, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPprobSetCopy(), and TRUE.
Referenced by SCIPcreateProbCyc().
◆ SCIPreadProb()
SCIP_RETCODE SCIPreadProb | ( | SCIP * | scip, |
const char * | filename, | ||
const char * | extension | ||
) |
reads problem from file and initializes all solving data structures
- Returns
- SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Postcondition
- After the method was called, SCIP is in one of the following stages:
- SCIP_STAGE_INIT if reading failed (usually, when a SCIP_READERROR occurs)
- SCIP_STAGE_PROBLEM if the problem file was successfully read
- Parameters
-
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 SCIP_Cons::conshdlr, SCIP_Set::conshdlrs, SCIP_Prob::conss, SCIP_Set::disp_verblevel, FALSE, h, Scip::messagehdlr, SCIP_Prob::nbinvars, SCIP_Set::nconshdlrs, SCIP_Prob::nconss, SCIP_Prob::ncontvars, SCIP_Prob::nimplvars, SCIP_Prob::nintvars, SCIP_Set::nreaders, NULL, SCIP_Prob::nvars, Scip::origprob, SCIP_Set::random_permutationseed, SCIP_Set::random_permuteconss, SCIP_Set::random_permutevars, SCIP_Set::readers, SCIP_Bool, SCIP_CALL, SCIP_DIDNOTRUN, SCIP_NOFILE, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_READERROR, SCIP_Real, SCIP_SUCCESS, SCIP_VERBLEVEL_FULL, SCIP_VERBLEVEL_NORMAL, SCIPallocClearBufferArray, SCIPcheckStage(), SCIPclockSetTime(), SCIPconshdlrGetName(), SCIPduplicateBufferArray, SCIPerrorMessage, SCIPfreeBufferArray, SCIPgetBoolParam(), SCIPgetReadingTime(), SCIPmessagePrintVerbInfo(), SCIPpermuteProb(), SCIPreaderGetName(), SCIPreaderRead(), SCIPsplitFilename(), Scip::set, SCIP_Stat::solvingtime, Scip::stat, SCIP_Set::time_reading, and TRUE.
Referenced by fromAmpl(), fromCommandLine(), SCIP_DECL_DIALOGEXEC(), SCIPreadSol(), and solveMinIISC().
◆ SCIPwriteOrigProblem()
SCIP_RETCODE SCIPwriteOrigProblem | ( | SCIP * | scip, |
const char * | filename, | ||
const char * | extension, | ||
SCIP_Bool | genericnames | ||
) |
writes original problem to file
- Returns
- SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure 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 609 of file scip_prob.c.
References FALSE, NULL, Scip::origprob, SCIP_CALL, SCIP_FILECREATEERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_WRITEERROR, SCIPcheckStage(), TRUE, and writeProblem().
Referenced by createSubscip(), infinityCountUpdate(), SCIP_DECL_HEUREXEC(), setupAndSolveSubscipCrossover(), solveClassification(), solveSubscipLpface(), and writeProblem().
◆ SCIPwriteTransProblem()
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
- Returns
- SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Note
- If you want the write all constraints (including the once which are redundant for example), you need to set the parameter <write/allconss> to TRUE
- Parameters
-
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 656 of file scip_prob.c.
References FALSE, NULL, SCIP_CALL, SCIP_FILECREATEERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_WRITEERROR, SCIPcheckStage(), Scip::transprob, TRUE, and writeProblem().
Referenced by enforceIndicators(), ObjPricerVRP::pricing(), SCIP_DECL_HEUREXEC(), SCIPincludePresolMILP(), and writeProblem().
◆ SCIPfreeProb()
SCIP_RETCODE SCIPfreeProb | ( | SCIP * | scip | ) |
frees problem and solution process data
- Returns
- SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Postcondition
- After this method was called, SCIP is in the following stage:
- Parameters
-
scip SCIP data structure
Definition at line 702 of file scip_prob.c.
References SCIP_Set::benders, Scip::conflictstore, Scip::decompstore, Scip::eventqueue, FALSE, Scip::lp, Scip::mem, Scip::messagehdlr, SCIP_Set::misc_transsolsorig, SCIP_Set::nactivebenders, SCIP_Set::nactivepricers, SCIP_Set::nconcsolvers, SCIP_Set::nreaders, NULL, Scip::origprimal, Scip::origprob, SCIP_Set::pricers, SCIP_Mem::probmem, SCIP_Set::readers, Scip::reopt, SCIP_Bool, 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(), Scip::set, SCIP_Set::stage, Scip::stat, Scip::syncstore, and TRUE.
Referenced by copyProb(), readFZNFile(), SCIP_DECL_DIALOGEXEC(), SCIPcreateProb(), and SCIPfree().
◆ SCIPpermuteProb()
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
- Returns
- SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
permutes parts of the problem data structure
- Returns
- SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure 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 789 of file scip_prob.c.
References SCIP_Prob::conss, SCIP_Set::disp_verblevel, FALSE, Scip::messagehdlr, SCIP_Prob::nconss, NULL, Scip::origprob, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_VERBLEVEL_HIGH, SCIPcheckStage(), SCIPconshdlrGetConss(), SCIPconshdlrGetNActiveConss(), SCIPcreateRandom(), SCIPfreeRandom(), SCIPgetConshdlrs(), SCIPgetNConshdlrs(), SCIPgetNContVars(), SCIPgetVarsData(), SCIPisTransformed(), SCIPmessagePrintVerbInfo(), SCIPprobIsPermuted(), SCIPprobMarkPermuted(), SCIPrandomPermuteArray(), Scip::set, Scip::transprob, and TRUE.
Referenced by SCIPreadProb(), SCIPtransformProb(), and setupAndSolveSubscipCrossover().
◆ SCIPgetProbData()
SCIP_PROBDATA* SCIPgetProbData | ( | SCIP * | scip | ) |
gets user problem data
- Returns
- a SCIP_PROBDATA pointer, or NULL if no problem data was allocated
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 972 of file scip_prob.c.
References FALSE, NULL, Scip::origprob, 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(), Scip::set, SCIP_Set::stage, Scip::transprob, 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_PRICERREDCOST(), SCIP_DECL_TABLEOUTPUT(), SCIPcycGetBinvars(), SCIPcycGetCmatrix(), SCIPcycGetEdgeGraph(), SCIPcycGetEdgevars(), SCIPcycGetNBins(), SCIPcycGetNCluster(), SCIPcycGetScale(), SCIPcycPrintSolutionValues(), SCIPgetObjProbData(), SCIPprobdataSetupProblem(), SCIPvardataPrint(), and SCIPwriteSolutionNl().
◆ SCIPsetProbData()
SCIP_RETCODE SCIPsetProbData | ( | SCIP * | scip, |
SCIP_PROBDATA * | probdata | ||
) |
sets user problem data
- Returns
- SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure probdata user problem data to use
Definition at line 1022 of file scip_prob.c.
References FALSE, Scip::origprob, 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(), Scip::set, SCIP_Set::stage, Scip::transprob, and TRUE.
Referenced by probdataFree(), SCIPcreateProbCyc(), and SCIPprobdataCreate().
◆ SCIPgetProbName()
const char* SCIPgetProbName | ( | SCIP * | scip | ) |
returns name of the current problem instance
- Returns
- name of the current problem instance
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 1075 of file scip_prob.c.
References FALSE, Scip::origprob, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPprobGetName(), and TRUE.
Referenced by addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addScenarioVarsAndConsToProb(), addTrustRegionConstraints(), applyRepair(), checkSubproblemConvexity(), createBlockproblem(), createCoveringProblem(), createSubSCIP(), createSubscip(), detectMinors(), doCopy(), findBestObjectiveValue(), initData(), initProblem(), printLongStatistics(), propdataInit(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_READERREAD(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPbendersApplyDecomposition(), SCIPcopyLargeNeighborhoodSearch(), SCIPincludePresolMILP(), SCIPvarUpdatePseudocost(), separateGLS(), setupSubscipLpface(), solveComponent(), and solveSubNLP().
◆ SCIPsetProbName()
SCIP_RETCODE SCIPsetProbName | ( | SCIP * | scip, |
const char * | name | ||
) |
sets name of the current problem instance
- Returns
- SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure name name to be set
Definition at line 1103 of file scip_prob.c.
References FALSE, Scip::origprob, SCIP_CALL, SCIPcheckStage(), SCIPprobSetName(), and TRUE.
Referenced by getStatistics().
◆ SCIPchgReoptObjective()
SCIP_RETCODE SCIPchgReoptObjective | ( | SCIP * | scip, |
SCIP_OBJSENSE | objsense, | ||
SCIP_VAR ** | vars, | ||
SCIP_Real * | coefs, | ||
int | nvars | ||
) |
changes the objective function
- Returns
- SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Note
- This method should be only used to change the objective function during two reoptimization runs and is only recommended to an experienced user.
-
All variables not given in
vars
array are assumed to have an objective coefficient of zero.
changes the objective function of the original problem.
- Returns
- SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Note
- This method should be only used to change the objective function during two reoptimization runs and is only recommended to an experienced user.
-
All variables not given in
vars
array are assumed to have an objective coefficient of zero.
- Parameters
-
scip SCIP data structure objsense new objective function vars original problem variables coefs objective coefficients nvars variables in vars array
Definition at line 1127 of file scip_prob.c.
References FALSE, NULL, SCIP_Prob::nvars, SCIP_Prob::objisintegral, SCIP_Prob::objoffset, SCIP_Prob::objscale, SCIP_Prob::objsense, Scip::origprob, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIP_STAGE_TRANSFORMED, SCIPaddVarObj(), SCIPcheckStage(), SCIPchgVarObj(), SCIPdebugMsg, SCIPerrorMessage, SCIPisPositive(), SCIPisZero(), SCIPvarGetName(), SCIPvarGetObj(), SCIPvarGetStatus(), SCIPvarIsOriginal(), Scip::set, SCIP_Set::stage, Scip::transprob, TRUE, and SCIP_Prob::vars.
Referenced by readObjective().
◆ SCIPgetObjsense()
SCIP_OBJSENSE SCIPgetObjsense | ( | SCIP * | scip | ) |
returns objective sense of original problem
- Returns
- objective sense of original problem
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 1233 of file scip_prob.c.
References FALSE, SCIP_Prob::objsense, Scip::origprob, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.
Referenced by computeStandardIntegerOptCut(), computeStandardNLPOptimalityCut(), createSubproblem(), AMPLProblemHandler::EndInput(), generateAndApplyBendersIntegerCuts(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTINIT(), SCIP_DECL_READERREAD(), SCIPbendersComputeSubproblemLowerbound(), SCIPbendersExec(), SCIPbendersExecSubproblemSolve(), SCIPbendersSolveSubproblem(), SCIPbendersSolveSubproblemLP(), SCIPcopyOrigProb(), SCIPgetDualSolVal(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPmakeSOS1sFeasible(), SCIPprintStage(), SCIPvalidateSolve(), SCIPvisualLowerbound(), SCIPvisualUpperbound(), and SCIPwriteSolutionNl().
◆ SCIPsetObjsense()
SCIP_RETCODE SCIPsetObjsense | ( | SCIP * | scip, |
SCIP_OBJSENSE | objsense | ||
) |
sets objective sense of problem
- Returns
- SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure objsense new objective sense
Definition at line 1250 of file scip_prob.c.
References FALSE, Scip::origprob, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OBJSENSE_MAXIMIZE, SCIP_OBJSENSE_MINIMIZE, SCIP_OKAY, SCIPcheckStage(), SCIPerrorMessage, SCIPprobSetObjsense(), and TRUE.
Referenced by createMIP(), createProbQP(), createSubscip(), createVariables(), getObjective(), infinityCountUpdate(), main(), AMPLProblemHandler::OnObj(), scipexamples::QueensSolver::QueensSolver(), readCnf(), readFZNFile(), readMps(), readObjective(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_READERREAD(), SCIPcopyOrigProb(), SCIPprobdataCreate(), SCIPreadLp(), SCIPreadOpb(), SCIPreadPip(), SCIPtransformMinUC(), setupProblem(), solveClassification(), and solveMinIISC().
◆ SCIPaddObjoffset()
SCIP_RETCODE SCIPaddObjoffset | ( | SCIP * | scip, |
SCIP_Real | addval | ||
) |
adds offset of objective function
- Returns
- SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure addval value to add to objective offset
Definition at line 1276 of file scip_prob.c.
References Scip::eventfilter, Scip::eventqueue, FALSE, Scip::lp, Scip::origprob, Scip::primal, Scip::reopt, SCIP_CALL, SCIP_OKAY, SCIPblkmem(), SCIPcheckStage(), SCIPprimalUpdateObjoffset(), SCIPprobAddObjoffset(), Scip::set, Scip::stat, Scip::transprob, Scip::tree, and TRUE.
◆ SCIPaddOrigObjoffset()
SCIP_RETCODE SCIPaddOrigObjoffset | ( | SCIP * | scip, |
SCIP_Real | addval | ||
) |
adds offset of objective function to original problem and to all existing solution in original space
- Returns
- SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure addval value to add to objective offset
Definition at line 1298 of file scip_prob.c.
References FALSE, SCIP_Prob::objoffset, Scip::origprimal, Scip::origprob, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPprimalAddOrigObjoffset(), Scip::set, and TRUE.
Referenced by createProbSimplified(), getObjectiveFactor(), readObjective(), readOPBFile(), readRhs(), SCIPcopyOrigProb(), and setObjective().
◆ SCIPgetOrigObjoffset()
returns the objective offset of the original problem
- Returns
- the objective offset of the original problem
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 1327 of file scip_prob.c.
References FALSE, SCIP_Prob::objoffset, Scip::origprob, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.
Referenced by applyBounding(), SCIPcopyOrigProb(), and SCIPmergeVariableStatistics().
◆ SCIPgetOrigObjscale()
returns the objective scale of the original problem
- Returns
- the objective scale of the original problem
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 1352 of file scip_prob.c.
References FALSE, SCIP_Prob::objscale, Scip::origprob, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.
Referenced by SCIPmergeVariableStatistics().
◆ SCIPgetTransObjoffset()
returns the objective offset of the transformed problem
- Returns
- the objective offset of the transformed problem
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 1375 of file scip_prob.c.
References FALSE, SCIP_Prob::objoffset, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::transprob, and TRUE.
Referenced by applyDomainChanges(), computeStandardNLPOptimalityCut(), getGenVBoundsBound(), SCIPgenVBoundAdd(), and writeBounds().
◆ SCIPgetTransObjscale()
returns the objective scale of the transformed problem
- Returns
- the objective scale of the transformed problem
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 1398 of file scip_prob.c.
References FALSE, SCIP_Prob::objscale, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::transprob, and TRUE.
Referenced by applyDomainChanges(), computeStandardNLPOptimalityCut(), getGenVBoundsBound(), SCIPgenVBoundAdd(), SCIPsolveIsStopped(), and writeBounds().
◆ SCIPsetObjlimit()
SCIP_RETCODE SCIPsetObjlimit | ( | SCIP * | scip, |
SCIP_Real | objlimit | ||
) |
sets limit on objective function, such that only solutions better than this limit are accepted
- Note
- SCIP will only look for solutions with a strictly better objective value, thus, e.g., prune all branch-and-bound nodes with dual bound equal or worse to the objective limit. However, SCIP will also collect solutions with objective value worse than the objective limit and use them to run improvement heuristics on them.
- If SCIP can prove that there exists no solution with a strictly better objective value, the solving status will normally be infeasible (the objective limit is interpreted as part of the problem). The only exception is that by chance, SCIP found a solution with the same objective value and thus proved the optimality of this solution, resulting in solution status optimal.
- Returns
- SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure objlimit new primal objective limit
Definition at line 1430 of file scip_prob.c.
References Scip::eventfilter, Scip::eventqueue, FALSE, Scip::lp, Scip::mem, Scip::origprob, Scip::primal, SCIP_Mem::probmem, Scip::reopt, SCIP_Set::reopt_enable, SCIP_CALL, SCIP_INVALIDCALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, 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(), Scip::set, SCIP_Set::stage, Scip::stat, Scip::transprob, Scip::tree, and TRUE.
Referenced by addLocalbranchingConstraintAndObjcutoff(), applyDomainChanges(), applyRepair(), createCipFormulation(), doSolveSubMIP(), freeReoptSolve(), freeTransform(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIPapplyHeurSubNlp(), setupAndSolve(), setupAndSolveSubscip(), setupAndSolveSubscipCrossover(), setupAndSolveSubscipMutation(), setupAndSolveSubscipRapidlearning(), setupSubScip(), solveCoveringProblem(), solveSubproblem(), subscipSetParams(), wrapperDins(), wrapperRins(), and writeBounds().
◆ SCIPgetObjlimit()
returns current limit on objective function
- Returns
- the current objective limit of the original problem
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 1500 of file scip_prob.c.
References FALSE, Scip::origprob, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPprobGetObjlim(), Scip::set, and TRUE.
Referenced by SCIP_DECL_DIALOGEXEC().
◆ SCIPsetObjIntegral()
SCIP_RETCODE SCIPsetObjIntegral | ( | SCIP * | scip | ) |
informs SCIP, that the objective value is always integral in every feasible solution
- Returns
- SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Note
- This function should be used to inform SCIP that the objective function is integral, helping to improve the performance. This is useful when using column generation. If no column generation (pricing) is used, SCIP automatically detects whether the objective function is integral or can be scaled to be integral. However, in any case, the user has to make sure that no variable is added during the solving process that destroys this property.
- Parameters
-
scip SCIP data structure
Definition at line 1527 of file scip_prob.c.
References FALSE, Scip::origprob, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMING, SCIPcheckStage(), SCIPerrorMessage, SCIPprobSetObjIntegral(), Scip::set, SCIP_Set::stage, Scip::transprob, and TRUE.
Referenced by readCol(), SCIPprobdataCreate(), and setupProblem().
◆ SCIPisObjIntegral()
returns whether the objective value is known to be integral in every feasible solution
- Returns
- TRUE, if objective value is known to be always integral, otherwise FALSE
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Note
- If no pricing is performed, SCIP automatically detects whether the objective function is integral or can be scaled to be integral, helping to improve performance. This function returns the result. Otherwise SCIPsetObjIntegral() can be used to inform SCIP. However, in any case, the user has to make sure that no variable is added during the solving process that destroys this property.
- Parameters
-
scip SCIP data structure
Definition at line 1570 of file scip_prob.c.
References FALSE, SCIP_Set::nactivepricers, SCIP_Prob::nvars, SCIP_Prob::objoffset, Scip::origprob, SCIP_CALL_ABORT, SCIP_Real, 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(), Scip::set, SCIP_Set::stage, Scip::transprob, TRUE, and SCIP_Prob::vars.
Referenced by addAuxiliaryVariablesToMaster(), addTrustRegionConstraints(), aggregation(), computeCut(), createSubscip(), SCIPapplyProximity(), SCIPperformGenericDivingAlgorithm(), separateCuts(), setupSubScip(), and updateObjUpperbound().
◆ SCIPgetObjNorm()
returns the Euclidean norm of the objective function vector (available only for transformed problem)
- Returns
- the Euclidean norm of the transformed objective function vector
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 1649 of file scip_prob.c.
References FALSE, Scip::lp, SCIP_Lp::objsqrnormunreliable, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPlpGetObjNorm(), SCIPlpRecalculateObjSqrNorm(), Scip::set, and TRUE.
Referenced by createNewSol(), SCIP_DECL_DIVESETGETSCORE(), and separateCuts().
◆ SCIPaddVar()
SCIP_RETCODE SCIPaddVar | ( | SCIP * | scip, |
SCIP_VAR * | var | ||
) |
adds variable to the problem
- Returns
- SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure var variable to add
Definition at line 1676 of file scip_prob.c.
References Scip::branchcand, Scip::eventfilter, Scip::eventqueue, FALSE, Scip::lp, Scip::mem, NULL, Scip::origprob, SCIP_Mem::probmem, 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(), Scip::set, SCIP_Set::stage, Scip::transprob, and TRUE.
Referenced by addAuxiliaryVariablesToMaster(), addConstraintToBendersSubproblem(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addScenarioVarsToProb(), addSlackVars(), addVarCardinality(), aggregation(), appendVarCardinality(), applyFixings(), applyRepair(), consdataCreateBinvars(), 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(), createVariables(), AMPLProblemHandler::EndInput(), execmain(), getBinaryProductExprDo(), getFixedVariable(), getScenarioDecompVar(), getVariable(), infinityCountUpdate(), initPricing(), main(), AMPLProblemHandler::OnHeader(), AMPLProblemHandler::OnObj(), presolveAddKKTLinearCons(), scipexamples::QueensSolver::QueensSolver(), readBounds(), readCnf(), readCols(), readIndicators(), readLIBSVM(), readObjective(), readQMatrix(), readVariables(), reformulateFactorizedBinaryQuadratic(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_READERREAD(), SCIP_DECL_SOLVECUMULATIVE(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPaddVar(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcreateConsCardinality(), SCIPcreateConsIndicatorGeneric(), SCIPcreateSchedulingProblem(), SCIPgetVarCopy(), SCIPtransformMinUC(), SCIPverifyCircularPatternNLP(), setObjective(), setupAndSolveCumulativeSubscip(), setupAndSolveFiniteSolSubscip(), setupProblem(), solveClassification(), solveMinIISC(), solvePricingMINLP(), and tightenCoefs().
◆ SCIPaddPricedVar()
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
- Returns
- SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can only be called if
scip
is in stage SCIP_STAGE_SOLVING
- Parameters
-
scip SCIP data structure var variable to add score pricing score of variable (the larger, the better the variable)
Definition at line 1741 of file scip_prob.c.
References Scip::branchcand, Scip::eventfilter, Scip::eventqueue, FALSE, Scip::lp, Scip::mem, NULL, Scip::pricestore, SCIP_Mem::probmem, 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(), Scip::set, Scip::transprob, Scip::tree, and TRUE.
Referenced by ObjPricerVRP::add_tour_variable(), addVariable(), SCIP_DECL_PRICERFARKAS(), SCIP_DECL_PRICERREDCOST(), and SCIPaddPricedVar().
◆ SCIPdelVar()
SCIP_RETCODE SCIPdelVar | ( | SCIP * | scip, |
SCIP_VAR * | var, | ||
SCIP_Bool * | deleted | ||
) |
removes variable from the problem
- Returns
- SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
removes variable from the problem
- Returns
- SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Warning
- The variable is not deleted from the constraints when in SCIP_STAGE_PROBLEM. In this stage, it is the user's responsibility to ensure the variable has been removed from all constraints or the constraints deleted.
- Parameters
-
scip SCIP data structure var variable to delete deleted pointer to store whether marking variable to be deleted was successful
Definition at line 1798 of file scip_prob.c.
References Scip::branchcand, Scip::cliquetable, Scip::eventqueue, FALSE, Scip::lp, Scip::mem, NULL, Scip::origprob, SCIP_Mem::probmem, 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(), Scip::set, SCIP_Set::stage, Scip::stat, Scip::transprob, and TRUE.
Referenced by removeCoreVariablesAndConstraints(), and removeVariablesAndConstraintsFromMaster().
◆ SCIPgetVarsData()
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()
- Returns
- SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Note
- Variables in the vars array are ordered: binaries first, then integers, implicit integers and continuous last.
- Parameters
-
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 1874 of file scip_prob.c.
References FALSE, SCIP_Prob::nbinvars, SCIP_Prob::ncontvars, SCIP_Prob::nimplvars, SCIP_Prob::nintvars, NULL, SCIP_Prob::nvars, Scip::origprob, 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, Scip::set, SCIP_Set::stage, Scip::transprob, TRUE, and SCIP_Prob::vars.
Referenced by addCut(), addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addObjcut(), addTrustRegionConstraints(), alnsFixMoreVariables(), applyBoundHeur(), applyRepair(), applyVbounds(), checkCands(), checkSubproblemConvexity(), checkSubproblemIndependence(), computeCoverUndercover(), computeCut(), computeFixingrate(), copyVars(), countNonlinearities(), createCGCutCMIR(), createCGCutDirect(), createCGCuts(), createCGCutStrongCG(), createCGMIPprimalsols(), createCoveringProblem(), createNewSol(), createNewSols(), createSolFromNLP(), createSolFromSubScipSol(), createSubproblems(), createSubSCIP(), DECL_CHANGESUBSCIP(), DECL_VARFIXINGS(), determineFixings(), determineMaxDistance(), determineVariableFixings(), fixMatchingSolutionValues(), fixNonNeighborhoodVariables(), fixVariables(), getObjectiveFactor(), performInteriorSolCutStrengthening(), performRelaxSimpleRounding(), presolveTwoOpt(), restrictToBinaryBounds(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_HEUREXEC(), 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().
◆ SCIPgetVars()
gets array with active problem variables
- Returns
- array with active problem variables
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Warning
- If your are using the methods which add or change bound of variables (e.g., SCIPchgVarType(), SCIPfixVar(), SCIPaggregateVars(), and SCIPmultiaggregateVar()), it can happen that the internal variable array (which is accessed via this method) gets resized and/or resorted. This can invalid the data pointer which is returned by this method.
- Note
- Variables in the array are ordered: binaries first, then integers, implicit integers and continuous last.
gets array with active problem variables
- Returns
- array with active problem variables
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Note
- Variables in the array are ordered: binaries first, then integers, implicit integers and continuous last.
- Warning
- If your are using the methods which add or change bound of variables (e.g., SCIPchgVarType(), SCIPfixVar(), SCIPaggregateVars(), and SCIPmultiaggregateVar()), it can happen that the internal variable array (which is accessed via this method) gets resized and/or resorted. This can invalid the data pointer which is returned by this method.
- Parameters
-
scip SCIP data structure
Definition at line 1955 of file scip_prob.c.
References FALSE, NULL, Scip::origprob, 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, Scip::set, SCIP_Set::stage, Scip::transprob, TRUE, and SCIP_Prob::vars.
Referenced by addCut(), addFixedVarsConss(), addLocalBranchingConstraint(), addLowerboundCons(), addSSTConss(), alnsUnfixVariables(), applyCompletesol(), applyHeur(), applyNlobbt(), applyProbing(), branchruledataEnsureArraySize(), buildConvexCombination(), buildMod2Matrix(), calcEfficacy(), calcEfficacyDenseStorageQuad(), checkGlobalProperties(), checkIISlocal(), checkSolution(), 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(), execRelpscost(), filterCands(), filterExistingLP(), findComponents(), fixAndPropagate(), generateCloseCutPoint(), generateZerohalfCut(), getDecompVarsConssData(), getFactorizedBinaryQuadraticExpr(), getMaxactImplicObjchg(), getRelDistance(), heurdataEnsureArraySize(), heurdataFreeArrays(), heurExec(), improvePoint(), initConcsolver(), initData(), initImplGraphSOS1(), initProblem(), level2dataGetResult(), level2dataStoreResult(), level2resultCreateFromData(), mod2MatrixAddTransRow(), performBoundSubstitution(), performDualfix(), preprocessCliques(), presolRoundVarsSOS1(), projectVbd(), propagateAllConss(), propdataInit(), readOPBFile(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeZeros(), removeZerosQuad(), reuseSolution(), sampleRandomPoints(), SCIP_DECL_BRANCHEXITSOL(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXITSOL(), SCIP_DECL_EVENTINIT(), SCIP_DECL_EVENTINITSOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaggrRowAddObjectiveFunction(), SCIPaggrRowPrint(), SCIPassignDecompLinkConss(), SCIPbendersMergeSubproblemIntoMaster(), SCIPbendersSetupSubproblem(), SCIPcreateNlpiProblemFromNlRows(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPgenerateAndApplyBendersOptCut(), SCIPgetVarStrongbranchWithPropagation(), SCIPmatrixCreate(), SCIPpropagateProbing(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPsnprintfProbingStats(), SCIPtransformDecompstore(), separateCuts(), setupAndSolve(), setupAndSolveSubscipMutation(), setupSubproblem(), setupSubScip(), tarjan(), tcliquegraphAddCliqueVars(), transformNonIntegralRow(), updateFirstRow(), updateFirstRowGlobal(), and updateSubproblemLowerbound().
◆ SCIPgetNVars()
int SCIPgetNVars | ( | SCIP * | scip | ) |
gets number of active problem variables
- Returns
- the number of active problem variables
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 2000 of file scip_prob.c.
References FALSE, SCIP_Prob::nvars, Scip::origprob, 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, Scip::set, SCIP_Set::stage, Scip::transprob, and TRUE.
Referenced by addFixedVarsConss(), addLowerboundCons(), addProductVars(), addScenarioVarsAndConsToProb(), addSSTConss(), aggregateNextRow(), alnsUnfixVariables(), applyCompletesol(), applyHeur(), applyNlobbt(), applyProbing(), applyVbounds(), blockCreateSubscip(), branch(), branching(), branchruledataEnsureArraySize(), branchruledataEnsureNlcount(), buildConvexCombination(), buildMod2Matrix(), calcNlscore(), checkFixingrate(), checkIISlocal(), checkSolution(), checkSubproblemConvexity(), checkSystemGF2(), collectBranchingCandidates(), collectBranchingCands(), collectCoefficients(), componentSetupWorkingSol(), computeCut(), computeGradient(), computeInteriorPoint(), computeNogoodCut(), computeStandardIntegerOptCut(), computeStandardLPFeasibilityCut(), computeStandardLPOptimalityCut(), computeSymmetryGroup(), constructCompression(), copyProb(), copyVars(), correctConshdlrdata(), countSparseSol(), createAndSplitProblem(), createAuxiliaryNonlinearSubproblem(), createBlockproblem(), createMasterVarMapping(), createNLP(), createObjRow(), createReaderdata(), createSepaData(), createSubproblem(), createSubSCIP(), createTcliqueGraph(), createVariableMappings(), cutsRoundMIR(), cutsRoundStrongCG(), cutsTransformMIR(), cutsTransformStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), DECL_NHINIT(), decompHorizonInitialize(), detectHiddenProducts(), detectMinors(), determineSymmetry(), dfs(), doCopy(), doSolveSubMIP(), execRelpscost(), fillDigraph(), fillVariableGraph(), filterExistingLP(), findComponents(), generateAndApplyBendersCuts(), generateCloseCutPoint(), generateClusterCuts(), generateZerohalfCut(), getDecompVarsConssData(), getFactorizedBinaryQuadraticExpr(), getMaxactImplicObjchg(), getMinsize(), getRelDistance(), getVarbufSize(), heurdataEnsureArraySize(), heurdataFreeArrays(), heurExec(), improvePoint(), initAlternativeLP(), initConcsolver(), initData(), initImplGraphSOS1(), initOrbits(), initProblem(), initPropdata(), insertZerolist(), mod2MatrixTransformContRows(), performDualfix(), performFixing(), preprocessCliques(), presolRoundVarsSOS1(), presolve(), presolveBinaryProducts(), printLongStatistics(), projectVbd(), propagateAllConss(), propdataInit(), readCoefficients(), readOPBFile(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeRedundantConssAndNonzeros(), reoptimize(), reuseSolution(), sampleRandomPoints(), SCIP_DECL_BENDERSCUTEXEC(), SCIP_DECL_BRANCHEXITSOL(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXITSOL(), SCIP_DECL_EVENTINIT(), SCIP_DECL_EVENTINITSOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEURINITSOL(), SCIP_DECL_NLHDLRDETECT(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_RELAXEXEC(), 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(), SCIPincludePresolMILP(), SCIPmatrixCreate(), SCIPparseExpr(), SCIPperformGenericDivingAlgorithm(), SCIPpropagateProbing(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPsnprintfProbingStats(), SCIPsyncstoreInit(), SCIPtransformDecompstore(), SCIPtransformProb(), SCIPvariableGraphCreate(), SCIPvariableGraphFree(), selectVarRecursive(), separateCuts(), separatePerspective(), separatePoint(), setSymmetryData(), setupAndSolve(), setupAndSolveSubscip(), setupAndSolveSubscipMutation(), setupAndSolveSubscipOneopt(), setUpEvents(), setupProbingSCIP(), setupSubproblem(), setupSubScip(), shortenConss(), solveIndependentCons(), solveSubNLP(), storeVarExprs(), subscipdataCopySubscip(), tarjan(), topologicalSort(), tryAdd2variableBuffer(), updateFirstRow(), updateFirstRowGlobal(), updateSubproblemLowerbound(), and wrapperDins().
◆ SCIPgetNBinVars()
int SCIPgetNBinVars | ( | SCIP * | scip | ) |
gets number of binary active problem variables
- Returns
- the number of binary active problem variables
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 2045 of file scip_prob.c.
References FALSE, SCIP_Prob::nbinvars, Scip::origprob, 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, Scip::set, SCIP_Set::stage, Scip::transprob, and TRUE.
Referenced by addLocalBranchingConstraint(), aggregateNextRow(), alnsUnfixVariables(), applyCliqueFixings(), applyProbing(), blockCreateSubscip(), checkConsQuadraticProblem(), checkFixingrate(), checkGlobalProperties(), computeSymmetryGroup(), constructCompression(), constructSNFRelaxation(), copyVars(), countSparseSol(), createSubSCIP(), createSubscip(), cutsTransformKnapsackCover(), DECL_CHANGESUBSCIP(), DECL_NHDEACTIVATE(), DECL_VARFIXINGS(), detectHiddenProducts(), determineSymmetry(), determineVariableFixingsDecomp(), dualPresolve(), extendToCover(), fixMatchingSolutionValues(), freePersistent(), getClosestVlb(), getClosestVub(), getReward(), heurExec(), initBranchruleData(), loadTcliquegraph(), mergeMultiples(), neighborhoodFixVariables(), preprocessCliques(), presolveBinaryProducts(), presolveImplint(), printLongStatistics(), propdataInit(), removeDoubleAndSingletonsAndPerformDualpresolve(), rollingHorizonRunAgain(), SCIP_DECL_BENDERSCUTEXEC(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHINIT(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEURINITSOL(), SCIP_DECL_NLHDLRDETECT(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SEPAEXECSOL(), SCIPapplyProximity(), SCIPapplyRens(), SCIPperformGenericDivingAlgorithm(), SCIPsnprintfProbingStats(), SCIPsolve(), separateCuts(), separateOddCycles(), setupAndSolve(), tcliquegraphAddCliqueVars(), tcliquegraphAddNode(), tcliquegraphCreate(), tryAddSymmetryHandlingConss(), upgradeConss(), and wrapperDins().
◆ SCIPgetNIntVars()
int SCIPgetNIntVars | ( | SCIP * | scip | ) |
gets number of integer active problem variables
- Returns
- the number of integer active problem variables
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 2090 of file scip_prob.c.
References FALSE, SCIP_Prob::nintvars, Scip::origprob, 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, Scip::set, SCIP_Set::stage, Scip::transprob, and TRUE.
Referenced by aggregateNextRow(), alnsUnfixVariables(), applyProbing(), blockCreateSubscip(), checkConsQuadraticProblem(), checkFixingrate(), checkGlobalProperties(), constructCompression(), copyVars(), createSubSCIP(), createSubscip(), DECL_NHDEACTIVATE(), DECL_VARFIXINGS(), determineSymmetry(), determineVariableFixingsDecomp(), extendToCover(), freePersistent(), getReward(), initBranchruleData(), mergeMultiples(), neighborhoodFixVariables(), presolveImplint(), prettifyConss(), printLongStatistics(), removeDoubleAndSingletonsAndPerformDualpresolve(), rollingHorizonRunAgain(), runBenders(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHINIT(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIPapplyRens(), SCIPperformGenericDivingAlgorithm(), SCIPsnprintfProbingStats(), SCIPsolve(), separateCuts(), setupAndSolve(), tryAddSymmetryHandlingConss(), and wrapperDins().
◆ SCIPgetNImplVars()
int SCIPgetNImplVars | ( | SCIP * | scip | ) |
gets number of implicit integer active problem variables
- Returns
- the number of implicit integer active problem variables
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 2135 of file scip_prob.c.
References FALSE, SCIP_Prob::nimplvars, Scip::origprob, 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, Scip::set, SCIP_Set::stage, Scip::transprob, and TRUE.
Referenced by aggregateNextRow(), applyProbing(), copyVars(), createSubscip(), decompHorizonInitialize(), determineSymmetry(), dualPresolve(), mergeMultiples(), prettifyConss(), printLongStatistics(), removeDoubleAndSingletonsAndPerformDualpresolve(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIPsnprintfProbingStats(), separateCuts(), setupAndSolve(), tryAddSymmetryHandlingConss(), and upgradeConss().
◆ SCIPgetNContVars()
int SCIPgetNContVars | ( | SCIP * | scip | ) |
gets number of continuous active problem variables
- Returns
- the number of continuous active problem variables
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 2180 of file scip_prob.c.
References FALSE, SCIP_Prob::ncontvars, Scip::origprob, 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, Scip::set, SCIP_Set::stage, Scip::transprob, and TRUE.
Referenced by aggregateNextRow(), buildMod2Matrix(), copyVars(), createSubscip(), cutsRoundMIR(), cutsRoundStrongCG(), cutsTransformMIR(), cutsTransformStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), decompHorizonInitialize(), determineSymmetry(), getMaxactImplicObjchg(), insertZerolist(), presolveImplint(), printLongStatistics(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeRedundantConssAndNonzeros(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPcleanupConssLogicor(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPpermuteProb(), SCIPseparateRelaxedKnapsack(), separateCuts(), setupAndSolve(), shortenConss(), tarjan(), and tightenVariables().
◆ SCIPgetNObjVars()
int SCIPgetNObjVars | ( | SCIP * | scip | ) |
gets number of active problem variables with a non-zero objective coefficient
- Note
- In case of the original problem the number of variables is counted. In case of the transformed problem the number of variables is just returned since it is stored internally
- Returns
- the number of active problem variables with a non-zero objective coefficient
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 2228 of file scip_prob.c.
References FALSE, Scip::origprob, 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(), Scip::set, SCIP_Set::stage, Scip::transprob, and TRUE.
Referenced by checkConsQuadraticProblem(), checkDivingCandidates(), createSubscip(), DECL_CHANGESUBSCIP(), DECL_NHDEACTIVATE(), SCIP_DECL_HEUREXEC(), scoreBranchingCandidates(), setupAndSolveSubscip(), and setupSubproblem().
◆ SCIPgetFixedVars()
gets array with fixed and aggregated problem variables; data may become invalid after calls to SCIPfixVar(), SCIPaggregateVars(), and SCIPmultiaggregateVar()
- Returns
- an array with fixed and aggregated problem variables; data may become invalid after calls to SCIPfixVar(), SCIPaggregateVars(), and SCIPmultiaggregateVar()
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 2274 of file scip_prob.c.
References FALSE, SCIP_Prob::fixedvars, 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, Scip::set, SCIP_Set::stage, Scip::transprob, and TRUE.
Referenced by computeStandardLPOptimalityCut(), computeStandardNLPOptimalityCut(), copyVars(), correctConshdlrdata(), exitPresolve(), SCIP_DECL_DIALOGEXEC(), SCIPcreateFiniteSolCopy(), selectVarMultAggrBranching(), and updateConsanddataUses().
◆ SCIPgetNFixedVars()
int SCIPgetNFixedVars | ( | SCIP * | scip | ) |
gets number of fixed or aggregated problem variables
- Returns
- the number of fixed or aggregated problem variables
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 2317 of file scip_prob.c.
References FALSE, SCIP_Prob::nfixedvars, 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, Scip::set, SCIP_Set::stage, Scip::transprob, and TRUE.
Referenced by computeStandardLPOptimalityCut(), computeStandardNLPOptimalityCut(), computeSymmetryGroup(), copyVars(), correctConshdlrdata(), exitPresolve(), generateAndApplyBendersCuts(), SCIP_DECL_DIALOGEXEC(), SCIPapplyProximity(), SCIPcreateFiniteSolCopy(), SCIPgenerateAndApplyBendersOptCut(), selectVarMultAggrBranching(), setUpEvents(), and updateConsanddataUses().
◆ SCIPgetOrigVarsData()
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()
- Returns
- SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure 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 2365 of file scip_prob.c.
References FALSE, SCIP_Prob::nbinvars, SCIP_Prob::ncontvars, SCIP_Prob::nimplvars, SCIP_Prob::nintvars, NULL, SCIP_Prob::nvars, Scip::origprob, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), TRUE, and SCIP_Prob::vars.
Referenced by copyVars(), createSolFromNLP(), createSolFromSubScipSol(), forbidFixation(), freeMemory(), freeSubSCIP(), runBenders(), SCIP_DECL_CONSLOCK(), SCIP_DECL_READERREAD(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), and SCIPcreateFiniteSolCopy().
◆ SCIPgetOrigVars()
gets array with original problem variables; data may become invalid after a call to SCIPchgVarType()
- Returns
- an array with original problem variables; data may become invalid after a call to SCIPchgVarType()
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 2413 of file scip_prob.c.
References FALSE, Scip::origprob, SCIP_CALL_ABORT, SCIPcheckStage(), TRUE, and SCIP_Prob::vars.
Referenced by blockCreateSubscip(), createSolFromSubScipSol(), createSubSCIP(), getDecompVarsConssData(), initializeSol(), maximalslack(), reoptimize(), SCIP_DECL_CONSINIT(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIPapplyHeurDualval(), SCIPassignDecompLinkConss(), solveClassification(), and solveMinIISC().
◆ SCIPgetNOrigVars()
int SCIPgetNOrigVars | ( | SCIP * | scip | ) |
gets number of original problem variables
- Returns
- the number of original problem variables
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 2440 of file scip_prob.c.
References FALSE, SCIP_Prob::nvars, Scip::origprob, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.
Referenced by blockCreateSubscip(), checkSolution(), componentSetupWorkingSol(), constructCompression(), copyToSubscip(), createSolFromNLP(), createSolFromSubScipSol(), createSubSCIP(), getDecompVarsConssData(), getVarbufSize(), initializeSol(), maximalslack(), printLongStatistics(), reoptimize(), runBenders(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTINIT(), SCIP_DECL_HEUREXEC(), SCIPcreateConcurrent(), SCIPcreateConsIndicatorGeneric(), SCIPfreeConcurrent(), SCIPgetConcurrentVaridx(), setupAndSolveSubscip(), solveClassification(), solveCoveringProblem(), and solveMinIISC().
◆ SCIPgetNOrigBinVars()
int SCIPgetNOrigBinVars | ( | SCIP * | scip | ) |
gets number of binary variables in the original problem
- Returns
- the number of binary variables in the original problem
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 2467 of file scip_prob.c.
References FALSE, SCIP_Prob::nbinvars, Scip::origprob, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.
Referenced by blockCreateSubscip(), solveClassification(), and solveMinIISC().
◆ SCIPgetNOrigIntVars()
int SCIPgetNOrigIntVars | ( | SCIP * | scip | ) |
gets the number of integer variables in the original problem
- Returns
- the number of integer variables in the original problem
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 2494 of file scip_prob.c.
References FALSE, SCIP_Prob::nintvars, Scip::origprob, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.
Referenced by blockCreateSubscip(), solveClassification(), and solveMinIISC().
◆ SCIPgetNOrigImplVars()
int SCIPgetNOrigImplVars | ( | SCIP * | scip | ) |
gets number of implicit integer variables in the original problem
- Returns
- the number of implicit integer variables in the original problem
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 2521 of file scip_prob.c.
References FALSE, SCIP_Prob::nimplvars, Scip::origprob, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.
◆ SCIPgetNOrigContVars()
int SCIPgetNOrigContVars | ( | SCIP * | scip | ) |
gets number of continuous variables in the original problem
- Returns
- the number of continuous variables in the original problem
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 2548 of file scip_prob.c.
References FALSE, SCIP_Prob::ncontvars, Scip::origprob, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.
◆ SCIPgetNTotalVars()
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
- Returns
- the number of all problem variables created during creation and solving of problem; this includes also variables that were deleted in the meantime
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 2577 of file scip_prob.c.
References FALSE, NULL, SCIP_Stat::nvaridx, 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, Scip::set, SCIP_Set::stage, Scip::stat, and TRUE.
Referenced by addVarCardinality(), appendVarCardinality(), getFactorizedBinaryQuadraticExpr(), initConflictgraph(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSPROP(), SCIPcreateConsCardinality(), SCIPisPackingPartitioningOrbitope(), SCIPwriteLp(), and SCIPwritePip().
◆ SCIPgetSolVarsData()
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()
- Returns
- SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure 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 2628 of file scip_prob.c.
References FALSE, SCIP_Prob::nbinvars, SCIP_Prob::ncontvars, SCIP_Prob::nimplvars, SCIP_Prob::nintvars, NULL, SCIP_Prob::nvars, Scip::origprob, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_PROBLEM, SCIPcheckStage(), SCIPsolIsOriginal(), Scip::set, SCIP_Set::stage, Scip::transprob, TRUE, and SCIP_Prob::vars.
Referenced by SCIP_DECL_CONSCHECK(), and SCIP_DECL_CONSGETDIVEBDCHGS().
◆ SCIPfindVar()
returns variable of given name in the problem, or NULL if not existing
- Returns
- variable of given name in the problem, or NULL if not existing
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure name name of variable to find
Definition at line 2693 of file scip_prob.c.
References FALSE, NULL, Scip::origprob, 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(), Scip::set, SCIP_Set::stage, Scip::transprob, and TRUE.
Referenced by addScenarioVarsAndConsToProb(), addVariableToStage(), assignAuxiliaryVariables(), constructCompression(), createVariableMappings(), findScenarioVar(), getScenarioDecompVar(), getVariable(), getVariableOrTerm(), readBounds(), readCols(), readIndicators(), readQCMatrix(), readQMatrix(), readSol(), readSolFile(), readSOS(), readSos(), readXmlSolFile(), reoptimize(), SCIP_DECL_CONSPARSE(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), and SCIPparseVarName().
◆ SCIPallVarsInProb()
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
- Returns
- TRUE, if all potential variables exist in the problem; FALSE, otherwise
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 2751 of file scip_prob.c.
References FALSE, SCIP_Set::nactivepricers, SCIP_CALL_ABORT, SCIPcheckStage(), Scip::set, and TRUE.
Referenced by createObjRow().
◆ SCIPaddCons()
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
- Returns
- SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
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
- Returns
- SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure cons constraint to add
Definition at line 2778 of file scip_prob.c.
References FALSE, Scip::mem, NULL, Scip::origprob, SCIP_Mem::probmem, Scip::reopt, SCIP_Set::reopt_enable, 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(), Scip::set, SCIP_Set::stage, Scip::stat, Scip::transprob, Scip::tree, and TRUE.
Referenced by addBranchingDecisionConss(), addCliques(), addConstraintToBendersSubproblem(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addExtraCliques(), addFixedVarsConss(), addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addLowerboundCons(), addOrbitopeSubgroup(), addScenarioConsToProb(), addSSTConssOrbitAndUpdateSST(), addStrongSBCsSubgroup(), addSymresackConss(), addTrustRegionConstraints(), addWeakSBCsSubgroup(), adjustOversizedJobBounds(), aggregation(), applyFixings(), applyRepair(), BENDERS_CUTORACLE(), cancelRow(), cliquePresolve(), COLORprobSetUpArrayOfCons(), consdataCollectLinkingCons(), consdataLinearize(), copyCuts(), copyToSubscip(), 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(), createSetPackingCons(), createSubproblem(), createSubproblems(), createSubSCIP(), createSubscip(), createVarboundCons(), createVarUbs(), CUTOFF_CONSTRAINT(), deleteRedundantVars(), detectAndHandleSubgroups(), detectOrbitopes(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), AMPLProblemHandler::EndInput(), execmain(), extendToCover(), extensionOperatorSOS1(), extractGates(), findAggregation(), fixDeleteOrUpgradeCons(), forbidCover(), forbidFixation(), generateAndApplyBendersCuts(), generateAndApplyBendersIntegerCuts(), generateAndApplyBendersNogoodCut(), getBinaryProductExprDo(), getConstraint(), getFixedVariable(), infinityCountUpdate(), initPricing(), main(), performImplicationGraphAnalysis(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolveSingleLockedVars(), presolveUpgrade(), processNlRow(), processRealBoundChg(), propIndicator(), scipexamples::QueensSolver::QueensSolver(), readBounds(), readCnf(), readConstraints(), readIndicators(), readLIBSVM(), readObjective(), readOPBFile(), readQCMatrix(), readQMatrix(), readRows(), readSemicontinuous(), readSOS(), readSos(), readSOScons(), readVariables(), reformulateFactorizedBinaryQuadratic(), removeConstraintsDueToNegCliques(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_READERREAD(), SCIP_DECL_SOLVECUMULATIVE(), SCIPaddConflict(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPapplyProximity(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPcreateConsIndicatorGeneric(), SCIPcreateSchedulingProblem(), SCIPgenerateAndApplyBendersOptCut(), SCIPgetVarCopy(), SCIPincludePresolMILP(), SCIPprobdataCreate(), SCIPreoptApplyGlbConss(), SCIPtransformMinUC(), SCIPverifyCircularPatternNLP(), setObjective(), setupAndSolveCumulativeSubscip(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscip(), setupProblem(), setupSubproblem(), setupSubScip(), solvePricingMINLP(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
◆ SCIPdelCons()
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
- Returns
- SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure cons constraint to delete
Definition at line 2851 of file scip_prob.c.
References SCIP_Cons::addconssetchg, FALSE, Scip::mem, NULL, Scip::origprob, SCIP_Mem::probmem, Scip::reopt, 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, Scip::set, SCIP_Set::stage, Scip::stat, Scip::transprob, and TRUE.
Referenced by applyFixings(), cancelRow(), canonicalizeConstraints(), checkForOverlapping(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), correctConshdlrdata(), createSubSCIP(), createVarUbs(), deleteTrivilCons(), delSymConss(), detectRedundantConstraints(), disableCons(), dualPresolve(), dualPresolving(), dualWeightsTightening(), executeStrongBranching(), extractGates(), findAggregation(), fixDeleteOrUpgradeCons(), liftCliqueVariables(), mergeMultiples(), prepareCons(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundConssSOS1(), presolRoundIndicator(), presolRoundSOS2(), presolveAddKKTKnapsackConss(), presolveAddKKTLinearConss(), presolveAddKKTLogicorConss(), presolveAddKKTSetppcConss(), presolveAddKKTVarboundConss(), presolveMergeConss(), presolvePropagateCons(), presolveUpgrade(), propagateCons(), readQCMatrix(), removeConstraintsDueToNegCliques(), removeCoreVariablesAndConstraints(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeRedundantCons(), removeRedundantConss(), removeRedundantNonZeros(), removeVariablesAndConstraintsFromMaster(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_PRESOLEXEC(), SCIPcleanupConssLogicor(), SCIPincludePresolMILP(), SCIPsetLinearConsIndicator(), SCIPtransformMinUC(), shortenConss(), solveAndEvalSubscip(), tightenCoefs(), tightenWeights(), tryUpgrading(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), updateConsanddataUses(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
◆ SCIPfindOrigCons()
returns original constraint of given name in the problem, or NULL if not existing
- Returns
- original constraint of given name in the problem, or NULL if not existing
- Precondition
- This method can be called if
scip
is in one of the following stages:
returns original constraint of given name in the problem, or NULL if not existing
- Returns
- original constraint of given name in the problem, or NULL if not existing
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure name name of constraint to find
Definition at line 2906 of file scip_prob.c.
References FALSE, NULL, Scip::origprob, 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(), Scip::set, SCIP_Set::stage, and TRUE.
◆ SCIPfindCons()
returns constraint of given name in the problem, or NULL if not existing
- Returns
- constraint of given name in the problem, or NULL if not existing
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure name name of constraint to find
Definition at line 2955 of file scip_prob.c.
References FALSE, NULL, Scip::origprob, 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(), Scip::set, SCIP_Set::stage, Scip::transprob, and TRUE.
Referenced by addConstraintToStage(), addScenarioVarsAndConsToProb(), readCols(), readDecomposition(), readIndicators(), readQCMatrix(), readRanges(), readRhs(), readRows(), SCIP_DECL_CONSPARSE(), and writeOpbObjective().
◆ SCIPgetNUpgrConss()
int SCIPgetNUpgrConss | ( | SCIP * | scip | ) |
gets number of upgraded constraints
- Returns
- number of upgraded constraints
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 3008 of file scip_prob.c.
References FALSE, SCIP_Stat::npresolupgdconss, 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, Scip::set, SCIP_Set::stage, Scip::stat, and TRUE.
◆ SCIPgetNConss()
int SCIPgetNConss | ( | SCIP * | scip | ) |
gets total number of globally valid constraints currently in the problem
- Returns
- total number of globally valid constraints currently in the problem
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 3050 of file scip_prob.c.
References FALSE, SCIP_Prob::nconss, Scip::origprob, 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, Scip::set, SCIP_Set::stage, Scip::transprob, and TRUE.
Referenced by checkConsQuadraticProblem(), computeSymmetryGroup(), copyProb(), copyVars(), createAltLP(), createSubSCIP(), detectAndHandleSubgroups(), doCopy(), fillVariableGraph(), findComponents(), getDecompVarsConssData(), getOriginalRows(), isFiniteNonnegativeIntegral(), presolve(), printLongStatistics(), readCoefficients(), readDecomposition(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_RELAXEXEC(), SCIPapplyLockFixings(), SCIPapplyUndercover(), SCIPbendersApplyDecomposition(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPgetConsCopy(), SCIPgetVarCopy(), SCIPincludePresolMILP(), SCIPmatrixCreate(), SCIPtransformDecompstore(), SCIPtransformMinUC(), SCIPtransformProb(), SCIPvariableGraphCreate(), setupAndSolve(), setupAndSolveSubscip(), solveIndependentCons(), and wrapperDins().
◆ SCIPgetConss()
gets array of globally valid constraints currently in the problem
- Returns
- array of globally valid constraints currently in the problem
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Warning
- If your are using the method SCIPaddCons(), it can happen that the internal constraint array (which is accessed via this method) gets resized. This can invalid the pointer which is returned by this method.
- Parameters
-
scip SCIP data structure
Definition at line 3096 of file scip_prob.c.
References SCIP_Prob::conss, FALSE, NULL, Scip::origprob, 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, Scip::set, SCIP_Set::stage, Scip::transprob, and TRUE.
Referenced by computeSymmetryGroup(), createAltLP(), fillVariableGraph(), findComponents(), getDecompVarsConssData(), getOriginalRows(), isFiniteNonnegativeIntegral(), readDecomposition(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_RELAXEXEC(), SCIPbendersApplyDecomposition(), SCIPbendersMergeSubproblemIntoMaster(), SCIPtransformDecompstore(), and SCIPtransformMinUC().
◆ SCIPgetNOrigConss()
int SCIPgetNOrigConss | ( | SCIP * | scip | ) |
gets total number of constraints in the original problem
- Returns
- total number of constraints in the original problem
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 3142 of file scip_prob.c.
References FALSE, SCIP_Prob::nconss, Scip::origprob, SCIP_CALL_ABORT, SCIPcheckStage(), and TRUE.
Referenced by addSlackVarsToConstraints(), checkSubproblemConvexity(), computeAndConstraintInfos(), createSubSCIP(), getDecompVarsConssData(), printLongStatistics(), runBenders(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXIT(), SCIP_DECL_READERREAD(), SCIPapplyHeurDualval(), and SCIPcopyOrigConss().
◆ SCIPgetOrigConss()
gets array of constraints in the original problem
- Returns
- array of constraints in the original problem
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 3169 of file scip_prob.c.
References SCIP_Prob::conss, FALSE, Scip::origprob, 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().
◆ SCIPgetNCheckConss()
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)
- Returns
- returns the number of check constraints
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Parameters
-
scip SCIP data structure
Definition at line 3192 of file scip_prob.c.
References FALSE, NULL, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPconshdlrGetNCheckConss(), SCIPgetConshdlrs(), SCIPgetNConshdlrs(), and TRUE.
Referenced by SCIPapplyLockFixings(), and solveIndependentCons().