Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

methods to create, read and modify a global problem together with its callbacks

Functions

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)
 
SCIP_RETCODE SCIPcreateProbBasic (SCIP *scip, const char *name)
 
SCIP_RETCODE SCIPsetProbDelorig (SCIP *scip, SCIP_DECL_PROBDELORIG((*probdelorig)))
 
SCIP_RETCODE SCIPsetProbTrans (SCIP *scip, SCIP_DECL_PROBTRANS((*probtrans)))
 
SCIP_RETCODE SCIPsetProbDeltrans (SCIP *scip, SCIP_DECL_PROBDELTRANS((*probdeltrans)))
 
SCIP_RETCODE SCIPsetProbInitsol (SCIP *scip, SCIP_DECL_PROBINITSOL((*probinitsol)))
 
SCIP_RETCODE SCIPsetProbExitsol (SCIP *scip, SCIP_DECL_PROBEXITSOL((*probexitsol)))
 
SCIP_RETCODE SCIPsetProbCopy (SCIP *scip, SCIP_DECL_PROBCOPY((*probcopy)))
 
SCIP_RETCODE SCIPreadProb (SCIP *scip, const char *filename, const char *extension)
 
SCIP_RETCODE SCIPwriteOrigProblem (SCIP *scip, const char *filename, const char *extension, SCIP_Bool genericnames)
 
SCIP_RETCODE SCIPwriteTransProblem (SCIP *scip, const char *filename, const char *extension, SCIP_Bool genericnames)
 
SCIP_RETCODE SCIPfreeProb (SCIP *scip)
 
SCIP_RETCODE SCIPpermuteProb (SCIP *scip, unsigned int randseed, SCIP_Bool permuteconss, SCIP_Bool permutebinvars, SCIP_Bool permuteintvars, SCIP_Bool permuteimplvars, SCIP_Bool permutecontvars)
 
SCIP_PROBDATASCIPgetProbData (SCIP *scip)
 
SCIP_RETCODE SCIPsetProbData (SCIP *scip, SCIP_PROBDATA *probdata)
 
const char * SCIPgetProbName (SCIP *scip)
 
SCIP_RETCODE SCIPsetProbName (SCIP *scip, const char *name)
 
SCIP_RETCODE SCIPchgReoptObjective (SCIP *scip, SCIP_OBJSENSE objsense, SCIP_VAR **vars, SCIP_Real *coefs, int nvars)
 
SCIP_OBJSENSE SCIPgetObjsense (SCIP *scip)
 
SCIP_RETCODE SCIPsetObjsense (SCIP *scip, SCIP_OBJSENSE objsense)
 
SCIP_RETCODE SCIPaddObjoffset (SCIP *scip, SCIP_Real addval)
 
SCIP_RETCODE SCIPaddOrigObjoffset (SCIP *scip, SCIP_Real addval)
 
SCIP_Real SCIPgetOrigObjoffset (SCIP *scip)
 
SCIP_Real SCIPgetOrigObjscale (SCIP *scip)
 
SCIP_Real SCIPgetTransObjoffset (SCIP *scip)
 
SCIP_Real SCIPgetTransObjscale (SCIP *scip)
 
SCIP_RETCODE SCIPsetObjlimit (SCIP *scip, SCIP_Real objlimit)
 
SCIP_Real SCIPgetObjlimit (SCIP *scip)
 
SCIP_RETCODE SCIPsetObjIntegral (SCIP *scip)
 
SCIP_Bool SCIPisObjIntegral (SCIP *scip)
 
SCIP_Real SCIPgetObjNorm (SCIP *scip)
 
SCIP_RETCODE SCIPaddVar (SCIP *scip, SCIP_VAR *var)
 
SCIP_RETCODE SCIPaddPricedVar (SCIP *scip, SCIP_VAR *var, SCIP_Real score)
 
SCIP_RETCODE SCIPdelVar (SCIP *scip, SCIP_VAR *var, SCIP_Bool *deleted)
 
SCIP_RETCODE SCIPgetVarsData (SCIP *scip, SCIP_VAR ***vars, int *nvars, int *nbinvars, int *nintvars, int *nimplvars, int *ncontvars)
 
SCIP_VAR ** SCIPgetVars (SCIP *scip)
 
int SCIPgetNVars (SCIP *scip)
 
int SCIPgetNBinVars (SCIP *scip)
 
int SCIPgetNIntVars (SCIP *scip)
 
int SCIPgetNImplVars (SCIP *scip)
 
int SCIPgetNContVars (SCIP *scip)
 
int SCIPgetNObjVars (SCIP *scip)
 
SCIP_VAR ** SCIPgetFixedVars (SCIP *scip)
 
int SCIPgetNFixedVars (SCIP *scip)
 
SCIP_RETCODE SCIPgetOrigVarsData (SCIP *scip, SCIP_VAR ***vars, int *nvars, int *nbinvars, int *nintvars, int *nimplvars, int *ncontvars)
 
SCIP_VAR ** SCIPgetOrigVars (SCIP *scip)
 
int SCIPgetNOrigVars (SCIP *scip)
 
int SCIPgetNOrigBinVars (SCIP *scip)
 
int SCIPgetNOrigIntVars (SCIP *scip)
 
int SCIPgetNOrigImplVars (SCIP *scip)
 
