SCIP
Solving Constraint Integer Programs
prob.c File Reference
Detailed Description
Methods and datastructures for storing and manipulating the main problem.
Definition in file prob.c.
#include "scip/branch.h"#include "scip/conflictstore.h"#include "scip/cons.h"#include "scip/event.h"#include "scip/lp.h"#include "scip/primal.h"#include "scip/prob.h"#include "scip/pub_cons.h"#include "scip/pub_lp.h"#include "scip/pub_message.h"#include "scip/pub_misc.h"#include "scip/pub_misc_sort.h"#include "scip/pub_var.h"#include "scip/set.h"#include "scip/stat.h"#include "scip/struct_cons.h"#include "scip/struct_lp.h"#include "scip/struct_prob.h"#include "scip/struct_set.h"#include "scip/struct_stat.h"#include "scip/struct_var.h"#include "scip/var.h"#include <string.h>Go to the source code of this file.
Macros | |
| #define | OBJSCALE_MAXDNOM 1000000LL |
| #define | OBJSCALE_MAXSCALE 1000000.0 |
| #define | OBJSCALE_MAXFINALSCALE 1000.0 |
Macro Definition Documentation
◆ OBJSCALE_MAXDNOM
| #define OBJSCALE_MAXDNOM 1000000LL |
maximal denominator in objective integral scaling
Definition at line 58 of file prob.c.
Referenced by SCIPprobScaleObj().
◆ OBJSCALE_MAXSCALE
| #define OBJSCALE_MAXSCALE 1000000.0 |
maximal scalar to reach objective integrality
Definition at line 59 of file prob.c.
Referenced by SCIPprobScaleObj().
◆ OBJSCALE_MAXFINALSCALE
| #define OBJSCALE_MAXFINALSCALE 1000.0 |
maximal final value to apply as scaling
Definition at line 60 of file prob.c.
Referenced by SCIPprobScaleObj().
Function Documentation
◆ probEnsureVarsMem()
|
static |
resizes vars array to be able to store at least num entries
- Parameters
-
prob problem data set global SCIP settings num minimal number of slots in array
Definition at line 70 of file prob.c.
References BMSreallocMemoryArray, NULL, SCIP_ALLOC, SCIP_OKAY, SCIPsetCalcMemGrowSize(), SCIP_Prob::vars, and SCIP_Prob::varssize.
Referenced by SCIPprobAddVar(), and SCIPprobTransform().
◆ probEnsureFixedvarsMem()
|
static |
resizes fixedvars array to be able to store at least num entries
- Parameters
-
prob problem data set global SCIP settings num minimal number of slots in array
Definition at line 94 of file prob.c.
References BMSreallocMemoryArray, SCIP_Prob::fixedvars, SCIP_Prob::fixedvarssize, NULL, SCIP_ALLOC, SCIP_OKAY, and SCIPsetCalcMemGrowSize().
Referenced by SCIPprobVarChangedStatus().
◆ probEnsureDeletedvarsMem()
|
static |
resizes deletedvars array to be able to store at least num entries
- Parameters
-
prob problem data set global SCIP settings num minimal number of slots in array
Definition at line 118 of file prob.c.
References BMSreallocMemoryArray, SCIP_Prob::deletedvars, SCIP_Prob::deletedvarssize, NULL, SCIP_ALLOC, SCIP_OKAY, and SCIPsetCalcMemGrowSize().
Referenced by SCIPprobDelVar().
◆ probEnsureConssMem()
|
static |
resizes conss array to be able to store at least num entries
- Parameters
-
prob problem data set global SCIP settings num minimal number of slots in array
Definition at line 142 of file prob.c.
References BMSreallocMemoryArray, SCIP_Prob::conss, SCIP_Prob::consssize, NULL, SCIP_Prob::origcheckconss, SCIP_ALLOC, SCIP_OKAY, and SCIPsetCalcMemGrowSize().
Referenced by SCIPprobAddCons().
◆ consHasName()
returns whether the constraint has a name
- Parameters
-
cons constraint
Definition at line 171 of file prob.c.
References NULL, and SCIPconsGetName().
Referenced by SCIPprobAddConsName(), and SCIPprobRemoveConsName().
◆ varHasName()
returns whether the variable has a name
- Parameters
-
var variable
Definition at line 184 of file prob.c.
References NULL, and SCIPvarGetName().
Referenced by SCIPprobAddVarName(), and SCIPprobRemoveVarName().
◆ SCIPprobCopy()
| SCIP_RETCODE SCIPprobCopy | ( | SCIP_PROB ** | prob, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| const char * | name, | ||
| SCIP * | sourcescip, | ||
| SCIP_PROB * | sourceprob, | ||
| SCIP_HASHMAP * | varmap, | ||
| SCIP_HASHMAP * | consmap, | ||
| SCIP_Bool | original, | ||
| SCIP_Bool | global | ||
| ) |
creates problem data structure by copying the source problem
If the problem type requires the use of variable pricers, these pricers should be activated with calls to SCIPactivatePricer(). These pricers are automatically deactivated, when the problem is freed.
- Parameters
-
prob pointer to problem data structure blkmem block memory set global SCIP settings name problem name sourcescip source SCIP data structure sourceprob source problem structure varmap a hashmap to store the mapping of source variables corresponding target variables consmap a hashmap to store the mapping of source constraints to the corresponding target constraints original copy original or transformed problem? global create a global or a local copy?
Definition at line 206 of file prob.c.
References FALSE, NULL, SCIP_Prob::probdata, SCIP_CALL, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_SUCCESS, SCIPerrorMessage, and SCIPprobCreate().
Referenced by copyProb().
◆ SCIPprobCreate()
| SCIP_RETCODE SCIPprobCreate | ( | SCIP_PROB ** | prob, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| 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, | ||
| SCIP_Bool | transformed | ||
| ) |
creates problem data structure If the problem type requires the use of variable pricers, these pricers should be activated with calls to SCIPactivatePricer(). These pricers are automatically deactivated, when the problem is freed.
- Parameters
-
prob pointer to problem data structure blkmem block memory set global SCIP settings name problem name probdata user problem data set by the reader transformed is this the transformed problem?
Definition at line 270 of file prob.c.
References BMSallocMemory, BMSduplicateMemoryArray, FALSE, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_HASHSIZE_NAMES, SCIP_HASHSIZE_NAMES_SMALL, SCIP_INVALID, SCIP_OBJSENSE_MINIMIZE, SCIP_OKAY, and SCIPhashtableCreate().
Referenced by SCIPcreateProb(), SCIPprobCopy(), and SCIPprobTransform().
◆ SCIPprobSetDelorig()
| void SCIPprobSetDelorig | ( | SCIP_PROB * | prob, |
| SCIP_DECL_PROBDELORIG((*probdelorig)) | |||
| ) |
sets callback to free user data of original problem
- Parameters
-
prob problem
Definition at line 351 of file prob.c.
References NULL.
Referenced by SCIPsetProbDelorig().
◆ SCIPprobSetTrans()
| void SCIPprobSetTrans | ( | SCIP_PROB * | prob, |
| SCIP_DECL_PROBTRANS((*probtrans)) | |||
| ) |
sets callback to create user data of transformed problem by transforming original user data
- Parameters
-
prob problem
Definition at line 362 of file prob.c.
References NULL.
Referenced by SCIPsetProbTrans().
◆ SCIPprobSetDeltrans()
| void SCIPprobSetDeltrans | ( | SCIP_PROB * | prob, |
| SCIP_DECL_PROBDELTRANS((*probdeltrans)) | |||
| ) |
sets callback to free user data of transformed problem
- Parameters
-
prob problem
Definition at line 373 of file prob.c.
References NULL.
Referenced by SCIPsetProbDeltrans().
◆ SCIPprobSetInitsol()
| void SCIPprobSetInitsol | ( | SCIP_PROB * | prob, |
| SCIP_DECL_PROBINITSOL((*probinitsol)) | |||
| ) |
sets solving process initialization callback of transformed data
- Parameters
-
prob problem
Definition at line 384 of file prob.c.
References NULL.
Referenced by SCIPsetProbInitsol().
◆ SCIPprobSetExitsol()
| void SCIPprobSetExitsol | ( | SCIP_PROB * | prob, |
| SCIP_DECL_PROBEXITSOL((*probexitsol)) | |||
| ) |
sets solving process deinitialization callback of transformed data
- Parameters
-
prob problem
Definition at line 395 of file prob.c.
References NULL.
Referenced by SCIPsetProbExitsol().
◆ SCIPprobSetCopy()
| void SCIPprobSetCopy | ( | SCIP_PROB * | prob, |
| SCIP_DECL_PROBCOPY((*probcopy)) | |||
| ) |
sets callback to copy user data to copy it to a subscip, or NULL
- Parameters
-
prob problem
Definition at line 406 of file prob.c.
References NULL.
Referenced by SCIPsetProbCopy().
◆ SCIPprobFree()
| SCIP_RETCODE SCIPprobFree | ( | SCIP_PROB ** | prob, |
| SCIP_MESSAGEHDLR * | messagehdlr, | ||
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_EVENTQUEUE * | eventqueue, | ||
| SCIP_LP * | lp | ||
| ) |
frees problem data structure
- Parameters
-
prob pointer to problem data structure messagehdlr message handler blkmem block memory buffer set global SCIP settings stat dynamic problem statistics eventqueue event queue lp current LP data (or NULL, if it's the original problem)
Definition at line 417 of file prob.c.
References BMSfreeMemory, BMSfreeMemoryArray, BMSfreeMemoryArrayNull, FALSE, h, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPconshdlrNeedsCons(), SCIPconshdlrUnlockVars(), SCIPhashtableFree(), SCIPmessageFPrintWarning(), SCIPprobDelCons(), SCIPprobGetName(), SCIPvarGetName(), SCIPvarGetNUses(), SCIPvarGetProbindex(), SCIPvarRelease(), SCIPvarRemove(), and TRUE.
Referenced by freeTransform(), freeTransforming(), and SCIPfreeProb().
◆ SCIPprobTransform()
| SCIP_RETCODE SCIPprobTransform | ( | SCIP_PROB * | source, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_PRIMAL * | primal, | ||
| SCIP_TREE * | tree, | ||
| SCIP_REOPT * | reopt, | ||
| SCIP_LP * | lp, | ||
| SCIP_BRANCHCAND * | branchcand, | ||
| SCIP_EVENTFILTER * | eventfilter, | ||
| SCIP_EVENTQUEUE * | eventqueue, | ||
| SCIP_CONFLICTSTORE * | conflictstore, | ||
| SCIP_PROB ** | target | ||
| ) |
transform problem data into normalized form
- Parameters
-
source problem to transform blkmem block memory buffer set global SCIP settings stat problem statistics primal primal data tree branch and bound tree reopt reoptimization data structure lp current LP data branchcand branching candidate storage eventfilter event filter for global (not variable dependent) events eventqueue event queue conflictstore conflict store target pointer to target problem data structure
Definition at line 536 of file prob.c.
References SCIP_Prob::conss, SCIP_Prob::dualbound, h, SCIP_Prob::name, SCIP_Prob::nlpenabled, NULL, SCIP_Prob::nvars, SCIP_Prob::objisintegral, SCIP_Prob::objlim, SCIP_Prob::objsense, SCIP_Prob::permuted, SCIP_Prob::probdata, probEnsureVarsMem(), SCIP_CALL, SCIP_INVALID, SCIP_MAXSTRLEN, SCIP_OKAY, SCIPconflictstoreTransform(), SCIPconshdlrLockVars(), SCIPconshdlrNeedsCons(), SCIPconsRelease(), SCIPconsTransform(), SCIPprobAddCons(), SCIPprobAddVar(), SCIPprobCheckObjIntegral(), SCIPprobCreate(), SCIPprobGetNObjVars(), SCIPprobSetDualbound(), SCIPprobSetObjlim(), SCIPprobSetObjsense(), SCIPsetDebugMsg, SCIPsetIsIntegral(), SCIPsnprintf(), SCIPvarRelease(), SCIPvarTransform(), TRUE, and SCIP_Prob::vars.
Referenced by SCIPtransformProb().
◆ SCIPprobResetBounds()
| SCIP_RETCODE SCIPprobResetBounds | ( | SCIP_PROB * | prob, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat | ||
| ) |
resets the global and local bounds of original variables in original problem to their original values
- Parameters
-
prob original problem data blkmem block memory set global SCIP settings stat problem statistics
Definition at line 637 of file prob.c.
References SCIP_Prob::nfixedvars, NULL, SCIP_Prob::nvars, SCIP_CALL, SCIP_OKAY, SCIPvarResetBounds(), and SCIP_Prob::vars.
Referenced by freeTransform().
◆ SCIPprobResortVars()
| void SCIPprobResortVars | ( | SCIP_PROB * | prob | ) |
(Re)Sort the variables, which appear in the four categories (binary, integer, implicit, continuous) after presolve with respect to their original index (within their categories). Adjust the problem index afterwards which is supposed to reflect the position in the variable array. This additional (re)sorting is supposed to get more robust against the order presolving fixed variables. (We also reobtain a possible block structure induced by the user model)
- Parameters
-
prob problem data
Definition at line 663 of file prob.c.
References SCIP_Prob::nbinvars, SCIP_Prob::ncontvars, SCIP_Prob::nimplvars, SCIP_Prob::nintvars, NULL, SCIP_Prob::nvars, SCIPdebugMessage, SCIPsortPtr(), and SCIP_Prob::vars.
Referenced by presolve().
◆ SCIPprobSortConssCheck()
| SCIP_RETCODE SCIPprobSortConssCheck | ( | SCIP_PROB * | prob | ) |
possibly create and sort the constraints according to check priorties
- Parameters
-
prob problem data
Definition at line 715 of file prob.c.
References BMSduplicateMemoryArray, SCIP_Prob::conss, SCIP_Prob::consschecksorted, SCIP_Prob::consssize, SCIP_Prob::nconss, NULL, SCIP_Prob::origcheckconss, SCIP_ALLOC, SCIP_OKAY, SCIPsortPtr(), SCIP_Prob::transformed, and TRUE.
Referenced by SCIPsolCheckOrig().
◆ SCIPprobSetData()
| void SCIPprobSetData | ( | SCIP_PROB * | prob, |
| SCIP_PROBDATA * | probdata | ||
| ) |
sets user problem data
- Parameters
-
prob problem probdata user problem data to use
Definition at line 745 of file prob.c.
References NULL, and SCIP_Prob::probdata.
Referenced by SCIPsetProbData().
◆ probInsertVar()
inserts variable at the correct position in vars array, depending on its type
- Parameters
-
prob problem data var variable to insert
Definition at line 757 of file prob.c.
References SCIP_Prob::nbinvars, SCIP_Prob::ncolvars, SCIP_Prob::ncontvars, SCIP_Prob::nimplvars, SCIP_Prob::nintvars, NULL, SCIP_Prob::nvars, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_ORIGINAL, SCIP_VARTYPE_BINARY, SCIP_VARTYPE_CONTINUOUS, SCIP_VARTYPE_IMPLINT, SCIP_VARTYPE_INTEGER, SCIPvarGetProbindex(), SCIPvarGetStatus(), SCIPvarGetType(), SCIPvarSetProbindex(), SCIP_Prob::transformed, SCIP_Prob::vars, and SCIP_Prob::varssize.
Referenced by SCIPprobAddVar(), and SCIPprobChgVarType().
◆ probRemoveVar()
|
static |
removes variable from vars array
- Parameters
-
prob problem data blkmem block memory cliquetable clique table data structure set global SCIP settings var variable to remove
Definition at line 845 of file prob.c.
References FALSE, SCIP_Prob::nbinvars, SCIP_Prob::ncolvars, SCIP_Prob::ncontvars, SCIP_Prob::nimplvars, SCIP_Prob::nintvars, NULL, SCIP_Prob::nvars, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_VARSTATUS_COLUMN, SCIP_VARTYPE_BINARY, SCIP_VARTYPE_CONTINUOUS, SCIP_VARTYPE_IMPLINT, SCIP_VARTYPE_INTEGER, SCIPABORT, SCIPerrorMessage, SCIPvarGetProbindex(), SCIPvarGetStatus(), SCIPvarGetType(), SCIPvarRemove(), SCIPvarSetProbindex(), and SCIP_Prob::vars.
Referenced by SCIPprobChgVarType(), SCIPprobPerformVarDeletions(), and SCIPprobVarChangedStatus().
◆ SCIPprobAddVarName()
| SCIP_RETCODE SCIPprobAddVarName | ( | SCIP_PROB * | prob, |
| SCIP_VAR * | var | ||
| ) |
adds variable's name to the namespace
- Parameters
-
prob problem data var variable
Definition at line 939 of file prob.c.
References NULL, SCIP_CALL, SCIP_OKAY, SCIPhashtableInsert(), SCIPvarGetProbindex(), varHasName(), and SCIP_Prob::varnames.
Referenced by SCIPchgVarName(), and SCIPprobAddVar().
◆ SCIPprobRemoveVarName()
| SCIP_RETCODE SCIPprobRemoveVarName | ( | SCIP_PROB * | prob, |
| SCIP_VAR * | var | ||
| ) |
removes variable's name from the namespace
- Parameters
-
prob problem data var variable
Definition at line 955 of file prob.c.
References NULL, SCIP_CALL, SCIP_OKAY, SCIPhashtableExists(), SCIPhashtableRemove(), varHasName(), and SCIP_Prob::varnames.
Referenced by SCIPchgVarName(), and SCIPprobPerformVarDeletions().
◆ SCIPprobAddVar()
| SCIP_RETCODE SCIPprobAddVar | ( | SCIP_PROB * | prob, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_LP * | lp, | ||
| SCIP_BRANCHCAND * | branchcand, | ||
| SCIP_EVENTFILTER * | eventfilter, | ||
| SCIP_EVENTQUEUE * | eventqueue, | ||
| SCIP_VAR * | var | ||
| ) |
adds variable to the problem and captures it
- Parameters
-
prob problem data blkmem block memory buffers set global SCIP settings lp current LP data branchcand branching candidate storage eventfilter event filter for global (not variable dependent) events eventqueue event queue var variable to add
Definition at line 970 of file prob.c.
References SCIP_Prob::nbinvars, SCIP_Prob::ncontvars, SCIP_Prob::nimplvars, SCIP_Prob::nintvars, NULL, SCIP_Prob::nvars, SCIP_Prob::objisintegral, probEnsureVarsMem(), probInsertVar(), SCIP_Var::scip, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_STAGE_TRANSFORMING, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_ORIGINAL, SCIPbranchcandUpdateVar(), SCIPerrorMessage, SCIPeventCreateVarAdded(), SCIPeventqueueAdd(), SCIPlpUpdateAddVar(), SCIPprobAddVarName(), SCIPprobUpdateNObjVars(), SCIPsetDebugMsg, SCIPsetGetStage(), SCIPsetIsIntegral(), SCIPsetIsZero(), SCIPvarCapture(), SCIPvarGetName(), SCIPvarGetObj(), SCIPvarGetProbindex(), SCIPvarGetStatus(), SCIPvarIsIntegral(), and SCIP_Prob::transformed.
Referenced by SCIPaddPricedVar(), SCIPaddVar(), SCIPprobTransform(), and tryAggregateIntVars().
◆ SCIPprobDelVar()
| SCIP_RETCODE SCIPprobDelVar | ( | SCIP_PROB * | prob, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_EVENTQUEUE * | eventqueue, | ||
| SCIP_VAR * | var, | ||
| SCIP_Bool * | deleted | ||
| ) |
marks variable to be removed from the problem; however, the variable is NOT removed from the constraints
- Parameters
-
prob problem data blkmem block memory set global SCIP settings eventqueue event queue var problem variable deleted pointer to store whether marking variable to be deleted was successful
Definition at line 1043 of file prob.c.
References SCIP_Prob::deletedvars, FALSE, SCIP_Prob::nbinvars, SCIP_Prob::ncontvars, SCIP_Prob::ndeletedvars, SCIP_Prob::nimplvars, SCIP_Prob::nintvars, NULL, SCIP_Prob::nvars, probEnsureDeletedvarsMem(), SCIP_CALL, SCIP_OKAY, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_ORIGINAL, SCIPeventCreateVarDeleted(), SCIPeventqueueAdd(), SCIPsetDebugMsg, SCIPvarGetName(), SCIPvarGetNegatedVar(), SCIPvarGetProbindex(), SCIPvarGetStatus(), SCIPvarIsTransformedOrigvar(), SCIPvarMarkDeleted(), SCIP_Prob::transformed, and TRUE.
Referenced by focusnodeCleanupVars(), SCIPdelVar(), and SCIPprobExitSolve().
◆ SCIPprobPerformVarDeletions()
| SCIP_RETCODE SCIPprobPerformVarDeletions | ( | SCIP_PROB * | prob, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_EVENTQUEUE * | eventqueue, | ||
| SCIP_CLIQUETABLE * | cliquetable, | ||
| SCIP_LP * | lp, | ||
| SCIP_BRANCHCAND * | branchcand | ||
| ) |
actually removes the deleted variables from the problem and releases them
- Parameters
-
prob problem data blkmem block memory set global SCIP settings stat dynamic problem statistics eventqueue event queue cliquetable clique table data structure lp current LP data (may be NULL) branchcand branching candidate storage
Definition at line 1104 of file prob.c.
References SCIP_Prob::deletedvars, SCIP_Prob::ndeletedvars, NULL, probRemoveVar(), SCIP_CALL, SCIP_OKAY, SCIP_STAGE_SOLVING, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_ORIGINAL, SCIPbranchcandRemoveVar(), SCIPconshdlrDelVars(), SCIPlpUpdateDelVar(), SCIPprobRemoveVarName(), SCIPprobUpdateNObjVars(), SCIPsetDebugMsg, SCIPsetGetStage(), SCIPvarGetName(), SCIPvarGetObj(), SCIPvarGetProbindex(), SCIPvarGetStatus(), SCIPvarLoose(), SCIPvarRelease(), and SCIP_Prob::transformed.
Referenced by exitPresolve(), focusnodeCleanupVars(), initPresolve(), presolveRound(), and SCIPdelVar().
◆ SCIPprobChgVarType()
| SCIP_RETCODE SCIPprobChgVarType | ( | SCIP_PROB * | prob, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_PRIMAL * | primal, | ||
| SCIP_LP * | lp, | ||
| SCIP_BRANCHCAND * | branchcand, | ||
| SCIP_EVENTQUEUE * | eventqueue, | ||
| SCIP_CLIQUETABLE * | cliquetable, | ||
| SCIP_VAR * | var, | ||
| SCIP_VARTYPE | vartype | ||
| ) |
changes the type of a variable in the problem
- Parameters
-
prob problem data blkmem block memory set global SCIP settings primal primal data lp current LP data branchcand branching candidate storage eventqueue event queue cliquetable clique table data structure var variable to add vartype new type of variable
Definition at line 1175 of file prob.c.
References NULL, probInsertVar(), probRemoveVar(), SCIP_CALL, SCIP_OKAY, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_ORIGINAL, SCIPbranchcandRemoveVar(), SCIPbranchcandUpdateVar(), SCIPvarChgType(), SCIPvarGetProbindex(), SCIPvarGetStatus(), and SCIPvarGetType().
Referenced by SCIPchgVarType().
◆ SCIPprobVarChangedStatus()
| SCIP_RETCODE SCIPprobVarChangedStatus | ( | SCIP_PROB * | prob, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_BRANCHCAND * | branchcand, | ||
| SCIP_CLIQUETABLE * | cliquetable, | ||
| SCIP_VAR * | var | ||
| ) |
informs problem, that the given loose problem variable changed its status
- Parameters
-
prob problem data blkmem block memory set global SCIP settings branchcand branching candidate storage cliquetable clique table data structure var problem variable
Definition at line 1224 of file prob.c.
References SCIP_Prob::fixedvars, SCIP_Prob::ncolvars, SCIP_Prob::nfixedvars, NULL, SCIP_Prob::nvars, probEnsureFixedvarsMem(), probRemoveVar(), SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPbranchcandUpdateVar(), SCIPerrorMessage, SCIPvarGetProbindex(), and SCIPvarGetStatus().
Referenced by SCIPvarAggregate(), SCIPvarColumn(), SCIPvarFix(), SCIPvarLoose(), and SCIPvarMultiaggregate().
◆ SCIPprobAddConsName()
| SCIP_RETCODE SCIPprobAddConsName | ( | SCIP_PROB * | prob, |
| SCIP_CONS * | cons | ||
| ) |
adds constraint's name to the namespace
- Parameters
-
prob problem data cons constraint
Definition at line 1282 of file prob.c.
References consHasName(), SCIP_Prob::consnames, NULL, SCIP_CALL, SCIP_OKAY, and SCIPhashtableInsert().
Referenced by SCIPchgConsName(), and SCIPprobAddCons().
◆ SCIPprobRemoveConsName()
| SCIP_RETCODE SCIPprobRemoveConsName | ( | SCIP_PROB * | prob, |
| SCIP_CONS * | cons | ||
| ) |
remove constraint's name from the namespace
- Parameters
-
prob problem data cons constraint
Definition at line 1297 of file prob.c.
References consHasName(), SCIP_Prob::consnames, SCIP_Cons::name, NULL, SCIP_CALL, SCIP_OKAY, SCIPhashtableRemove(), and SCIPhashtableRetrieve().
Referenced by SCIPchgConsName(), and SCIPprobDelCons().
◆ SCIPprobAddCons()
| SCIP_RETCODE SCIPprobAddCons | ( | SCIP_PROB * | prob, |
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_CONS * | cons | ||
| ) |
adds constraint to the problem and captures it; a local constraint is automatically upgraded into a global constraint
- Parameters
-
prob problem data set global SCIP settings stat dynamic problem statistics cons constraint to add
Definition at line 1319 of file prob.c.
References SCIP_Cons::addarraypos, SCIP_Cons::addconssetchg, SCIP_Prob::conss, SCIP_Prob::consschecksorted, SCIP_Cons::deleted, FALSE, MAX, SCIP_Prob::maxnconss, SCIP_Stat::nactiveconssadded, SCIP_Prob::nconss, SCIP_Stat::nnodes, NULL, SCIP_Prob::origcheckconss, probEnsureConssMem(), SCIP_Cons::scip, SCIP_CALL, SCIP_INVALIDDATA, SCIP_LOCKTYPE_MODEL, SCIP_OKAY, SCIPconsActivate(), SCIPconsAddLocks(), SCIPconsCapture(), SCIPconsGetName(), SCIPconsIsActive(), SCIPconsIsChecked(), SCIPconsSetLocal(), SCIPerrorMessage, SCIPprobAddConsName(), SCIPsetDebugMsg, and SCIP_Prob::transformed.
Referenced by createAndAddProofcons(), SCIPaddCons(), SCIPaddConsNode(), SCIPconssetchgMakeGlobal(), SCIPprobTransform(), and tightenSingleVar().
◆ SCIPprobDelCons()
| SCIP_RETCODE SCIPprobDelCons | ( | SCIP_PROB * | prob, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_CONS * | cons | ||
| ) |
releases and removes constraint from the problem; if the user has not captured the constraint for his own use, the constraint may be invalid after the call
- Parameters
-
prob problem data blkmem block memory set global SCIP settings stat dynamic problem statistics cons constraint to remove
Definition at line 1390 of file prob.c.
References SCIP_Cons::active, SCIP_Cons::addarraypos, SCIP_Cons::addconssetchg, BMSfreeMemoryArray, SCIP_Prob::conss, SCIP_Prob::consschecksorted, SCIP_Cons::enabled, FALSE, SCIP_Prob::nconss, NULL, SCIP_Prob::origcheckconss, SCIP_CALL, SCIP_LOCKTYPE_MODEL, SCIP_OKAY, SCIPconsAddLocks(), SCIPconsDeactivate(), SCIPconsIsChecked(), SCIPconsRelease(), SCIPprobRemoveConsName(), SCIP_Prob::transformed, and SCIP_Cons::updatedeactivate.
Referenced by SCIPconsDelete(), and SCIPprobFree().
◆ SCIPprobMarkNConss()
| void SCIPprobMarkNConss | ( | SCIP_PROB * | prob | ) |
remembers the current number of constraints in the problem's internal data structure
- resets maximum number of constraints to current number of constraints
- remembers current number of constraints as starting number of constraints
- Parameters
-
prob problem data
Definition at line 1455 of file prob.c.
References SCIP_Prob::maxnconss, SCIP_Prob::nconss, NULL, SCIP_Prob::nvars, SCIP_Prob::startnconss, and SCIP_Prob::startnvars.
Referenced by initSolve(), presolve(), and SCIPtransformProb().
◆ SCIPprobSetObjsense()
| void SCIPprobSetObjsense | ( | SCIP_PROB * | prob, |
| SCIP_OBJSENSE | objsense | ||
| ) |
sets objective sense: minimization or maximization
- Parameters
-
prob problem data objsense new objective sense
Definition at line 1468 of file prob.c.
References NULL, SCIP_Prob::objsense, SCIP_OBJSENSE_MAXIMIZE, and SCIP_OBJSENSE_MINIMIZE.
Referenced by SCIPprobTransform(), and SCIPsetObjsense().
◆ SCIPprobAddObjoffset()
adds value to objective offset
- Parameters
-
prob problem data addval value to add to objective offset
Definition at line 1481 of file prob.c.
References NULL, SCIP_Prob::objoffset, SCIPdebugMessage, and SCIP_Prob::transformed.
Referenced by SCIPaddObjoffset(), and SCIPvarAddObj().
◆ SCIPprobSetDualbound()
sets the dual bound on objective function
- Parameters
-
prob problem data dualbound external dual bound
Definition at line 1494 of file prob.c.
References SCIP_Prob::dualbound, and NULL.
Referenced by SCIPcopyConcurrentSolvingStats(), SCIPprobTransform(), and SCIPprobUpdateDualbound().
◆ SCIPprobSetObjlim()
sets limit on objective function, such that only solutions better than this limit are accepted
- Parameters
-
prob problem data objlim external objective limit
Definition at line 1505 of file prob.c.
References NULL, and SCIP_Prob::objlim.
Referenced by SCIPprimalSetCutoffbound(), SCIPprobTransform(), and SCIPsetObjlimit().
◆ SCIPprobSetObjIntegral()
| void SCIPprobSetObjIntegral | ( | SCIP_PROB * | prob | ) |
informs the problem, that its objective value is always integral in every feasible solution
- Parameters
-
prob problem data
Definition at line 1516 of file prob.c.
References NULL, SCIP_Prob::objisintegral, and TRUE.
Referenced by SCIPsetObjIntegral().
◆ SCIPprobCheckObjIntegral()
| SCIP_RETCODE SCIPprobCheckObjIntegral | ( | SCIP_PROB * | transprob, |
| SCIP_PROB * | origprob, | ||
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_PRIMAL * | primal, | ||
| SCIP_TREE * | tree, | ||
| SCIP_REOPT * | reopt, | ||
| SCIP_LP * | lp, | ||
| SCIP_EVENTFILTER * | eventfilter, | ||
| SCIP_EVENTQUEUE * | eventqueue | ||
| ) |
sets integral objective value flag, if all variables with non-zero objective values are integral and have integral objective value and also updates the cutoff bound if primal solution is already known
- Parameters
-
transprob tranformed problem data origprob original problem data blkmem block memory set global SCIP settings stat problem statistics data primal primal data tree branch and bound tree reopt reoptimization data structure lp current LP data eventfilter event filter for global (not variable dependent) events eventqueue event queue
Definition at line 1528 of file prob.c.
References NULL, SCIP_Prob::nvars, SCIP_Prob::objisintegral, SCIP_Prob::objoffset, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VARTYPE_CONTINUOUS, SCIPprimalUpdateObjoffset(), SCIPsetIsIntegral(), SCIPsetIsZero(), SCIPvarGetObj(), SCIPvarGetType(), TRUE, and SCIP_Prob::vars.
Referenced by exitPresolve(), prepareReoptimization(), SCIPprobTransform(), and SCIPtransformProb().
◆ SCIPprobUpdateNObjVars()
| void SCIPprobUpdateNObjVars | ( | SCIP_PROB * | prob, |
| SCIP_SET * | set, | ||
| SCIP_Real | oldobj, | ||
| SCIP_Real | newobj | ||
| ) |
update the number of variables with non-zero objective coefficient
- Parameters
-
prob problem data set global SCIP settings oldobj old objective value for variable newobj new objective value for variable
Definition at line 1592 of file prob.c.
References SCIP_Prob::nobjvars, SCIPsetIsZero(), and SCIP_Prob::transformed.
Referenced by SCIPprobAddVar(), SCIPprobPerformVarDeletions(), SCIPvarAddObj(), and SCIPvarChgObj().
◆ SCIPprobUpdateDualbound()
update the dual bound if its better as the current one
- Parameters
-
prob problem data newbound new dual bound for the node (if it's tighter than the old one)
Definition at line 1609 of file prob.c.
References SCIP_Prob::dualbound, MAX, MIN, SCIP_Prob::objsense, SCIP_INVALID, SCIP_OBJSENSE_MAXIMIZE, SCIP_OBJSENSE_MINIMIZE, SCIPABORT, SCIPerrorMessage, and SCIPprobSetDualbound().
Referenced by freeSolve(), SCIPupdateLocalDualbound(), and SCIPupdateLocalLowerbound().
◆ SCIPprobInvalidateDualbound()
| void SCIPprobInvalidateDualbound | ( | SCIP_PROB * | prob | ) |
invalidates the dual bound
- Parameters
-
prob problem data
Definition at line 1636 of file prob.c.
References SCIP_Prob::dualbound, NULL, and SCIP_INVALID.
Referenced by freeReoptSolve().
◆ SCIPprobScaleObj()
| SCIP_RETCODE SCIPprobScaleObj | ( | SCIP_PROB * | transprob, |
| SCIP_PROB * | origprob, | ||
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_PRIMAL * | primal, | ||
| SCIP_TREE * | tree, | ||
| SCIP_REOPT * | reopt, | ||
| SCIP_LP * | lp, | ||
| SCIP_EVENTFILTER * | eventfilter, | ||
| SCIP_EVENTQUEUE * | eventqueue | ||
| ) |
if possible, scales objective function such that it is integral with gcd = 1
- Parameters
-
transprob tranformed problem data origprob original problem data blkmem block memory set global SCIP settings stat problem statistics data primal primal data tree branch and bound tree reopt reoptimization data structure lp current LP data eventfilter event filter for global (not variable dependent) events eventqueue event queue
Definition at line 1646 of file prob.c.
References SCIP_Prob::ncontvars, NULL, SCIP_Prob::nvars, SCIP_Prob::objisintegral, SCIP_Prob::objoffset, SCIP_Prob::objscale, OBJSCALE_MAXDNOM, OBJSCALE_MAXFINALSCALE, OBJSCALE_MAXSCALE, REALABS, SCIP_Bool, SCIP_CALL, SCIP_Longint, SCIP_LONGINT_FORMAT, SCIP_LONGINT_MAX, SCIP_OKAY, SCIP_Real, SCIPcalcGreComDiv(), SCIPcalcIntegralScalar(), SCIPprimalUpdateObjoffset(), SCIPsetAllocBufferArray, SCIPsetDebugMsg, SCIPsetEpsilon(), SCIPsetFeasFloor(), SCIPsetFreeBufferArray, SCIPsetIsEQ(), SCIPsetIsFeasIntegral(), SCIPsetIsZero(), SCIPvarChgObj(), SCIPvarGetName(), SCIPvarGetObj(), TRUE, and SCIP_Prob::vars.
Referenced by exitPresolve(), prepareReoptimization(), and SCIPtransformProb().
◆ SCIPprobStoreRootSol()
| void SCIPprobStoreRootSol | ( | SCIP_PROB * | prob, |
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_LP * | lp, | ||
| SCIP_Bool | roothaslp | ||
| ) |
remembers the current solution as root solution in the problem variables
- Parameters
-
prob problem data set global SCIP settings stat SCIP statistics lp current LP data roothaslp is the root solution from LP?
Definition at line 1778 of file prob.c.
References SCIP_Prob::nbinvars, SCIP_Prob::nimplvars, SCIP_Prob::nintvars, NULL, SCIP_Prob::nvars, SCIPlpGetColumnObjval(), SCIPlpIsRelax(), SCIPlpSetRootLPIsRelax(), SCIPlpStoreRootObjval(), SCIPstatComputeRootLPBestEstimate(), SCIPvarStoreRootSol(), SCIP_Prob::transformed, and SCIP_Prob::vars.
Referenced by solveNode().
◆ SCIPprobUpdateBestRootSol()
remembers the best solution w.r.t. root reduced cost propagation as root solution in the problem variables
- Parameters
-
prob problem data set global SCIP settings stat problem statistics lp current LP data
Definition at line 1805 of file prob.c.
References FALSE, SCIP_Lp::lpsolstat, NULL, SCIP_Prob::nvars, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_Bool, SCIP_INVALID, SCIP_LPSOLSTAT_OPTIMAL, SCIP_Real, SCIP_VARSTATUS_COLUMN, SCIPcolGetBasisStatus(), SCIPcolGetPrimsol(), SCIPcolGetRedcost(), SCIPlpGetObjval(), SCIPlpGetSolstat(), SCIPlpIsDualReliable(), SCIPlpIsSolBasic(), SCIPprobGetNObjVars(), SCIPsetDebugMsg, SCIPsetIsDualfeasNegative(), SCIPsetIsDualfeasPositive(), SCIPsetIsFeasEQ(), SCIPvarGetCol(), SCIPvarGetImplRedcost(), SCIPvarGetLbLocal(), SCIPvarGetSol(), SCIPvarGetStatus(), SCIPvarGetUbLocal(), SCIPvarIsBinary(), SCIPvarUpdateBestRootSol(), SCIP_Prob::transformed, TRUE, and SCIP_Prob::vars.
Referenced by priceAndCutLoop(), and propAndSolve().
◆ SCIPprobExitPresolve()
| SCIP_RETCODE SCIPprobExitPresolve | ( | SCIP_PROB * | prob, |
| SCIP_SET * | set | ||
| ) |
informs problem, that the presolving process was finished, and updates all internal data structures
- Parameters
-
prob problem data set global SCIP settings
Definition at line 1903 of file prob.c.
References SCIP_OKAY.
Referenced by exitPresolve().
◆ SCIPprobInitSolve()
| SCIP_RETCODE SCIPprobInitSolve | ( | SCIP_PROB * | prob, |
| SCIP_SET * | set | ||
| ) |
initializes problem for branch and bound process and resets all constraint's ages and histories of current run
- Parameters
-
prob problem data set global SCIP settings
Definition at line 1912 of file prob.c.
References SCIP_Prob::conss, SCIP_Prob::nconss, SCIP_Prob::nobjvars, NULL, SCIP_Prob::nvars, SCIP_Prob::probdata, SCIP_CALL, SCIP_OKAY, SCIPconsResetAge(), SCIPprobGetNObjVars(), SCIPvarInitSolve(), SCIP_Prob::transformed, and SCIP_Prob::vars.
Referenced by initSolve().
◆ SCIPprobExitSolve()
| SCIP_RETCODE SCIPprobExitSolve | ( | SCIP_PROB * | prob, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_EVENTQUEUE * | eventqueue, | ||
| SCIP_LP * | lp, | ||
| SCIP_Bool | restart | ||
| ) |
deinitializes problem after branch and bound process, and converts all COLUMN variables back into LOOSE variables
- Parameters
-
prob problem data blkmem block memory set global SCIP settings eventqueue event queue lp current LP data restart was this exit solve call triggered by a restart?
Definition at line 1947 of file prob.c.
References SCIP_Prob::ncolvars, NULL, SCIP_Prob::nvars, SCIP_Prob::probdata, SCIP_Bool, SCIP_CALL, SCIP_INVALID, SCIP_OKAY, SCIP_VARSTATUS_COLUMN, SCIPprobDelVar(), SCIPsetDebugMsg, SCIPvarGetName(), SCIPvarGetNLocksDown(), SCIPvarGetNLocksUp(), SCIPvarGetNUses(), SCIPvarGetStatus(), SCIPvarIsDeletable(), SCIPvarIsRelaxationOnly(), SCIPvarLoose(), SCIPvarSetBestRootSol(), SCIP_Prob::transformed, and SCIP_Prob::vars.
Referenced by freeReoptSolve(), and freeSolve().
◆ SCIPprobSetName()
| SCIP_RETCODE SCIPprobSetName | ( | SCIP_PROB * | prob, |
| const char * | name | ||
| ) |
sets problem name
- Parameters
-
prob problem data name name to be set
Definition at line 2022 of file prob.c.
References BMSduplicateMemoryArray, BMSfreeMemoryArray, SCIP_Prob::name, NULL, SCIP_ALLOC, and SCIP_OKAY.
Referenced by SCIPsetProbName().
◆ SCIPprobGetNImplBinVars()
| int SCIPprobGetNImplBinVars | ( | SCIP_PROB * | prob | ) |
returns the number of implicit binary variables, meaning variable of vartype != SCIP_VARTYPE_BINARY and != SCIP_VARTYPE_CONTINUOUS but with global bounds [0,1]
- Note
- this number needs to be computed, because it cannot be updated like the other counters for binary and integer variables, each time the variable type changes(, we would need to update this counter each time a global bound changes), even at the end of presolving this cannot be computed, because some variable can change to an implicit binary status
- Parameters
-
prob problem data
Definition at line 2043 of file prob.c.
References SCIP_Prob::nbinvars, SCIP_Prob::nimplvars, SCIP_Prob::nintvars, SCIPvarIsBinary(), and SCIP_Prob::vars.
Referenced by SCIPshrinkDisjunctiveVarSet().
◆ SCIPprobGetNObjVars()
returns the number of variables with non-zero objective coefficient
- Parameters
-
prob problem data set global SCIP settings
Definition at line 2060 of file prob.c.
References SCIP_Prob::nobjvars, SCIP_Prob::nvars, SCIPsetIsZero(), SCIPvarGetObj(), SCIP_Prob::transformed, and SCIP_Prob::vars.
Referenced by SCIPgetNObjVars(), SCIPprobInitSolve(), SCIPprobPrintStatistics(), SCIPprobTransform(), and SCIPprobUpdateBestRootSol().
◆ SCIPprobGetAbsMinObjCoef()
returns the minimal absolute non-zero objective coefficient
- Note
- currently, this is only used for statistics and printed after the solving process. if this information is needed during the (pre)solving process this should be implemented more efficiently, e.g., updating the minimal absolute non-zero coefficient every time an objective coefficient has changed.
- Parameters
-
prob problem data set global SCIP settings
Definition at line 2107 of file prob.c.
References SCIP_Prob::nvars, REALABS, SCIP_Real, SCIPsetInfinity(), SCIPsetIsLT(), SCIPsetIsZero(), SCIPvarGetObj(), and SCIP_Prob::vars.
Referenced by SCIPprobPrintStatistics().
◆ SCIPprobGetAbsMaxObjCoef()
returns the maximal absolute non-zero objective coefficient
- Note
- currently, this is only used for statistics and printed after the solving process. if this information is needed during the (pre)solving process this should be implemented more efficiently, e.g., updating the maximal absolute non-zero coefficient every time an objective coefficient has changed.
- Parameters
-
prob problem data set global SCIP settings
Definition at line 2134 of file prob.c.
References SCIP_Prob::nvars, REALABS, SCIP_Real, SCIPsetInfinity(), SCIPsetIsGT(), SCIPsetIsZero(), SCIPvarGetObj(), and SCIP_Prob::vars.
Referenced by SCIPprobPrintStatistics().
◆ SCIPprobExternObjval()
| SCIP_Real SCIPprobExternObjval | ( | SCIP_PROB * | transprob, |
| SCIP_PROB * | origprob, | ||
| SCIP_SET * | set, | ||
| SCIP_Real | objval | ||
| ) |
returns the external value of the given internal objective value
- Parameters
-
transprob tranformed problem data origprob original problem data set global SCIP settings objval internal objective value
Definition at line 2157 of file prob.c.
References NULL, SCIP_Prob::objoffset, SCIP_Prob::objscale, SCIP_Prob::objsense, SCIP_Real, SCIPsetInfinity(), SCIPsetIsInfinity(), and SCIP_Prob::transformed.
Referenced by applyBounding(), primalAddSol(), SCIPcopyConcurrentSolvingStats(), SCIPgetAvgDualbound(), SCIPgetConcurrentDualbound(), SCIPgetConcurrentPrimalbound(), SCIPgetDualbound(), SCIPgetDualboundRoot(), SCIPgetLocalDualbound(), SCIPgetLocalOrigEstimate(), SCIPgetNodeDualbound(), SCIPgetPrimalbound(), SCIPgetSolOrigObj(), SCIPprimalSetCutoffbound(), SCIPprintMIPStart(), SCIPprintSol(), SCIPretransformObj(), SCIPstatUpdatePrimalDualIntegrals(), SCIPupdateLocalDualbound(), SCIPupdateLocalLowerbound(), and solveNodeInitialLP().
◆ SCIPprobInternObjval()
| SCIP_Real SCIPprobInternObjval | ( | SCIP_PROB * | transprob, |
| SCIP_PROB * | origprob, | ||
| SCIP_SET * | set, | ||
| SCIP_Real | objval | ||
| ) |
returns the internal value of the given external objective value
- Parameters
-
transprob tranformed problem data origprob original problem data set global SCIP settings objval external objective value
Definition at line 2179 of file prob.c.
References NULL, SCIP_Prob::objoffset, SCIP_Prob::objscale, SCIP_Prob::objsense, SCIP_Real, SCIPsetInfinity(), SCIPsetIsInfinity(), and SCIP_Prob::transformed.
Referenced by exitPresolve(), initSolve(), primalAddSol(), SCIPgetFirstLPLowerboundRoot(), SCIPprimalUpdateObjlimit(), SCIPprimalUpdateObjoffset(), SCIPsetObjlimit(), SCIPsolGetObj(), SCIPsolveCIP(), SCIPstatResetCurrentRun(), SCIPtransformObj(), SCIPupdateLocalDualbound(), and SCIPupdateNodeDualbound().
◆ SCIPprobFindVar()
returns variable of the problem with given name
- Parameters
-
prob problem data name name of variable to find
Definition at line 2201 of file prob.c.
References NULL, SCIPABORT, SCIPerrorMessage, SCIPhashtableRetrieve(), and SCIP_Prob::varnames.
Referenced by SCIPfindVar().
◆ SCIPprobFindCons()
returns constraint of the problem with given name
- Parameters
-
prob problem data name name of variable to find
Definition at line 2220 of file prob.c.
References SCIP_Prob::consnames, NULL, SCIPABORT, SCIPerrorMessage, and SCIPhashtableRetrieve().
Referenced by SCIPfindCons(), and SCIPfindOrigCons().
◆ SCIPprobPrintPseudoSol()
| void SCIPprobPrintPseudoSol | ( | SCIP_PROB * | prob, |
| SCIP_SET * | set, | ||
| SCIP_MESSAGEHDLR * | messagehdlr | ||
| ) |
displays current pseudo solution
- Parameters
-
prob problem data set global SCIP settings messagehdlr message handler
Definition at line 2239 of file prob.c.
References NULL, SCIP_Prob::nvars, SCIP_Real, SCIPmessagePrintInfo(), SCIPsetIsZero(), SCIPvarGetName(), SCIPvarGetPseudoSol(), and SCIP_Prob::vars.
◆ SCIPprobPrintStatistics()
| void SCIPprobPrintStatistics | ( | SCIP_PROB * | prob, |
| SCIP_SET * | set, | ||
| SCIP_MESSAGEHDLR * | messagehdlr, | ||
| FILE * | file | ||
| ) |
outputs problem statistics
- Parameters
-
prob problem data set global SCIP settings messagehdlr message handler file output file (or NULL for standard output)
Definition at line 2261 of file prob.c.
References SCIP_Prob::maxnconss, SCIP_Prob::name, SCIP_Prob::nbinvars, SCIP_Prob::ncontvars, SCIP_Prob::nimplvars, SCIP_Prob::nintvars, NULL, SCIP_Prob::nvars, SCIP_Prob::objsense, SCIP_OBJSENSE_MINIMIZE, SCIPmessageFPrintInfo(), SCIPprobGetAbsMaxObjCoef(), SCIPprobGetAbsMinObjCoef(), SCIPprobGetNObjVars(), SCIP_Prob::startnconss, and SCIP_Prob::transformed.
Referenced by SCIPprintOrigProblemStatistics(), and SCIPprintTransProblemStatistics().
◆ SCIPprobIsPermuted()
is the problem permuted
Definition at line 2308 of file prob.c.
References NULL, and SCIP_Prob::permuted.
Referenced by SCIPpermuteProb().
◆ SCIPprobMarkPermuted()
| void SCIPprobMarkPermuted | ( | SCIP_PROB * | prob | ) |
mark the problem as permuted
Definition at line 2318 of file prob.c.
References NULL, SCIP_Prob::permuted, and TRUE.
Referenced by SCIPpermuteProb().
◆ SCIPprobIsTransformed()
is the problem data transformed
- Parameters
-
prob problem data
Definition at line 2328 of file prob.c.
References NULL, and SCIP_Prob::transformed.
Referenced by applyImplic(), detectImpliedBounds(), SCIPreoptInstallBounds(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarChgObj(), SCIPvarFixBinary(), SCIPvarGetImplRedcost(), and varAddImplic().
◆ SCIPprobIsObjIntegral()
returns whether the objective value is known to be integral in every feasible solution
- Parameters
-
prob problem data
Definition at line 2338 of file prob.c.
References NULL, and SCIP_Prob::objisintegral.
Referenced by primalSetUpperbound(), SCIPconflictAnalyzePseudo(), SCIPconflictstoreAddDualsolcons(), SCIPconflictstoreCleanNewIncumbent(), SCIPgetDualProof(), SCIPisObjIntegral(), and SCIPpresolve().
◆ SCIPprobAllColsInLP()
returns TRUE iff all columns, i.e. every variable with non-empty column w.r.t. all ever created rows, are present in the LP, and FALSE, if there are additional already existing columns, that may be added to the LP in pricing
- Parameters
-
prob problem data set global SCIP settings lp current LP data
Definition at line 2350 of file prob.c.
References SCIP_Prob::ncolvars, SCIP_Prob::nvars, and SCIPlpGetNCols().
Referenced by conflictAnalyzeBoundexceedingLP(), conflictAnalyzeInfeasibleLP(), conflictAnalyzeLP(), priceAndCutLoop(), propAndSolve(), SCIPaddRow(), SCIPallColsInLP(), SCIPconflictAnalyzeLP(), SCIPconflictAnalyzeStrongbranch(), SCIPgetVarsStrongbranchesFrac(), SCIPgetVarsStrongbranchesInt(), SCIPgetVarStrongbranchFrac(), SCIPgetVarStrongbranchInt(), SCIPlpSolveAndEval(), SCIPpriceLoop(), SCIPrunBoundHeuristic(), SCIPsolveDiveLP(), SCIPtreeEndProbing(), solveNodeInitialLP(), and solveProbingLP().
◆ SCIPprobGetObjlim()
gets limit on objective function in external space
- Parameters
-
prob problem data set global SCIP settings
Definition at line 2362 of file prob.c.
References NULL, SCIP_Prob::objlim, SCIP_Prob::objsense, SCIP_INVALID, SCIP_Real, and SCIPsetInfinity().
Referenced by primalAddOrigSol(), primalAddSol(), SCIPgetObjlimit(), SCIPprimalSetCutoffbound(), SCIPprimalUpdateObjlimit(), SCIPprimalUpdateObjoffset(), SCIPsetObjlimit(), and SCIPsolveCIP().
◆ SCIPprobGetData()
| SCIP_PROBDATA* SCIPprobGetData | ( | SCIP_PROB * | prob | ) |
gets user problem data
- Parameters
-
prob problem
Definition at line 2374 of file prob.c.
References NULL, and SCIP_Prob::probdata.
Referenced by SCIPgetProbData().
◆ SCIPprobGetName()
| const char* SCIPprobGetName | ( | SCIP_PROB * | prob | ) |
gets problem name
- Parameters
-
prob problem data
Definition at line 2384 of file prob.c.
References SCIP_Prob::name, and NULL.
Referenced by detectImpliedBounds(), initSolve(), SCIPgetProbName(), SCIPprobFree(), SCIPshrinkDisjunctiveVarSet(), SCIPtransformProb(), SCIPvarCapture(), and SCIPvarRelease().
◆ SCIPprobGetNVars()
| int SCIPprobGetNVars | ( | SCIP_PROB * | prob | ) |
gets number of problem variables
- Parameters
-
prob problem data
Definition at line 2393 of file prob.c.
References NULL, and SCIP_Prob::nvars.
Referenced by conflictAnalyzeLP(), initConflictstore(), SCIPreoptInstallBounds(), SCIPreoptSaveGlobalBounds(), SCIPrunBoundHeuristic(), SCIPshrinkDisjunctiveVarSet(), SCIPvarGetImplRedcost(), and separateAlternativeProofs().
◆ SCIPprobGetNBinVars()
| int SCIPprobGetNBinVars | ( | SCIP_PROB * | prob | ) |
gets number of binary problem variables
- Parameters
-
prob problem data
Definition at line 2402 of file prob.c.
References SCIP_Prob::nbinvars, and NULL.
Referenced by SCIPsolAdjustImplicitSolVals().
◆ SCIPprobGetNIntVars()
| int SCIPprobGetNIntVars | ( | SCIP_PROB * | prob | ) |
gets number of integer problem variables
- Parameters
-
prob problem data
Definition at line 2411 of file prob.c.
References SCIP_Prob::nintvars, and NULL.
Referenced by SCIPsolAdjustImplicitSolVals().
◆ SCIPprobGetNImplVars()
| int SCIPprobGetNImplVars | ( | SCIP_PROB * | prob | ) |
gets number of implicit integer problem variables
- Parameters
-
prob problem data
Definition at line 2420 of file prob.c.
References SCIP_Prob::nimplvars, and NULL.
Referenced by SCIPsolAdjustImplicitSolVals().
◆ SCIPprobGetNContVars()
| int SCIPprobGetNContVars | ( | SCIP_PROB * | prob | ) |
gets number of continuous problem variables
- Parameters
-
prob problem data
Definition at line 2429 of file prob.c.
References SCIP_Prob::ncontvars, and NULL.
Referenced by SCIPvarGetImplRedcost().
◆ SCIPprobGetVars()
gets problem variables
- Parameters
-
prob problem data
Definition at line 2438 of file prob.c.
References NULL, and SCIP_Prob::vars.
Referenced by createAndAddProofcons(), getMaxActivity(), getMinActivity(), propagateLongProof(), SCIPaggrRowGetMinActivity(), SCIPconflictFlushProofset(), SCIPproofsetFree(), SCIPreoptInstallBounds(), SCIPreoptSaveGlobalBounds(), SCIPrunBoundHeuristic(), SCIPshrinkDisjunctiveVarSet(), SCIPsolAdjustImplicitSolVals(), SCIPvarGetImplRedcost(), separateAlternativeProofs(), and tightenDualproof().
◆ SCIPprobGetNConss()
| int SCIPprobGetNConss | ( | SCIP_PROB * | prob | ) |
gets number of problem constraints
- Parameters
-
prob problem data
Definition at line 2447 of file prob.c.
References SCIP_Prob::nconss, and NULL.
Referenced by initConflictstore().
◆ SCIPprobGetObjoffset()
gets the objective offset
- Parameters
-
prob problem data
Definition at line 2456 of file prob.c.
References NULL, and SCIP_Prob::objoffset.
Referenced by SCIPsolRecomputeObj().
◆ SCIPprobGetObjscale()
gets the objective scalar
- Parameters
-
prob problem data
Definition at line 2465 of file prob.c.
References NULL, and SCIP_Prob::objscale.
◆ SCIPprobIsConsCompressionEnabled()
is constraint compression enabled for this problem?
- Parameters
-
prob problem data
Definition at line 2474 of file prob.c.
References SCIP_Prob::conscompression, and NULL.
Referenced by SCIPisConsCompressionEnabled().
◆ SCIPprobEnableConsCompression()
| void SCIPprobEnableConsCompression | ( | SCIP_PROB * | prob | ) |
enable problem compression, i.e., constraints can reduce memory size by removing fixed variables during creation
- Parameters
-
prob problem data
Definition at line 2484 of file prob.c.
References SCIP_Prob::conscompression, NULL, and TRUE.
Referenced by SCIPenableConsCompression().