int SCIPgetNOrigContVars (SCIP *scip)
 
int SCIPgetNTotalVars (SCIP *scip)
 
SCIP_RETCODE SCIPgetSolVarsData (SCIP *scip, SCIP_SOL *sol, SCIP_VAR ***vars, int *nvars, int *nbinvars, int *nintvars, int *nimplvars, int *ncontvars)
 
SCIP_VARSCIPfindVar (SCIP *scip, const char *name)
 
SCIP_Bool SCIPallVarsInProb (SCIP *scip)
 
SCIP_RETCODE SCIPaddCons (SCIP *scip, SCIP_CONS *cons)
 
SCIP_RETCODE SCIPdelCons (SCIP *scip, SCIP_CONS *cons)
 
SCIP_CONSSCIPfindOrigCons (SCIP *scip, const char *name)
 
SCIP_CONSSCIPfindCons (SCIP *scip, const char *name)
 
int SCIPgetNUpgrConss (SCIP *scip)
 
int SCIPgetNConss (SCIP *scip)
 
SCIP_CONS ** SCIPgetConss (SCIP *scip)
 
int SCIPgetNOrigConss (SCIP *scip)
 
SCIP_CONS ** SCIPgetOrigConss (SCIP *scip)
 
int SCIPgetNCheckConss (SCIP *scip)
 

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
scipSCIP data structure
nameproblem name
probdatauser problem data set by the reader

Definition at line 9936 of file scip.c.

References checkStage(), Scip::conflictstore, FALSE, Scip::mem, Scip::messagehdlr, Scip::origprimal, Scip::origprob, SCIP_Mem::probmem, SCIP_Set::reopt_enable, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_INIT, SCIP_STAGE_PROBLEM, SCIPconflictstoreCreate(), SCIPenableReoptimization(), SCIPfreeProb(), SCIPprimalCreate(), SCIPprobCreate(), SCIPstatCreate(), Scip::set, SCIP_Set::stage, Scip::stat, and TRUE.

Referenced by applyRepair(), createCoveringProblem(), createSubSCIP(), createSubscip(), readFZNFile(), readLPFile(), readMps(), readOPBFile(), readPIPFile(), SCIP_DECL_READERREAD(), SCIPcopyLargeNeighborhoodSearch(), SCIPcreateObjProb(), and SCIPcreateProbBasic().

◆ 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
scipSCIP data structure
nameproblem name

Definition at line 9997 of file scip.c.

References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPcreateProb(), and TRUE.

Referenced by createMIP(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_READERREAD(), SCIP_DECL_SOLVECUMULATIVE(), SCIPprobdataCreate(), setupAndSolveCumulativeSubscip(), setupProblem(), and setupSubscipLpface().

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

Definition at line 10017 of file scip.c.

References checkStage(), FALSE, Scip::origprob, SCIP_CALL, SCIP_OKAY, SCIPprobSetDelorig(), and TRUE.

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

Definition at line 10038 of file scip.c.

References checkStage(), FALSE, Scip::origprob, SCIP_CALL, SCIP_OKAY, SCIPprobSetTrans(), and TRUE.

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

Definition at line 10059 of file scip.c.

References checkStage(), FALSE, Scip::origprob, SCIP_CALL, SCIP_OKAY, SCIPprobSetDeltrans(), and TRUE.

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

Definition at line 10080 of file scip.c.

References checkStage(), FALSE, Scip::origprob, SCIP_CALL, SCIP_OKAY, 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
scipSCIP data structure

Definition at line 10102 of file scip.c.

References checkStage(), FALSE, Scip::origprob, SCIP_CALL, SCIP_OKAY, 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
scipSCIP data structure

Definition at line 10123 of file scip.c.

References checkStage(), FALSE, Scip::origprob, SCIP_CALL, SCIP_OKAY, SCIPprobSetCopy(), and TRUE.

◆ 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:
Parameters
scipSCIP data structure
filenameproblem file name
extensionextension of the desired file reader, or NULL if file extension should be used

Definition at line 10156 of file scip.c.

References checkStage(), SCIP_Cons::conshdlr, SCIP_Set::conshdlrs, SCIP_Prob::conss, SCIP_Set::disp_verblevel, FALSE, Scip::messagehdlr, SCIP_Prob::nbinvars, SCIP_Set::nconshdlrs, SCIP_Prob::nconss, SCIP_Prob::ncontvars, SCIP_Prob::nimplvars, SCIP_Prob::nintvars, SCIP_Set::nreaders, 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, 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 fromCommandLine(), getActivities(), SCIP_DECL_DIALOGEXEC(), and SCIPreadSol().

◆ 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
scipSCIP data structure
filenameoutput file (or NULL for standard output)
extensionextension of the desired file reader, or NULL if file extension should be used
genericnamesusing generic variable and constraint names?

Definition at line 10426 of file scip.c.

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

Referenced by createSubscip(), setupAndSolveSubscipCrossover(), 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
scipSCIP data structure
filenameoutput file (or NULL for standard output)
extensionextension of the desired file reader, or NULL if file extension should be used
genericnamesusing generic variable and constraint names?

Definition at line 10473 of file scip.c.

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

Referenced by enforceIndicators(), and writeProblem().

◆ SCIPfreeProb()

◆ 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
scipSCIP data structure
randseedseed value for random generator
permuteconssshould the list of constraints in each constraint handler be permuted?
permutebinvarsshould the list of binary variables be permuted?
permuteintvarsshould the list of integer variables be permuted?
permuteimplvarsshould the list of implicit integer variables be permuted?
permutecontvarsshould the list of continuous integer variables be permuted?

Definition at line 10599 of file scip.c.

References checkStage(), SCIP_Prob::conss, SCIP_Set::disp_verblevel, FALSE, Scip::messagehdlr, SCIP_Prob::nconss, Scip::origprob, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_VERBLEVEL_HIGH, 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()

◆ SCIPsetProbData()

◆ SCIPgetProbName()

◆ 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
scipSCIP data structure
namename to be set

Definition at line 10913 of file scip.c.

References checkStage(), FALSE, Scip::origprob, SCIP_CALL, 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
scipSCIP data structure
objsensenew objective function
varsoriginal problem variables
coefsobjective coefficients
nvarsvariables in vars array

Definition at line 10937 of file scip.c.

References checkStage(), FALSE, 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(), 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()

◆ 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
scipSCIP data structure
objsensenew objective sense

Definition at line 11060 of file scip.c.

References checkStage(), FALSE, Scip::origprob, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OBJSENSE_MAXIMIZE, SCIP_OBJSENSE_MINIMIZE, SCIP_OKAY, SCIPerrorMessage, SCIPprobSetObjsense(), and TRUE.

Referenced by createMIP(), createSubscip(), getObjective(), readCnf(), readFZNFile(), readMps(), readObjective(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_READERREAD(), SCIPcopyOrigProb(), SCIPprobdataCreate(), SCIPreadLp(), SCIPreadOpb(), SCIPreadPip(), and SCIPtransformMinUC().

◆ 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
scipSCIP data structure
addvalvalue to add to objective offset

Definition at line 11086 of file scip.c.

References checkStage(), Scip::eventqueue, FALSE, Scip::lp, Scip::origprob, Scip::primal, Scip::reopt, SCIP_CALL, SCIP_OKAY, SCIPblkmem(), 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
scipSCIP data structure
addvalvalue to add to objective offset

Definition at line 11108 of file scip.c.

References checkStage(), FALSE, SCIP_Prob::objoffset, Scip::origprimal, Scip::origprob, SCIP_CALL, SCIP_OKAY, SCIPprimalAddOrigObjoffset(), Scip::set, and TRUE.

Referenced by getObjectiveFactor(), readRhs(), and setObjective().

◆ SCIPgetOrigObjoffset()

SCIP_Real SCIPgetOrigObjoffset ( SCIP scip)

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

Definition at line 11137 of file scip.c.

References checkStage(), FALSE, SCIP_Prob::objoffset, Scip::origprob, SCIP_CALL_ABORT, and TRUE.

Referenced by applyBounding(), and SCIPmergeVariableStatistics().

◆ SCIPgetOrigObjscale()

SCIP_Real SCIPgetOrigObjscale ( SCIP scip)

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

Definition at line 11162 of file scip.c.

References checkStage(), FALSE, SCIP_Prob::objscale, Scip::origprob, SCIP_CALL_ABORT, and TRUE.

Referenced by SCIPmergeVariableStatistics().

◆ SCIPgetTransObjoffset()

SCIP_Real SCIPgetTransObjoffset ( SCIP scip)

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

Definition at line 11185 of file scip.c.

References checkStage(), FALSE, SCIP_Prob::objoffset, SCIP_CALL_ABORT, Scip::transprob, and TRUE.

Referenced by applyDomainChanges(), getGenVBoundsBound(), SCIPgenVBoundAdd(), and writeBounds().

◆ SCIPgetTransObjscale()

SCIP_Real SCIPgetTransObjscale ( SCIP scip)

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

Definition at line 11208 of file scip.c.

References checkStage(), FALSE, SCIP_Prob::objscale, SCIP_CALL_ABORT, Scip::transprob, and TRUE.

Referenced by applyDomainChanges(), getGenVBoundsBound(), SCIPgenVBoundAdd(), 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
scipSCIP data structure
objlimitnew primal objective limit

Definition at line 11240 of file scip.c.

References checkStage(), 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, SCIPerrorMessage, SCIPprimalUpdateObjlimit(), SCIPprobGetObjlim(), SCIPprobInternObjval(), SCIPprobSetObjlim(), SCIPtransformObj(), Scip::set, SCIP_Set::stage, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

Referenced by applyDomainChanges(), applyRepair(), doSolveSubMIP(), freeReoptSolve(), freeTransform(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIPapplyHeurSubNlp(), SCIPresolveSolHeurSubNlp(), setupAndSolve(), setupAndSolveSubscip(), setupAndSolveSubscipCrossover(), setupAndSolveSubscipLocalbranching(), setupAndSolveSubscipMutation(), setupAndSolveSubscipRapidlearning(), setupSubScip(), solveCoveringProblem(), solveSubproblem(), subscipSetParams(), wrapperDins(), wrapperRins(), and writeBounds().

◆ SCIPgetObjlimit()

SCIP_Real SCIPgetObjlimit ( SCIP scip)

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

Definition at line 11310 of file scip.c.

References checkStage(), FALSE, Scip::origprob, SCIP_CALL_ABORT, SCIPprobGetObjlim(), Scip::set, and TRUE.

Referenced by SCIP_DECL_DIALOGEXEC(), and solveSubNLP().

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

Definition at line 11337 of file scip.c.

References checkStage(), FALSE, Scip::origprob, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMING, SCIPerrorMessage, SCIPprobSetObjIntegral(), Scip::set, SCIP_Set::stage, Scip::transprob, and TRUE.

Referenced by SCIPprobdataCreate().

◆ SCIPisObjIntegral()

SCIP_Bool SCIPisObjIntegral ( SCIP scip)

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

Definition at line 11380 of file scip.c.

References checkStage(), 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, SCIPerrorMessage, SCIPisIntegral(), SCIPisZero(), SCIPprobIsObjIntegral(), SCIPvarGetObj(), SCIPvarGetType(), Scip::set, SCIP_Set::stage, Scip::transprob, TRUE, and SCIP_Prob::vars.

Referenced by computeCut(), createSubscip(), SCIPapplyProximity(), SCIPperformGenericDivingAlgorithm(), separateCuts(), setupSubScip(), and updateObjUpperbound().

◆ SCIPgetObjNorm()

SCIP_Real SCIPgetObjNorm ( SCIP scip)

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

Definition at line 11459 of file scip.c.

References checkStage(), FALSE, Scip::lp, SCIP_Lp::objsqrnormunreliable, SCIP_CALL_ABORT, 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
scipSCIP data structure
varvariable to add

Definition at line 11486 of file scip.c.

References Scip::branchcand, checkStage(), Scip::eventfilter, Scip::eventqueue, FALSE, Scip::lp, Scip::mem, 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(), SCIPerrorMessage, SCIPprobAddVar(), SCIPvarGetNegationVar(), SCIPvarGetProbindex(), SCIPvarGetStatus(), Scip::set, SCIP_Set::stage, Scip::transprob, and TRUE.

Referenced by addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addVarCardinality(), appendVarCardinality(), applyFixings(), applyRepair(), consdataCreateBinvars(), createAndAddAndCons(), createConstraints(), createCoveringProblem(), createInitialColumns(), createKKTComplementarityBinary(), createKKTComplementarityBounds(), createKKTComplementarityLinear(), createKKTDualCons(), createMIP(), createObjRow(), createRelaxation(), createSubproblem(), createSubSCIP(), createSubscip(), createVariable(), disaggregate(), getFixedVariable(), getVariable(), initPricing(), presolveAddKKTLinearCons(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveCreateOuterApprox(), presolveDisaggregate(), presolveFindDuplicates(), presolveTryAddAND(), presolveTryAddLinearReform(), readBounds(), readCnf(), readCols(), readIndicators(), readNonlinearExprs(), readObjective(), readQMatrix(), readQuadraticCoefs(), readVariables(), reformMonomial(), reformNode2Var(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_READERREAD(), SCIP_DECL_SOLVECUMULATIVE(), SCIPaddVar(), SCIPcreateConsCardinality(), SCIPcreateConsIndicator(), SCIPgetVarCopy(), SCIPtransformMinUC(), setObjective(), setupAndSolveCumulativeSubscip(), setupAndSolveFiniteSolSubscip(), setupProblem(), 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
scipSCIP data structure
varvariable to add
scorepricing score of variable (the larger, the better the variable)

Definition at line 11551 of file scip.c.

References Scip::branchcand, checkStage(), Scip::eventfilter, Scip::eventqueue, FALSE, Scip::lp, Scip::mem, Scip::pricestore, SCIP_Mem::probmem, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPaddPricedVar(), SCIPerrorMessage, SCIPpricestoreAddVar(), SCIPprobAddVar(), SCIPtreeGetCurrentDepth(), SCIPvarGetNegationVar(), SCIPvarGetProbindex(), SCIPvarGetStatus(), Scip::set, Scip::transprob, Scip::tree, and TRUE.

Referenced by 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:
Parameters
scipSCIP data structure
varvariable to delete
deletedpointer to store whether marking variable to be deleted was successful

Definition at line 11604 of file scip.c.

References Scip::branchcand, checkStage(), Scip::cliquetable, Scip::eventqueue, FALSE, Scip::lp, Scip::mem, 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, SCIPerrorMessage, SCIPprobDelVar(), SCIPprobPerformVarDeletions(), SCIPvarGetStatus(), Scip::set, SCIP_Set::stage, Scip::stat, Scip::transprob, and TRUE.

◆ 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
scipSCIP data structure
varspointer to store variables array or NULL if not needed
nvarspointer to store number of variables or NULL if not needed
nbinvarspointer to store number of binary variables or NULL if not needed
nintvarspointer to store number of integer variables or NULL if not needed
nimplvarspointer to store number of implicit integral vars or NULL if not needed
ncontvarspointer to store number of continuous variables or NULL if not needed

Definition at line 11680 of file scip.c.

References checkStage(), FALSE, SCIP_Prob::nbinvars, SCIP_Prob::ncontvars, SCIP_Prob::nimplvars, SCIP_Prob::nintvars, 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, SCIPerrorMessage, Scip::set, SCIP_Set::stage, Scip::transprob, TRUE, and SCIP_Prob::vars.

Referenced by addCut(), addLocalBranchingConstraint(), addObjcut(), alnsFixMoreVariables(), applyBoundHeur(), applyRepair(), applyVbounds(), checkCands(), computeCoverUndercover(), computeCut(), computeFixingrate(), copySol(), copyVars(), countNonlinearities(), createCGCutCMIR(), createCGCutDirect(), createCGCuts(), createCGCutStrongCG(), createCoveringProblem(), createNewSol(), createNewSols(), createSubSCIP(), DECL_CHANGESUBSCIP(), DECL_VARFIXINGS(), determineFixings(), determineMaxDistance(), determineVariableFixings(), fixMatchingSolutionValues(), fixNonNeighborhoodVariables(), fixVariables(), getObjectiveFactor(), performRelaxSimpleRounding(), presolveTwoOpt(), restrictToBinaryBounds(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECSOL(), SCIPaggrRowSumRows(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPapplyUndercover(), SCIPcalcCliquePartition(), SCIPclearRelaxSolVals(), SCIPcopyImplicationsCliques(), SCIPpermuteProb(), SCIPsetRelaxSolValsSol(), SCIPtransformMinUC(), SCIPvariablegraphBreadthFirst(), SCIPwriteCliqueGraph(), selectInitialVariable(), selectNextVariable(), separateGLS(), separateHeur(), setupAggregationData(), setupAndSolveSubscip(), setupAndSolveSubscipLocalbranching(), setupAndSolveSubscipRapidlearning(), solCutIsViolated(), solveLp(), solveNLP(), solveSubproblem(), transferSolution(), and writeBounds().

◆ SCIPgetVars()

SCIP_VAR** SCIPgetVars ( SCIP scip)

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

Definition at line 11761 of file scip.c.

References checkStage(), FALSE, 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, SCIPerrorMessage, Scip::set, SCIP_Set::stage, Scip::transprob, TRUE, and SCIP_Prob::vars.

Referenced by addCut(), addFixedVarsConss(), addLocalBranchingConstraint(), alnsUnfixVariables(), applyCompletesol(), applyHeur(), applyNlobbt(), applyProbing(), branchruledataEnsureArraySize(), buildConvexCombination(), buildMod2Matrix(), calcEfficacy(), calcEfficacyDenseStorageQuad(), checkIISlocal(), checkSolution(), checkSystemGF2(), componentSetupWorkingSol(), computeCut(), computeInteriorPoint(), computeSymmetryGroup(), constructSNFRelaxation(), createObjRow(), createSubproblem(), createTcliqueGraph(), cutsRoundMIR(), cutsRoundStrongCG(), cutsTransformMIR(), cutsTransformStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), dfs(), execRelpscost(), filterCands(), filterExistingLP(), findComponents(), fixAndPropagate(), generateCloseCutPoint(), generateZerohalfCut(), getActivities(), getMaxactImplicObjchg(), getRelDistance(), heurdataEnsureArraySize(), heurdataFreeArrays(), heurExec(), improvePoint(), initConcsolver(), initData(), initImplGraphSOS1(), initProblem(), mod2MatrixAddTransRow(), performDualfix(), preprocessCliques(), presolRoundVarsSOS1(), projectVbd(), propagateAllConss(), propdataInit(), readOPBFile(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeZeros(), removeZerosQuad(), 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(), SCIPcreateNlpiProb(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPgetVarStrongbranchWithPropagation(), SCIPmatrixCreate(), SCIPpropagateProbing(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), separateCuts(), setupAndSolve(), setupAndSolveSubscipMutation(), setupSubproblem(), setupSubScip(), tarjan(), tcliquegraphAddCliqueVars(), transformNonIntegralRow(), updateFirstRow(), and updateFirstRowGlobal().

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

Definition at line 11806 of file scip.c.

References checkStage(), 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, SCIPerrorMessage, Scip::set, SCIP_Set::stage, Scip::transprob, and TRUE.

Referenced by addFixedVarsConss(), aggregateNextRow(), alnsUnfixVariables(), applyCompletesol(), applyHeur(), applyNlobbt(), applyProbing(), branch(), branchruledataEnsureArraySize(), branchruledataEnsureNlcount(), buildConvexCombination(), buildMod2Matrix(), calcNlscore(), checkIISlocal(), checkSolution(), checkSystemGF2(), collectBranchingCands(), collectCoefficients(), componentSetupWorkingSol(), computeCut(), computeGradient(), computeInteriorPoint(), computeSymmetryGroup(), constructCompression(), copyProb(), copyVars(), correctConshdlrdata(), countSparseSol(), createAndSplitProblem(), createNLP(), createObjRow(), createSubproblem(), createTcliqueGraph(), cutsRoundMIR(), cutsRoundStrongCG(), cutsTransformMIR(), cutsTransformStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), DECL_NHINIT(), determineSymmetry(), dfs(), doCopy(), doSolveSubMIP(), execRelpscost(), fillDigraph(), fillVariableGraph(), filterExistingLP(), findComponents(), generateCloseCutPoint(), generateClusterCuts(), generateZerohalfCut(), getActivities(), getMaxactImplicObjchg(), getMinsize(), getRelDistance(), heurdataEnsureArraySize(), heurdataFreeArrays(), heurExec(), improvePoint(), initAlternativeLP(), initConcsolver(), initData(), initImplGraphSOS1(), initProblem(), initPropdata(), insertZerolist(), mod2MatrixTransformContRows(), performDualfix(), performFixing(), preprocessCliques(), presolRoundVarsSOS1(), presolve(), projectVbd(), propagateAllConss(), propdataInit(), readCoefficients(), readOPBFile(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeRedundantConssAndNonzeros(), sampleRandomPoints(), SCIP_DECL_BRANCHEXITSOL(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXITSOL(), SCIP_DECL_EVENTINIT(), SCIP_DECL_EVENTINITSOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEURINITSOL(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddNlpiProbRows(), SCIPaggrRowAddObjectiveFunction(), SCIPaggrRowCopy(), SCIPaggrRowCreate(), SCIPaggrRowFree(), SCIPcalcFlowCover(), SCIPcalcMIR(), SCIPcalcStrongCG(), SCIPconcsolverCreateInstance(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPcreateNlpiProb(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPgetConsCopy(), SCIPgetVarCopy(), SCIPgetVarStrongbranchWithPropagation(), SCIPmatrixCreate(), SCIPperformGenericDivingAlgorithm(), SCIPpropagateProbing(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPsyncstoreInit(), SCIPtransformProb(), SCIPvariableGraphCreate(), SCIPvariableGraphFree(), separateCuts(), separatePerspective(), setupAndSolve(), setupAndSolveSubscip(), setupAndSolveSubscipMutation(), setupAndSolveSubscipOneopt(), setUpEvents(), setupProbingSCIP(), setupSubproblem(), setupSubScip(), shortenConss(), solveIndependentCons(), solveSubNLP(), strenghtenOrbitopeConstraint(), subscipdataCopySubscip(), tarjan(), topologicalSort(), tryAdd2variableBuffer(), updateFirstRow(), updateFirstRowGlobal(), 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
scipSCIP data structure

Definition at line 11851 of file scip.c.

References checkStage(), 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, SCIPerrorMessage, Scip::set, SCIP_Set::stage, Scip::transprob, and TRUE.

Referenced by addLocalBranchingConstraint(), aggregateNextRow(), alnsUnfixVariables(), applyCliqueFixings(), applyProbing(), checkConsQuadraticProblem(), constructCompression(), constructSNFRelaxation(), copyVars(), countSparseSol(), createSubscip(), DECL_CHANGESUBSCIP(), DECL_NHDEACTIVATE(), DECL_VARFIXINGS(), determineSymmetry(), dualPresolve(), extendToCover(), fixMatchingSolutionValues(), getClosestVlb(), getClosestVub(), getReward(), heurExec(), loadTcliquegraph(), mergeMultiples(), neighborhoodFixVariables(), preprocessCliques(), presolveTryAddAND(), presolveTryAddLinearReform(), propdataInit(), removeDoubleAndSingletonsAndPerformDualpresolve(), rollingHorizonRunAgain(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEURINITSOL(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPapplyHeurSubNlp(), SCIPapplyProximity(), SCIPapplyRens(), SCIPperformGenericDivingAlgorithm(), SCIPresolveSolHeurSubNlp(), SCIPsolve(), setupAndSolve(), tcliquegraphAddCliqueVars(), tcliquegraphAddNode(), tcliquegraphCreate(), 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
scipSCIP data structure

Definition at line 11896 of file scip.c.

References checkStage(), 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, SCIPerrorMessage, Scip::set, SCIP_Set::stage, Scip::transprob, and TRUE.

Referenced by aggregateNextRow(), alnsUnfixVariables(), applyProbing(), checkConsQuadraticProblem(), constructCompression(), copyVars(), createSubscip(), DECL_NHDEACTIVATE(), DECL_VARFIXINGS(), determineSymmetry(), extendToCover(), getReward(), mergeMultiples(), neighborhoodFixVariables(), prettifyConss(), removeDoubleAndSingletonsAndPerformDualpresolve(), rollingHorizonRunAgain(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIPapplyHeurSubNlp(), SCIPapplyRens(), SCIPperformGenericDivingAlgorithm(), SCIPresolveSolHeurSubNlp(), SCIPsolve(), setupAndSolve(), and wrapperDins().

◆ SCIPgetNImplVars()

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

Definition at line 11986 of file scip.c.

References checkStage(), 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, SCIPerrorMessage, Scip::set, SCIP_Set::stage, Scip::transprob, and TRUE.

Referenced by buildMod2Matrix(), copyVars(), createSubscip(), cutsRoundMIR(), cutsRoundStrongCG(), cutsTransformMIR(), cutsTransformStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), determineSymmetry(), getMaxactImplicObjchg(), insertZerolist(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeRedundantConssAndNonzeros(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SEPAEXECLP(), 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
scipSCIP data structure

Definition at line 12034 of file scip.c.

References checkStage(), 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, SCIPerrorMessage, SCIPprobGetNObjVars(), Scip::set, SCIP_Set::stage, Scip::transprob, and TRUE.

Referenced by checkConsQuadraticProblem(), createSubscip(), DECL_CHANGESUBSCIP(), DECL_NHDEACTIVATE(), SCIP_DECL_HEUREXEC(), setupAndSolveSubscip(), and setupSubproblem().

◆ SCIPgetFixedVars()

◆ SCIPgetNFixedVars()

◆ 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
scipSCIP data structure
varspointer to store variables array or NULL if not needed
nvarspointer to store number of variables or NULL if not needed
nbinvarspointer to store number of binary variables or NULL if not needed
nintvarspointer to store number of integer variables or NULL if not needed
nimplvarspointer to store number of implicit integral vars or NULL if not needed
ncontvarspointer to store number of continuous variables or NULL if not needed

Definition at line 12171 of file scip.c.

References checkStage(), FALSE, SCIP_Prob::nbinvars, SCIP_Prob::ncontvars, SCIP_Prob::nimplvars, SCIP_Prob::nintvars, SCIP_Prob::nvars, Scip::origprob, SCIP_CALL, SCIP_OKAY, TRUE, and SCIP_Prob::vars.

Referenced by copyVars(), createSolFromNLP(), createSolFromSubScipSol(), forbidFixation(), freeMemory(), freeSubSCIP(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPcreateFiniteSolCopy(), and SCIPresolveSolHeurSubNlp().

◆ SCIPgetOrigVars()

SCIP_VAR** SCIPgetOrigVars ( SCIP scip)

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

Definition at line 12219 of file scip.c.

References checkStage(), FALSE, Scip::origprob, SCIP_CALL_ABORT, TRUE, and SCIP_Prob::vars.

Referenced by createSolFromNLP(), createSolFromSubScipSol(), createSubSCIP(), maximalslack(), SCIP_DECL_CONSINIT(), SCIP_DECL_DIALOGEXEC(), and SCIPapplyHeurDualval().

◆ SCIPgetNOrigVars()

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

Definition at line 12273 of file scip.c.

References checkStage(), FALSE, SCIP_Prob::nbinvars, Scip::origprob, SCIP_CALL_ABORT, and TRUE.

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

Definition at line 12300 of file scip.c.

References checkStage(), FALSE, SCIP_Prob::nintvars, Scip::origprob, SCIP_CALL_ABORT, and TRUE.

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

Definition at line 12327 of file scip.c.

References checkStage(), FALSE, SCIP_Prob::nimplvars, Scip::origprob, SCIP_CALL_ABORT, 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
scipSCIP data structure

Definition at line 12354 of file scip.c.

References checkStage(), FALSE, SCIP_Prob::ncontvars, Scip::origprob, SCIP_CALL_ABORT, 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
scipSCIP data structure

Definition at line 12383 of file scip.c.

References checkStage(), FALSE, 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, SCIPerrorMessage, Scip::set, SCIP_Set::stage, Scip::stat, and TRUE.

Referenced by addVarCardinality(), appendVarCardinality(), initConflictgraph(), and SCIPcreateConsCardinality().

◆ 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
scipSCIP data structure
solprimal solution that selects the problem space, NULL for current solution
varspointer to store variables array or NULL if not needed
nvarspointer to store number of variables or NULL if not needed
nbinvarspointer to store number of binary variables or NULL if not needed
nintvarspointer to store number of integer variables or NULL if not needed
nimplvarspointer to store number of implicit integral vars or NULL if not needed
ncontvarspointer to store number of continuous variables or NULL if not needed

Definition at line 12435 of file scip.c.

References checkStage(), FALSE, SCIP_Prob::nbinvars, SCIP_Prob::ncontvars, SCIP_Prob::nimplvars, SCIP_Prob::nintvars, SCIP_Prob::nvars, Scip::origprob, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_PROBLEM, SCIPsolIsOriginal(), Scip::set, SCIP_Set::stage, Scip::transprob, TRUE, and SCIP_Prob::vars.

Referenced by SCIP_DECL_CONSCHECK(), and SCIP_DECL_CONSGETDIVEBDCHGS().

◆ SCIPfindVar()

◆ SCIPallVarsInProb()

SCIP_Bool SCIPallVarsInProb ( SCIP scip)

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

Definition at line 12558 of file scip.c.

References checkStage(), FALSE, SCIP_Set::nactivepricers, SCIP_CALL_ABORT, 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
scipSCIP data structure
consconstraint to add

Definition at line 12585 of file scip.c.

References checkStage(), FALSE, Scip::mem, 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, 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(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addExtraCliques(), addFixedVarsConss(), addLocalBranchingConstraint(), addSymresackConss(), addVarbound(), adjustOversizedJobBounds(), applyFixings(), applyRepair(), cancelRow(), cliquePresolve(), consdataCollectLinkingCons(), consdataLinearize(), copyCuts(), copyToSubscip(), CREATE_CONSTRAINT(), createAndAddAndCons(), createAndAddLinearCons(), createCapacityRestriction(), createConflict(), createConsCumulative(), createConstraints(), createCoveringProblem(), createCumulativeCons(), createIndicatorConstraint(), createKKTComplementarityBinary(), createKKTComplementarityBounds(), createKKTComplementarityLinear(), createLinearCons(), createMIP(), createPrecedenceCons(), createQuadraticCons(), createRows(), createSubproblem(), createSubSCIP(), createSubscip(), createVarUbs(), CUTOFF_CONSTRAINT(), deleteRedundantVars(), detectOrbitopes(), detectRedundantVars(), disaggregate(), dualPresolve(), dualWeightsTightening(), extendToCover(), extensionOperatorSOS1(), extractGates(), findAggregation(), fixDeleteOrUpgradeCons(), forbidCover(), forbidFixation(), getConstraint(), getFixedVariable(), initPricing(), performImplicationGraphAnalysis(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), presolveUpgrade(), processIntegerBoundChg(), processNlRow(), propIndicator(), readBounds(), readCnf(), readConstraints(), readIndicators(), readObjective(), readOPBFile(), readQCMatrix(), readQMatrix(), readRows(), readSemicontinuous(), readSOS(), readSos(), readSOScons(), readVariables(), reformMonomial(), reformNode2Var(), reformulate(), removeConstraintsDueToNegCliques(), removeFixedVariables(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_READERREAD(), SCIP_DECL_SOLVECUMULATIVE(), SCIPaddConflict(), SCIPapplyProximity(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPcreateConsIndicator(), SCIPgetVarCopy(), SCIPprobdataCreate(), SCIPreoptApplyGlbConss(), SCIPtransformMinUC(), setObjective(), setupAndSolveCumulativeSubscip(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscip(), setupAndSolveSubscipRapidlearning(), setupProblem(), setupSubproblem(), setupSubScip(), tightenBounds(), 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
scipSCIP data structure
consconstraint to delete

Definition at line 12657 of file scip.c.

References SCIP_Cons::addconssetchg, checkStage(), FALSE, Scip::mem, 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, SCIPconsDelete(), SCIPconsIsAdded(), SCIPerrorMessage, Scip::set, SCIP_Set::stage, Scip::stat, Scip::transprob, and TRUE.

Referenced by applyFixings(), cancelRow(), checkFixedVariables(), checkForOverlapping(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), correctConshdlrdata(), createSubSCIP(), createVarUbs(), deleteTrivilCons(), detectRedundantConstraints(), disableCons(), disaggregate(), dualPresolve(), dualPresolving(), dualWeightsTightening(), extractGates(), findAggregation(), fixDeleteOrUpgradeCons(), liftCliqueVariables(), mergeMultiples(), prepareCons(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundConssSOS1(), presolRoundIndicator(), presolRoundSOS2(), presolveAddKKTKnapsackConss(), presolveAddKKTLinearConss(), presolveAddKKTLogicorConss(), presolveAddKKTSetppcConss(), presolveAddKKTVarboundConss(), presolveDual(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolvePropagateCons(), presolveRemoveFixedVariables(), presolveUpgrade(), propagateCons(), readQCMatrix(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeRedundantCons(), removeRedundantConss(), removeRedundantNonZeros(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_PRESOLEXEC(), SCIPsetLinearConsIndicator(), SCIPtransformMinUC(), shortenConss(), solveAndEvalSubscip(), tightenCoefs(), tightenWeights(), tryUpgrading(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), updateConsanddataUses(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

◆ SCIPfindOrigCons()

SCIP_CONS* SCIPfindOrigCons ( SCIP scip,
const char *  name 
)

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
scipSCIP data structure
namename of constraint to find

Definition at line 12712 of file scip.c.

References checkStage(), FALSE, 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, SCIPerrorMessage, SCIPprobFindCons(), Scip::set, SCIP_Set::stage, and TRUE.

◆ SCIPfindCons()

◆ SCIPgetNUpgrConss()

int SCIPgetNUpgrConss ( SCIP scip)

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

Definition at line 12856 of file scip.c.

References checkStage(), 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, SCIPerrorMessage, Scip::set, SCIP_Set::stage, Scip::transprob, and TRUE.

Referenced by checkConsQuadraticProblem(), computeSymmetryGroup(), copyProb(), copyVars(), createSubSCIP(), doCopy(), fillVariableGraph(), findComponents(), presolve(), readCoefficients(), 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(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPgetConsCopy(), SCIPgetVarCopy(), SCIPmatrixCreate(), SCIPtransformMinUC(), SCIPtransformProb(), SCIPvariableGraphCreate(), setupAndSolve(), setupAndSolveSubscip(), solveIndependentCons(), and wrapperDins().

◆ SCIPgetConss()

SCIP_CONS** SCIPgetConss ( SCIP scip)

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

Definition at line 12902 of file scip.c.

References checkStage(), SCIP_Prob::conss, 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, SCIPerrorMessage, Scip::set, SCIP_Set::stage, Scip::transprob, and TRUE.

Referenced by computeSymmetryGroup(), fillVariableGraph(), findComponents(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_RELAXEXEC(), 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
scipSCIP data structure

Definition at line 12948 of file scip.c.

References checkStage(), FALSE, SCIP_Prob::nconss, Scip::origprob, SCIP_CALL_ABORT, and TRUE.

Referenced by computeAndConstraintInfos(), createSubSCIP(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXIT(), SCIPapplyHeurDualval(), and SCIPcopyOrigConss().

◆ SCIPgetOrigConss()

SCIP_CONS** SCIPgetOrigConss ( SCIP scip)

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

Definition at line 12975 of file scip.c.

References checkStage(), SCIP_Prob::conss, FALSE, Scip::origprob, SCIP_CALL_ABORT, and TRUE.

Referenced by computeAndConstraintInfos(), createSubSCIP(), SCIP_DECL_EVENTEXEC(), 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
scipSCIP data structure

Definition at line 12998 of file scip.c.

References checkStage(), FALSE, SCIP_CALL_ABORT, SCIPconshdlrGetNCheckConss(), SCIPgetConshdlrs(), SCIPgetNConshdlrs(), and TRUE.

Referenced by SCIPapplyLockFixings(), and solveIndependentCons().