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	SCIPprintOrigProblem (SCIP scip, FILE file, const char *extension, SCIP_Bool genericnames)

SCIP_RETCODE	SCIPprintTransProblem (SCIP scip, FILE file, const char *extension, SCIP_Bool genericnames)

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 permutebinimplvars, SCIP_Bool permuteintimplvars, SCIP_Bool permutecontimplvars, SCIP_Bool permutecontvars)

SCIP_PROBDATA *	SCIPgetProbData (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	SCIPaddOrigObjoffsetExact (SCIP scip, SCIP_RATIONAL addval)

SCIP_RETCODE	SCIPaddOrigObjoffset (SCIP *scip, SCIP_Real addval)

SCIP_Real	SCIPgetOrigObjoffset (SCIP *scip)

SCIP_RATIONAL *	SCIPgetOrigObjoffsetExact (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	SCIPgetNBinImplVars (SCIP *scip)

int	SCIPgetNIntImplVars (SCIP *scip)

int	SCIPgetNContImplVars (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	SCIPgetNOrigBinImplVars (SCIP *scip)

int	SCIPgetNOrigIntImplVars (SCIP *scip)

int	SCIPgetNOrigContImplVars (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 nbinimplvars, int nintimplvars, int ncontimplvars, int ncontvars)

SCIP_VAR *	SCIPfindVar (SCIP scip, const char name)

SCIP_Bool	SCIPallVarsInProb (SCIP *scip)

SCIP_RETCODE	SCIPaddCons (SCIP scip, SCIP_CONS cons)

SCIP_RETCODE	SCIPaddConsUpgrade (SCIP scip, SCIP_CONS oldcons, SCIP_CONS **newcons)

SCIP_RETCODE	SCIPdelCons (SCIP scip, SCIP_CONS cons)

SCIP_CONS *	SCIPfindOrigCons (SCIP scip, const char name)

SCIP_CONS *	SCIPfindCons (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:

SCIP_STAGE_PROBLEM

Parameters

scip	SCIP data structure
name	problem name
probdata	user problem data set by the reader

Definition at line 119 of file scip_prob.c.

References FALSE, NULL, SCIP_CALL, SCIP_DECOMPSTORE_CAPA, SCIP_OKAY, SCIP_STAGE_INIT, SCIP_STAGE_PROBLEM, SCIPblkmem(), SCIPcheckStage, SCIPconflictstoreCreate(), SCIPdecompstoreCreate(), SCIPenableReoptimization(), SCIPfreeProb(), SCIPprimalCreate(), SCIPprobCreate(), SCIPstatCreate(), and TRUE.

Referenced by AMPLProblemHandler::AMPLProblemHandler(), applyRepair(), copyToSubscip(), createCoveringProblem(), createSubscip(), createSubSCIP(), execmain(), scipexamples::QueensSolver::QueensSolver(), readFZNFile(), readLPFile(), readMps(), readMpsExact(), readOPBFile(), readPIPFile(), SCIP_DECL_READERREAD(), SCIPcopyLargeNeighborhoodSearch(), SCIPcreateObjProb(), SCIPcreateProbBasic(), SCIPcreateProbColoring(), SCIPcreateSchedulingProblem(), solveClassification(), and solveMinIISC().

◆ SCIPcreateProbBasic()

SCIP_RETCODE SCIPcreateProbBasic	(	SCIP *	scip,
		const char *	name
	)

creates empty problem and initializes all solving data structures (the objective sense is set to MINIMIZE) all callback methods will be set to NULL and can be set afterwards, if needed, via SCIPsetProbDelorig(), SCIPsetProbTrans(), SCIPsetProbDeltrans(), SCIPsetProbInitsol(), SCIPsetProbExitsol(), and SCIPsetProbCopy() If the problem type requires the use of variable pricers, these pricers should be added to the problem with calls to SCIPactivatePricer(). These pricers are automatically deactivated, when the problem is freed.

Returns: SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

Postcondition

After calling this method, SCIP reaches the following stage:

SCIP_STAGE_PROBLEM

Parameters

scip	SCIP data structure
name	problem name

Definition at line 182 of file scip_prob.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPcreateProb(), and TRUE.

Referenced by addScenarioVarsAndConsToProb(), applyDecomposition(), createMIP(), doPricing(), main(), readFile(), SCIP_DECL_READERREAD(), SCIPcreateProbCyc(), SCIPprobdataCreate(), SCIPverifyCircularPatternNLP(), setupAndSolveCumulativeSubscip(), setupProblem(), setupSubscipLpface(), solveClassification(), and solvePricingMINLP().

◆ SCIPsetProbDelorig()

SCIP_RETCODE SCIPsetProbDelorig	(	SCIP *	scip,
		SCIP_DECL_PROBDELORIG((*probdelorig))
	)

sets callback to free user data of original problem

Returns: SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

SCIP_STAGE_PROBLEM

Parameters

scip	SCIP data structure

Definition at line 202 of file scip_prob.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPprobSetDelorig(), and TRUE.

Referenced by SCIPcreateProbCyc(), and SCIPprobdataCreate().

◆ SCIPsetProbTrans()

SCIP_RETCODE SCIPsetProbTrans	(	SCIP *	scip,
		SCIP_DECL_PROBTRANS((*probtrans))
	)

sets callback to create user data of transformed problem by transforming original user data

Returns: SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

SCIP_STAGE_PROBLEM

Parameters

scip	SCIP data structure

Definition at line 223 of file scip_prob.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPprobSetTrans(), and TRUE.

Referenced by SCIPcreateProbCyc(), and SCIPprobdataCreate().

◆ SCIPsetProbDeltrans()

SCIP_RETCODE SCIPsetProbDeltrans	(	SCIP *	scip,
		SCIP_DECL_PROBDELTRANS((*probdeltrans))
	)

sets callback to free user data of transformed problem

Returns: SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

SCIP_STAGE_PROBLEM

Parameters

scip	SCIP data structure

Definition at line 244 of file scip_prob.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPprobSetDeltrans(), and TRUE.

Referenced by SCIPcreateProbCyc(), and SCIPprobdataCreate().

◆ SCIPsetProbInitsol()

SCIP_RETCODE SCIPsetProbInitsol	(	SCIP *	scip,
		SCIP_DECL_PROBINITSOL((*probinitsol))
	)

sets solving process initialization callback of transformed data

Returns: SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

SCIP_STAGE_PROBLEM

Parameters

scip	SCIP data structure

Definition at line 265 of file scip_prob.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPprobSetInitsol(), and TRUE.

Referenced by SCIPprobdataCreate().

◆ SCIPsetProbExitsol()

SCIP_RETCODE SCIPsetProbExitsol	(	SCIP *	scip,
		SCIP_DECL_PROBEXITSOL((*probexitsol))
	)

sets solving process deinitialization callback of transformed data

Returns: SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

SCIP_STAGE_PROBLEM

Parameters

scip	SCIP data structure

Definition at line 287 of file scip_prob.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPprobSetExitsol(), and TRUE.

Referenced by SCIPprobdataCreate().

◆ SCIPsetProbCopy()

SCIP_RETCODE SCIPsetProbCopy	(	SCIP *	scip,
		SCIP_DECL_PROBCOPY((*probcopy))
	)

sets callback to copy user data to a subscip

Returns: SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

SCIP_STAGE_PROBLEM

Parameters

scip	SCIP data structure

Definition at line 308 of file scip_prob.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPprobSetCopy(), and TRUE.

Referenced by SCIPcreateProbCyc().

◆ SCIPreadProb()

SCIP_RETCODE SCIPreadProb	(	SCIP *	scip,
		const char *	filename,
		const char *	extension
	)

reads problem from file and initializes all solving data structures

Returns: SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

Postcondition

After the method was called, SCIP is in one of the following stages:

SCIP_STAGE_INIT if reading failed (usually, when a SCIP_READERROR occurs)
SCIP_STAGE_PROBLEM if the problem file was successfully read

Parameters

scip	SCIP data structure
filename	problem file name
extension	extension of the desired file reader, or NULL if file extension should be used

Definition at line 341 of file scip_prob.c.

References FALSE, h, NULL, SCIP_Bool, SCIP_CALL, SCIP_DIDNOTRUN, SCIP_NOFILE, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_READERROR, SCIP_Real, SCIP_SUCCESS, SCIP_VERBLEVEL_FULL, SCIP_VERBLEVEL_NORMAL, SCIPallocClearBufferArray, SCIPcheckStage, SCIPclockSetTime(), SCIPconshdlrGetName(), SCIPduplicateBufferArray, SCIPerrorMessage, SCIPfreeBufferArray, SCIPgetBoolParam(), SCIPgetReadingTime(), SCIPmessagePrintVerbInfo(), SCIPpermuteProb(), SCIPprobGetNImplVars(), SCIPreaderGetName(), SCIPreaderRead(), SCIPsplitFilename(), and TRUE.

Referenced by fromAmpl(), fromCommandLine(), SCIP_DECL_DIALOGEXEC(), SCIPreadSol(), and solveMinIISC().

◆ SCIPprintOrigProblem()

SCIP_RETCODE SCIPprintOrigProblem	(	SCIP *	scip,
		FILE *	file,
		const char *	extension,
		SCIP_Bool	genericnames
	)

outputs original problem to file stream

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

Parameters

scip	SCIP data structure
file	output file (or NULL for standard output)
extension	file format (or NULL for default CIP format)
genericnames	using generic variable and constraint names?

Definition at line 652 of file scip_prob.c.

References FALSE, NULL, printProblem(), SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_WRITEERROR, SCIPcheckStage, and TRUE.

Referenced by runBrachistochrone(), runGastrans(), runPacking(), runSpring(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_READERREAD(), SCIP_DECL_READERWRITE(), SCIPwriteMps(), and SCIPwriteOpb().

◆ SCIPprintTransProblem()

SCIP_RETCODE SCIPprintTransProblem	(	SCIP *	scip,
		FILE *	file,
		const char *	extension,
		SCIP_Bool	genericnames
	)

outputs transformed problem of the current node to file stream

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if SCIP is in one of the following stages:

Parameters

scip	SCIP data structure
file	output file (or NULL for standard output)
extension	file format (or NULL for default CIP format)
genericnames	using generic variable and constraint names?

Definition at line 696 of file scip_prob.c.

References FALSE, NULL, printProblem(), SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_WRITEERROR, SCIPcheckStage, and TRUE.

Referenced by SCIP_DECL_DIALOGEXEC(), SCIP_DECL_READERWRITE(), SCIPwriteMps(), and SCIPwriteOpb().

◆ SCIPwriteOrigProblem()

SCIP_RETCODE SCIPwriteOrigProblem	(	SCIP *	scip,
		const char *	filename,
		const char *	extension,
		SCIP_Bool	genericnames
	)

writes original problem to file

Returns: SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure
filename	output file (or NULL for standard output)
extension	extension of the desired file reader, or NULL if file extension should be used
genericnames	using generic variable and constraint names?

Definition at line 742 of file scip_prob.c.

References FALSE, NULL, SCIP_CALL, SCIP_FILECREATEERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_WRITEERROR, SCIPcheckStage, TRUE, and writeProblem().

Referenced by createSubscip(), SCIP_DECL_HEUREXEC(), setupAndSolveSubscipCrossover(), solveClassification(), solveSubscipLpface(), and writeProblem().

◆ SCIPwriteTransProblem()

SCIP_RETCODE SCIPwriteTransProblem	(	SCIP *	scip,
		const char *	filename,
		const char *	extension,
		SCIP_Bool	genericnames
	)

writes transformed problem which are valid in the current node to file

Returns: SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

Note: If you want the write all constraints (including the once which are redundant for example), you need to set the parameter <write/allconss> to TRUE

Parameters

scip	SCIP data structure
filename	output file (or NULL for standard output)
extension	extension of the desired file reader, or NULL if file extension should be used
genericnames	using generic variable and constraint names?

Definition at line 789 of file scip_prob.c.

References FALSE, NULL, SCIP_CALL, SCIP_FILECREATEERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_WRITEERROR, SCIPcheckStage, TRUE, and writeProblem().

Referenced by fromCommandLine(), ObjPricerVRP::pricing(), SCIP_DECL_HEUREXEC(), and writeProblem().

◆ SCIPfreeProb()

SCIP_RETCODE SCIPfreeProb ( SCIP * scip )

frees problem and solution process data

Returns: SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

Postcondition

After this method was called, SCIP is in the following stage:

SCIP_STAGE_INIT

Parameters

scip	SCIP data structure

Definition at line 835 of file scip_prob.c.

References FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_INIT, SCIP_STAGE_PROBLEM, SCIPbendersDeactivate(), SCIPblkmem(), SCIPcheckStage, SCIPconflictstoreFree(), SCIPdebugFreeDebugData, SCIPdecompstoreFree(), SCIPfreeConcurrent(), SCIPfreeTransform(), SCIPpricerDeactivate(), SCIPprimalFree(), SCIPprobFree(), SCIPreaderResetReadingTime(), SCIPreoptFree(), SCIPsetFreeConcsolvers(), SCIPstatFree(), SCIPsyncstoreExit(), SCIPsyncstoreIsInitialized(), and TRUE.

Referenced by copyProb(), readFZNFile(), SCIP_DECL_DIALOGEXEC(), SCIPcreateProb(), SCIPfree(), and SCIPreadCor().

◆ SCIPpermuteProb()

SCIP_RETCODE SCIPpermuteProb	(	SCIP *	scip,
		unsigned int	randseed,
		SCIP_Bool	permuteconss,
		SCIP_Bool	permutebinvars,
		SCIP_Bool	permuteintvars,
		SCIP_Bool	permutebinimplvars,
		SCIP_Bool	permuteintimplvars,
		SCIP_Bool	permutecontimplvars,
		SCIP_Bool	permutecontvars
	)

permutes parts of the problem data structure

Returns: SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

permutes parts of the problem data structure

Returns: SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure
randseed	seed value for random generator
permuteconss	should the list of constraints in each constraint handler be permuted?
permutebinvars	should the list of binary variables be permuted?
permuteintvars	should the list of integer variables be permuted?
permutebinimplvars	should the list of binary implied integral vars be permuted?
permuteintimplvars	should the list of integer implied integral vars be permuted?
permutecontimplvars	should the list of continuous implied integral vars be permuted?
permutecontvars	should the list of continuous variables be permuted?

Definition at line 922 of file scip_prob.c.

References SCIP_Cons::addarraypos, FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_VERBLEVEL_HIGH, SCIPcheckStage, SCIPconshdlrGetConss(), SCIPconshdlrGetNActiveConss(), SCIPcreateRandom(), SCIPfreeRandom(), SCIPgetConshdlrs(), SCIPgetNBinImplVars(), SCIPgetNBinVars(), SCIPgetNConshdlrs(), SCIPgetNContImplVars(), SCIPgetNContVars(), SCIPgetNIntImplVars(), SCIPgetNIntVars(), SCIPgetNVars(), SCIPgetVars(), SCIPisTransformed(), SCIPmessagePrintVerbInfo(), SCIPprobIsPermuted(), SCIPprobMarkPermuted(), SCIPrandomPermuteArray(), and TRUE.

Referenced by SCIPreadProb(), SCIPtransformProb(), and setupAndSolveSubscipCrossover().

◆ SCIPgetProbData()

SCIP_PROBDATA * SCIPgetProbData ( SCIP * scip )

gets user problem data

Returns: a SCIP_PROBDATA pointer, or NULL if no problem data was allocated

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 1139 of file scip_prob.c.

References FALSE, NULL, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_FREETRANS, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIPABORT, SCIPcheckStage, SCIPerrorMessage, SCIPprobGetData(), and TRUE.

Referenced by addBranchingDecisionConss(), COLORprobAddNewStableSet(), COLORprobAddVarForStableSet(), COLORprobGetConstraint(), COLORprobGetConstraints(), COLORprobGetDeletedNodes(), COLORprobGetGraph(), COLORprobGetNewNodeForOriginalNode(), COLORprobGetNNodes(), COLORprobGetNStableSets(), COLORprobGetOriginalGraph(), COLORprobGetOriginalNNodes(), COLORprobGetOriginalNodesForNewNodes(), COLORprobGetStableSet(), COLORprobGetStableSets(), COLORprobGetVarForStableSet(), COLORprobIsNodeInStableSet(), COLORprobPrintStableSet(), COLORprobPrintStableSets(), COLORprobStableSetIsNew(), consdataPrint(), enforceSol(), isSolFeasible(), preprocessGraph(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPROP(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_TABLEOUTPUT(), SCIPcycGetBinvars(), SCIPcycGetCmatrix(), SCIPcycGetEdgeGraph(), SCIPcycGetEdgevars(), SCIPcycGetNBins(), SCIPcycGetNCluster(), SCIPcycGetScale(), SCIPcycPrintSolutionValues(), SCIPgetObjProbData(), SCIPprobdataSetupProblem(), SCIPvardataPrint(), and SCIPwriteSolutionNl().

◆ SCIPsetProbData()

SCIP_RETCODE SCIPsetProbData	(	SCIP *	scip,
		SCIP_PROBDATA *	probdata
	)

sets user problem data

Returns: SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure
probdata	user problem data to use

Definition at line 1189 of file scip_prob.c.

References FALSE, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_FREE, SCIP_STAGE_FREETRANS, SCIP_STAGE_INIT, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIPcheckStage, SCIPerrorMessage, SCIPprobSetData(), and TRUE.

Referenced by probdataFree(), SCIPcreateProbCyc(), and SCIPprobdataCreate().

◆ SCIPgetProbName()

const char * SCIPgetProbName ( SCIP * scip )

returns name of the current problem instance

Returns: name of the current problem instance

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 1242 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIPcheckStage, SCIPprobGetName(), and TRUE.

Referenced by addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addScenarioVarsAndConsToProb(), addTrustRegionConstraints(), applyDecomposition(), applyRepair(), bucketCreateSubscip(), checkSubproblemConvexity(), computeAutomorphisms(), createBlockproblem(), createCoveringProblem(), createSubscip(), createSubSCIP(), detectMinors(), doCopy(), findBestObjectiveValue(), initBucketlist(), initData(), initializeCandsLists(), initProblem(), printLongStatistics(), propdataInit(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXIT(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXITPRE(), SCIP_DECL_PROPEXITSOL(), SCIP_DECL_PROPINITPRE(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_READERREAD(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPcopyLargeNeighborhoodSearch(), SCIPvarUpdatePseudocost(), separateGLS(), setupSubscipLpface(), solveComponent(), solveSubNLP(), subscipSetParams(), and SYMcomputeSymmetryGenerators().

◆ SCIPsetProbName()

SCIP_RETCODE SCIPsetProbName	(	SCIP *	scip,
		const char *	name
	)

sets name of the current problem instance

Returns: SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure
name	name to be set

Definition at line 1270 of file scip_prob.c.

References FALSE, SCIP_CALL, SCIPcheckStage, SCIPprobSetName(), and TRUE.

Referenced by getStatistics().

◆ SCIPchgReoptObjective()

SCIP_RETCODE SCIPchgReoptObjective	(	SCIP *	scip,
		SCIP_OBJSENSE	objsense,
		SCIP_VAR **	vars,
		SCIP_Real *	coefs,
		int	nvars
	)

changes the objective function of the original problem.

Returns: SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

Note: This method should be only used to change the objective function during two reoptimization runs and is only recommended to an experienced user.; All variables not given in vars array are assumed to have an objective coefficient of zero.

Parameters

scip	SCIP data structure
objsense	new objective function
vars	original problem variables
coefs	objective coefficients
nvars	variables in vars array

Definition at line 1294 of file scip_prob.c.

References FALSE, NULL, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIP_STAGE_TRANSFORMED, SCIPaddVarObj(), SCIPcheckStage, SCIPchgVarObj(), SCIPdebugMsg, SCIPerrorMessage, SCIPisPositive(), SCIPisZero(), SCIPvarGetName(), SCIPvarGetObj(), SCIPvarGetStatus(), SCIPvarIsOriginal(), and TRUE.

Referenced by readObjective().

◆ SCIPgetObjsense()

SCIP_OBJSENSE SCIPgetObjsense ( SCIP * scip )

returns objective sense of original problem

Returns: objective sense of original problem

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 1400 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIPcheckStage, and TRUE.

Referenced by computeStandardIntegerOptCut(), computeStandardNLPOptimalityCut(), createSubproblem(), AMPLProblemHandler::EndInput(), generateAndApplyBendersIntegerCuts(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTINIT(), SCIP_DECL_READERREAD(), SCIPbendersComputeSubproblemLowerbound(), SCIPbendersExec(), SCIPbendersExecSubproblemSolve(), SCIPbendersSolveSubproblem(), SCIPbendersSolveSubproblemLP(), SCIPcopyOrigProb(), SCIPgetDualSolVal(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPmakeSOS1sFeasible(), SCIPprintStage(), SCIPsolveIsStopped(), SCIPvalidateSolve(), SCIPvalidateSolveExact(), SCIPvisualLowerbound(), SCIPvisualUpperbound(), and SCIPwriteSolutionNl().

◆ SCIPsetObjsense()

SCIP_RETCODE SCIPsetObjsense	(	SCIP *	scip,
		SCIP_OBJSENSE	objsense
	)

sets objective sense of problem

Returns: SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

SCIP_STAGE_PROBLEM

Parameters

scip	SCIP data structure
objsense	new objective sense

Definition at line 1417 of file scip_prob.c.

References FALSE, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OBJSENSE_MAXIMIZE, SCIP_OBJSENSE_MINIMIZE, SCIP_OKAY, SCIPcheckStage, SCIPerrorMessage, SCIPprobSetObjsense(), and TRUE.

Referenced by createMIP(), createProbQP(), createSubscip(), createVariables(), doPricing(), getObjective(), main(), AMPLProblemHandler::OnObj(), scipexamples::QueensSolver::QueensSolver(), readCnf(), readFZNFile(), readMps(), readMpsExact(), readObjective(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_READERREAD(), SCIPcopyOrigProb(), SCIPprobdataCreate(), SCIPreadLp(), SCIPreadOpb(), SCIPreadPip(), SCIPtransformMinUC(), setupProblem(), solveClassification(), and solveMinIISC().

◆ SCIPaddObjoffset()

SCIP_RETCODE SCIPaddObjoffset	(	SCIP *	scip,
		SCIP_Real	addval
	)

adds offset of objective function

Returns: SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

SCIP_STAGE_PRESOLVING

Parameters

scip	SCIP data structure
addval	value to add to objective offset

Definition at line 1443 of file scip_prob.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPblkmem(), SCIPcheckStage, SCIPprimalUpdateObjoffset(), SCIPprobAddObjoffset(), and TRUE.

Referenced by checkPartialObjective().

◆ SCIPaddOrigObjoffsetExact()

SCIP_RETCODE SCIPaddOrigObjoffsetExact	(	SCIP *	scip,
		SCIP_RATIONAL *	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:

SCIP_STAGE_PROBLEM

Parameters

scip	SCIP data structure
addval	value to add to objective offset

Definition at line 1465 of file scip_prob.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPprimalAddOrigObjoffsetExact(), SCIPprobAddObjoffsetExact(), and TRUE.

Referenced by readObjectiveRational(), SCIP_DECL_READERREAD(), SCIPaddOrigObjoffset(), and setObjective().

◆ 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:

SCIP_STAGE_PROBLEM

Parameters

scip	SCIP data structure
addval	value to add to objective offset

Definition at line 1486 of file scip_prob.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPaddOrigObjoffsetExact(), SCIPbuffer(), SCIPcheckStage, SCIPisExact(), SCIPprimalAddOrigObjoffset(), SCIPprobAddObjoffset(), SCIPrationalCreateBuffer(), SCIPrationalFreeBuffer(), SCIPrationalSetReal(), and TRUE.

Referenced by createProbSimplified(), getObjectiveFactor(), readObjective(), readOPBFile(), readRhs(), readRhsExact(), SCIP_DECL_READERREAD(), SCIPcopyOrigProb(), 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

scip	SCIP data structure

Definition at line 1529 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIPcheckStage, and TRUE.

Referenced by applyBounding(), SCIPcopyOrigProb(), SCIPmergeVariableStatistics(), and setObjective().

◆ SCIPgetOrigObjoffsetExact()

SCIP_RATIONAL * SCIPgetOrigObjoffsetExact ( SCIP * scip )

returns the exact objective offset of the original problem

DO NOT MODIFY THE POINTER RETURNED BY THIS METHOD

Returns: the exact objective offset of the original problem

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 1556 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIPcheckStage, SCIPisExact(), and TRUE.

◆ 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

scip	SCIP data structure

Definition at line 1583 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIPcheckStage, 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

scip	SCIP data structure

Definition at line 1606 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIPcheckStage, and TRUE.

Referenced by computeStandardNLPOptimalityCut(), getCutoffboundGenVBound(), SCIP_DECL_SEPAEXECLP(), SCIPgenVBoundAdd(), separateCuts(), 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

scip	SCIP data structure

Definition at line 1629 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIPcheckStage, and TRUE.

Referenced by computeStandardNLPOptimalityCut(), getCutoffboundGenVBound(), SCIPgenVBoundAdd(), SCIPsolveIsStopped(), and writeBounds().

◆ SCIPsetObjlimit()

SCIP_RETCODE SCIPsetObjlimit	(	SCIP *	scip,
		SCIP_Real	objlimit
	)

sets limit on objective function, such that only solutions better than this limit are accepted

Note: SCIP will only look for solutions with a strictly better objective value, thus, e.g., prune all branch-and-bound nodes with dual bound equal or worse to the objective limit. However, SCIP will also collect solutions with objective value worse than the objective limit and use them to run improvement heuristics on them.; If SCIP can prove that there exists no solution with a strictly better objective value, the solving status will normally be infeasible (the objective limit is interpreted as part of the problem). The only exception is that by chance, SCIP found a solution with the same objective value and thus proved the optimality of this solution, resulting in solution status optimal.

Returns: SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure
objlimit	new primal objective limit

Definition at line 1661 of file scip_prob.c.

References FALSE, SCIP_CALL, SCIP_INVALIDCALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPcheckStage, SCIPerrorMessage, SCIPprimalUpdateObjlimit(), SCIPprobGetObjlim(), SCIPprobInternObjval(), SCIPprobSetObjlim(), SCIPtransformObj(), and TRUE.

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

◆ SCIPgetObjlimit()

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

scip	SCIP data structure

Definition at line 1731 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIPcheckStage, SCIPprobGetObjlim(), and TRUE.

Referenced by SCIP_DECL_DIALOGEXEC().

◆ SCIPsetObjIntegral()

SCIP_RETCODE SCIPsetObjIntegral ( SCIP * scip )

informs SCIP, that the objective value is always integral in every feasible solution

Returns: SCIP_OKAY is returned if everything worked. otherwise a suitable error code is passed. see SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

Note: This function should be used to inform SCIP that the objective function is integral, helping to improve the performance. This is useful when using column generation. If no column generation (pricing) is used, SCIP automatically detects whether the objective function is integral or can be scaled to be integral. However, in any case, the user has to make sure that no variable is added during the solving process that destroys this property.

Parameters

scip	SCIP data structure

Definition at line 1758 of file scip_prob.c.

References FALSE, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMING, SCIPcheckStage, SCIPerrorMessage, SCIPprobSetObjIntegral(), and TRUE.

Referenced by readCol(), SCIPprobdataCreate(), and setupProblem().

◆ 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

scip	SCIP data structure

Definition at line 1801 of file scip_prob.c.

References FALSE, 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, SCIPABORT, SCIPcheckStage, SCIPerrorMessage, SCIPisIntegral(), SCIPisZero(), SCIPprobIsObjIntegral(), SCIPvarGetObj(), SCIPvarIsIntegral(), and TRUE.

Referenced by addAuxiliaryVariablesToMaster(), addTrustRegionConstraints(), aggregation(), computeCut(), createSubscip(), getObjectiveRow(), SCIP_DECL_HEUREXEC(), SCIPapplyProximity(), SCIPcertificatePrintCutoffBound(), 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

scip	SCIP data structure

Definition at line 1880 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIPcheckStage, SCIPlpGetObjNorm(), SCIPlpRecalculateObjSqrNorm(), and TRUE.

Referenced by createNewSol(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_HEUREXEC(), and separateCuts().

◆ SCIPaddVar()

SCIP_RETCODE SCIPaddVar	(	SCIP *	scip,
		SCIP_VAR *	var
	)

adds variable to the problem

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure
var	variable to add

Definition at line 1907 of file scip_prob.c.

References FALSE, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMING, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPaddVar(), SCIPcheckStage, SCIPerrorMessage, SCIPisExact(), SCIPprobAddVar(), SCIPvarGetNegationVar(), SCIPvarGetProbindex(), SCIPvarGetStatus(), SCIPvarIsExact(), and TRUE.

Referenced by addAuxiliaryVariablesToMaster(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addScenarioVarsToProb(), addSlackVars(), addVarCardinality(), addVariableToBendersProblem(), aggregation(), appendVarCardinality(), applyFixings(), applyRepair(), consdataCreateBinvars(), convertLongEquality(), createAndAddAndCons(), createAuxVar(), createBlockproblem(), createCipFormulation(), createConstraint(), createConstraints(), createCoveringProblem(), createDisaggrVars(), createInitialColumns(), createKKTComplementarityBinary(), createKKTComplementarityBounds(), createKKTComplementarityLinear(), createKKTDualCons(), createMasterproblem(), createMIP(), createMipCpFormulation(), createMipFormulation(), createObjRow(), createOriginalproblem(), createPatternVars(), createProbQP(), createRelaxation(), createSubproblem(), createSubproblems(), createSubscip(), createSubSCIP(), createVariable(), createVariables(), AMPLProblemHandler::EndInput(), execmain(), getBinaryProductExprDo(), getFixedVariable(), getScenarioDecompVar(), getVariable(), initPricing(), main(), AMPLProblemHandler::OnBinaryLogical(), AMPLProblemHandler::OnHeader(), AMPLProblemHandler::OnObj(), AMPLProblemHandler::OnRelational(), presolveAddKKTLinearCons(), scipexamples::QueensSolver::QueensSolver(), readBounds(), readBoundsExact(), readCnf(), readCols(), readColsExact(), readLIBSVM(), readObjective(), readQMatrix(), readVariables(), reformulateFactorizedBinaryQuadratic(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_READERREAD(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPaddVar(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcreateConsCardinality(), SCIPcreateConsIndicatorGeneric(), SCIPcreateConsIndicatorGenericLinConsPure(), SCIPcreateSchedulingProblem(), SCIPgetVarCopy(), SCIPtransformMinUC(), SCIPverifyCircularPatternNLP(), setObjective(), setupAndSolveCumulativeSubscip(), setupAndSolveFiniteSolSubscip(), setupProblem(), solveClassification(), solveMinIISC(), and solvePricingMINLP().

◆ SCIPaddPricedVar()

SCIP_RETCODE SCIPaddPricedVar	(	SCIP *	scip,
		SCIP_VAR *	var,
		SCIP_Real	score
	)

adds variable to the problem and uses it as pricing candidate to enter the LP

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition: This method can only be called if scip is in stage SCIP_STAGE_SOLVING

Parameters

scip	SCIP data structure
var	variable to add
score	pricing score of variable (the larger, the better the variable)

Definition at line 1984 of file scip_prob.c.

References FALSE, NULL, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPaddPricedVar(), SCIPcheckStage, SCIPerrorMessage, SCIPpricestoreAddVar(), SCIPprobAddVar(), SCIPtreeGetCurrentDepth(), SCIPvarGetNegationVar(), SCIPvarGetProbindex(), SCIPvarGetStatus(), and TRUE.

Referenced by ObjPricerVRP::add_tour_variable(), addVariable(), doPricing(), SCIP_DECL_PRICERFARKAS(), SCIP_DECL_PRICERREDCOST(), and SCIPaddPricedVar().

◆ SCIPdelVar()

SCIP_RETCODE SCIPdelVar	(	SCIP *	scip,
		SCIP_VAR *	var,
		SCIP_Bool *	deleted
	)

removes variable from the problem

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Warning: The variable is not deleted from the constraints when in SCIP_STAGE_PROBLEM. In this stage, it is the user's responsibility to ensure the variable has been removed from all constraints or the constraints deleted.

Precondition

This method can be called if scip is in one of the following stages:

Warning: The variable is not deleted from the constraints when in SCIP_STAGE_PROBLEM. In this stage, it is the user's responsibility to ensure the variable has been removed from all constraints or the constraints deleted.

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.

Warning: The variable is not deleted from the constraints when in SCIP_STAGE_PROBLEM. In this stage, it is the user's responsibility to ensure the variable has been removed from all constraints or the constraints deleted.

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure
var	variable to delete
deleted	pointer to store whether marking variable to be deleted was successful

Definition at line 2041 of file scip_prob.c.

References FALSE, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_STAGE_FREETRANS, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_ORIGINAL, SCIPcheckStage, SCIPerrorMessage, SCIPprobDelVar(), SCIPprobPerformVarDeletions(), SCIPvarGetStatus(), and TRUE.

Referenced by removeCoreVariablesAndConstraints(), and SCIPiisGenerate().

◆ 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:

Parameters

scip	SCIP data structure
vars	pointer to store variables array or NULL if not needed
nvars	pointer to store number of variables or NULL if not needed
nbinvars	pointer to store number of binary variables or NULL if not needed
nintvars	pointer to store number of integer variables or NULL if not needed
nimplvars	pointer to store number of implied integral vars or NULL if not needed
ncontvars	pointer to store number of continuous variables or NULL if not needed

Definition at line 2115 of file scip_prob.c.

References FALSE, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPcheckStage, SCIPerrorMessage, SCIPprobGetNImplVars(), and TRUE.

Referenced by addCut(), addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addObjcut(), addObjCutoff(), addTrustRegionConstraints(), alnsFixMoreVariables(), applyDecomposition(), applyRepair(), applyVbounds(), bucketCreateSubscip(), certificatePrintSol(), checkCands(), checkSubproblemConvexity(), checkSubproblemIndependence(), computeCoverUndercover(), computeCut(), computeFixingrate(), copyVars(), countNonlinearities(), createCGCutCMIR(), createCGCutDirect(), createCGCuts(), createCGCutStrongCG(), createCGMIPprimalsols(), createCoveringProblem(), createGenVBound(), createNewSol(), createNewSols(), createSolFromNLP(), createSolFromSubScipSol(), createSubproblems(), createSubSCIP(), DECL_CHANGESUBSCIP(), DECL_VARFIXINGS(), determineFixings(), determineMaxDistance(), determineVariableFixings(), executeLNSHeuristic(), filterBounds(), filterRound(), fixMatchingSolutionValues(), fixNonNeighborhoodVariables(), fixVariables(), getObjectiveFactor(), initBounds(), LNSFixMoreVariables(), performInteriorSolCutStrengthening(), performRelaxSimpleRounding(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECSOL(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPaggrRowSumRows(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPapplyUndercover(), SCIPbendersChgMastervarsToCont(), SCIPbendersSolSlackVarsActive(), SCIPcertificateInit(), SCIPcertificateInitTransFile(), SCIPclearRelaxSolVals(), SCIPcopyImplicationsCliques(), SCIPsetRelaxSolValsSol(), SCIPtransformMinUC(), SCIPtranslateSubSol(), SCIPtranslateSubSols(), SCIPwriteCliqueGraph(), selectInitialVariableDecomposition(), selectInitialVariableRandomly(), selectNextVariable(), separateGLS(), separateHeur(), separateOddCycles(), setAndUpdateCorePoint(), setSolutionValues(), setupAggregationData(), setupAndSolveSubscip(), setupAndSolveSubscipLocalbranching(), setupAndSolveSubscipRapidlearning(), setupAndSolveSubscipTrustregion(), solCutIsViolated(), solveLp(), solveNLP(), solveSubproblem(), storeSubproblemMasterVars(), translateSubSol(), and writeBounds().

◆ SCIPgetVars()

SCIP_VAR ** SCIPgetVars ( SCIP * scip )

gets array with active problem variables

Returns: array with active problem variables

Note

Variables in the array are grouped in following order:

binaries
integers
implied integral binaries
implied integral integers
implied integral continuous
continuous

Warning: Modifying a variable status (e.g. with SCIPfixVar(), SCIPaggregateVars(), and SCIPmultiaggregateVar()) or a variable type (e.g. with SCIPchgVarType() and SCIPchgVarImplType()) may invalidate or resort the data array.

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 2201 of file scip_prob.c.

References FALSE, NULL, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage, SCIPerrorMessage, and TRUE.

Referenced by addCut(), addFixedVarsConss(), addInitialSolution(), addLocalBranchingConstraint(), addLowerboundCons(), addSymmetryInformation(), alnsUnfixVariables(), applyBoundHeur(), applyCompletesol(), applyDeeperDomainReductions(), applyDomainReductions(), applyHeur(), applyNlobbt(), applyObbt(), applyObbtBilinear(), applyProbing(), applySingleDeeperDomainReductions(), branchingIntegralFirst(), branchOnVar(), branchruledataEnsureArraySize(), bucketCreateSubscip(), buildConvexCombination(), buildMod2Matrix(), calcEfficacy(), calcEfficacyDenseStorage(), calcEfficacyDenseStorageQuad(), calcMaxObjPseudoactivity(), checkExec(), checkIISlocal(), checkSolution(), checkSymmetriesAreSymmetries(), checkSystemGF2(), componentSetupWorkingSol(), computeCut(), computeInitialKnapsackCover(), computeInteriorPoint(), computeNogoodCut(), computeStandardIntegerOptCut(), computeStandardLPFeasibilityCut(), computeStandardLPOptimalityCut(), computeSymmetryGroup(), constructSNFRelaxation(), createAuxiliaryNonlinearSubproblem(), createBlockproblem(), createMasterVarMapping(), createObjRow(), createSubproblem(), createSubSCIP(), createTcliqueGraph(), createVariableMappings(), cutsRoundMIRSafely(), cutsTransformKnapsackCover(), cutsTransformMIRSafely(), cutTightenCoefs(), cutTightenCoefsQuad(), cutTightenCoefsSafely(), decompHorizonInitialize(), detectHiddenProducts(), detectMinors(), dfs(), domainReductionsCreate(), doMIRBoundSubstitution(), execRelpscost(), executeBranching(), filterCands(), filterExistingLP(), findComponents(), fixAndPropagate(), fullDualPresolve(), generateCloseCutPoint(), generateZerohalfCut(), getDecompVarsConssData(), getFactorizedBinaryQuadraticExpr(), getMaxactImplicObjchg(), getNLPVarsNonConvexity(), getRelDistance(), hasInferredBinVar(), hasInferredIntVar(), heurdataEnsureArraySize(), heurdataFreeArrays(), heurExec(), improvePoint(), initConcsolver(), initData(), initializeCandsLists(), initImplGraphSOS1(), initProblem(), level2dataGetResult(), level2dataStoreResult(), LNSUnfixVariables(), matrixCreate(), mod2MatrixAddTransRow(), performBoundSubstitution(), performDualfix(), preprocessCliques(), presolRoundVarsSOS1(), presolveTwoOpt(), projectVbd(), propagateAllConss(), propdataInit(), readOPBFile(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeZeros(), removeZerosQuad(), removeZerosSafely(), reuseSolution(), sampleRandomPoints(), SCIP_DECL_BRANCHEXITSOL(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXITSOL(), SCIP_DECL_EVENTINIT(), SCIP_DECL_EVENTINITSOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaggrRowAddObjectiveFunction(), SCIPaggrRowPrint(), SCIPassignDecompLinkConss(), SCIPbendersMergeSubproblemIntoMaster(), SCIPbendersSetupSubproblem(), SCIPcalcMIR(), SCIPcalcStrongCG(), SCIPcreateNlpiProblemFromNlRows(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPgenerateAndApplyBendersOptCut(), SCIPgetVarStrongbranchWithPropagation(), SCIPmatrixCreate(), SCIPpermuteProb(), SCIPpropagateProbing(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPsnprintfProbingStats(), SCIPtransformDecompstore(), SCIPvariablegraphBreadthFirst(), separateCuts(), setObjProbing(), setupAndSolve(), setupAndSolveSubscipMutation(), setupSubproblem(), setupSubScip(), tarjan(), tcliquegraphAddCliqueVars(), tightenWeightsLift(), transformNonIntegralRow(), updateFirstRow(), updateFirstRowGlobal(), and updateSubproblemLowerbound().

◆ SCIPgetNVars()

int SCIPgetNVars ( SCIP * scip )

gets number of active problem variables

Returns: the number of active problem variables

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 2246 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage, SCIPerrorMessage, and TRUE.

Referenced by addFixedVarsConss(), addInitialSolution(), addLowerboundCons(), addProductVars(), addScenarioVarsAndConsToProb(), addSymmetryInformation(), adjustKernelVars(), aggregateNextRow(), alnsUnfixVariables(), applyBoundHeur(), applyCliqueFixings(), applyCompletesol(), applyDeeperDomainReductions(), applyDomainReductions(), applyHeur(), applyNlobbt(), applyObbt(), applyObbtBilinear(), applyProbing(), applySingleDeeperDomainReductions(), applyVbounds(), blockCreateSubscip(), branch(), branching(), branchingIntegralOrNonlinear(), branchOnVar(), branchruledataEnsureArraySize(), branchruledataEnsureNlcount(), buildConvexCombination(), buildMod2Matrix(), calcCliquePartitionGreedy(), calcMaxObjPseudoactivity(), calcMIRSafely(), calcNlscore(), checkFixingrate(), checkIISlocal(), checkSolution(), checkSubproblemConvexity(), checkSymmetriesAreSymmetries(), checkSystemGF2(), collectBranchingCandidates(), collectBranchingCands(), componentSetupWorkingSol(), computeCut(), computeGradient(), computeInteriorPoint(), computeNogoodCut(), computeStandardIntegerOptCut(), computeStandardLPFeasibilityCut(), computeStandardLPOptimalityCut(), computeSymmetryGroup(), constructCompression(), constructHypergraph(), copyProb(), copyVars(), correctConshdlrdata(), countSparseSol(), createAndSplitProblem(), createAuxiliaryNonlinearSubproblem(), createBlockproblem(), createMasterVarMapping(), createNLP(), createObjRow(), createReaderdata(), createSepaData(), createSubproblem(), createSubSCIP(), createTcliqueGraph(), createVariableMappings(), cutsRoundMIRSafely(), cutsTransformMIRSafely(), cutTightenCoefs(), cutTightenCoefsQuad(), cutTightenCoefsSafely(), DECL_NHINIT(), decompHorizonInitialize(), detectHiddenProducts(), detectMinors(), determineSymmetry(), dfs(), doCopy(), domainReductionsCreate(), doSolveSubMIP(), estimateSymgraphSize(), execRelpscost(), executeBranching(), executeResolutionStep(), fillDigraph(), fillVariableGraph(), filterExistingLP(), findComponents(), fullDualPresolve(), generateAndApplyBendersCuts(), generateCloseCutPoint(), generateClusterCuts(), generateZerohalfCut(), getDecompVarsConssData(), getFactorizedBinaryQuadraticExpr(), getMaxactImplicObjchg(), getMinsize(), getNLPVarsNonConvexity(), getNVarsIndicators(), getRelDistance(), getVarbufSize(), hasInferredBinVar(), hasInferredIntVar(), heurdataEnsureArraySize(), heurdataFreeArrays(), heurExec(), improvePoint(), initAlternativeLP(), initBranchruleData(), initConcsolver(), initData(), initImplGraphSOS1(), initOrbits(), initProblem(), initPropdata(), insertZerolist(), LNSUnfixVariables(), matrixCreate(), mod2MatrixTransformContRows(), performDualfix(), performFixing(), preprocessCliques(), presolRoundVarsSOS1(), presolve(), presolveBinaryProducts(), presolveImplint(), printLongStatistics(), projectVbd(), propagateAllConss(), propdataInit(), readCoefficients(), readOPBFile(), readSolFile(), readXmlSolFile(), reinitBandit(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeRedundantConssAndNonzeros(), reoptimize(), reuseSolution(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXITSOL(), SCIP_DECL_BRANCHINIT(), SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSGETPERMSYMGRAPH(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_CUTSELSELECT(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXITSOL(), SCIP_DECL_EVENTINIT(), SCIP_DECL_EVENTINITSOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEURINIT(), SCIP_DECL_HEURINITSOL(), SCIP_DECL_NLHDLRDETECT(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECSOL(), SCIPaddNlpiProblemRows(), SCIPaggrRowAddObjectiveFunction(), SCIPaggrRowCopy(), SCIPaggrRowCreate(), SCIPaggrRowFree(), SCIPassignDecompLinkConss(), SCIPbendersMergeSubproblemIntoMaster(), SCIPbendersSetupSubproblem(), SCIPcalcFlowCover(), SCIPcalcKnapsackCover(), SCIPcalcMIR(), SCIPcalcStrongCG(), SCIPcertificateInit(), SCIPcertificateNewMirInfo(), SCIPcleanupConssLogicor(), SCIPconcsolverCreateInstance(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPcreateNlpiProblemFromNlRows(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPfreeCertificateActiveMirInfo(), SCIPgenerateAndApplyBendersOptCut(), SCIPgetConsCopy(), SCIPgetVarCopy(), SCIPgetVarStrongbranchWithPropagation(), SCIPmatrixCreate(), SCIPparseExpr(), SCIPperformGenericDivingAlgorithm(), SCIPpermuteProb(), SCIPpropagateProbing(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPsnprintfProbingStats(), SCIPstoreCertificateActiveMirInfo(), SCIPsyncstoreInit(), SCIPtransformDecompstore(), SCIPtransformProb(), SCIPvariablegraphBreadthFirst(), SCIPvariableGraphCreate(), SCIPvariableGraphFree(), scoreContainerCreate(), selectVarRecursive(), separateCuts(), separatePerspective(), separatePoint(), setObjProbing(), setSymmetryData(), setupAndSolve(), setupAndSolveSubscip(), setupAndSolveSubscipMutation(), setupAndSolveSubscipOneopt(), setUpEvents(), setupProbingSCIP(), setupSubproblem(), setupSubScip(), shortenConss(), solveIndependentCons(), solveSubNLP(), storeVarExprs(), subscipdataCopySubscip(), tarjan(), testSymmetryComputationRequired(), tightenCoefs(), tightenWeightsLift(), topologicalSort(), tryAdd2variableBuffer(), updateFirstRow(), updateFirstRowGlobal(), updateSubproblemLowerbound(), varVecAddScaledRowCoefsSafely(), and wrapperDins().

◆ SCIPgetNBinVars()

int SCIPgetNBinVars ( SCIP * scip )

gets number of binary active problem variables

Returns: the number of binary active problem variables

Note: This function does not count binary variables which are implied integral.

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 2293 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage, SCIPerrorMessage, and TRUE.

Referenced by addLocalBranchingConstraint(), aggregateNextRow(), alnsUnfixVariables(), applyProbing(), blockCreateSubscip(), branchingIntegralFirst(), branchingIntegralOrNonlinear(), checkConsQuadraticProblem(), checkExec(), checkFixingrate(), computeSymmetryGroup(), constructCompression(), constructSNFRelaxation(), copyVars(), countSparseSol(), createSubscip(), cutsTransformKnapsackCover(), DECL_CHANGESUBSCIP(), DECL_NHDEACTIVATE(), DECL_VARFIXINGS(), detectHiddenProducts(), determineSymmetry(), determineVariableFixingsDecomp(), dualPresolve(), extendToCover(), findImpliedIntegers(), fixMatchingSolutionValues(), fullDualPresolve(), getClosestVlb(), getClosestVub(), getReward(), hasInferredBinVar(), hasInferredIntVar(), heurExec(), initializeCandsLists(), LNSUnfixVariables(), loadTcliquegraph(), mergeMultiples(), neighborhoodFixVariables(), preprocessCliques(), presolveBinaryProducts(), presolveTwoOpt(), printLongStatistics(), propdataInit(), removeDoubleAndSingletonsAndPerformDualpresolve(), rollingHorizonCreate(), rollingHorizonRunAgain(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTINITSOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEURINITSOL(), SCIP_DECL_NLHDLRDETECT(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECSOL(), SCIPapplyProximity(), SCIPcalcMIR(), SCIPcalcStrongCG(), SCIPcutGenerationHeuristicCMIR(), SCIPpermuteProb(), SCIPsnprintfProbingStats(), SCIPsolve(), separateCuts(), separateOddCycles(), setupAndSolve(), tcliquegraphAddCliqueVars(), tcliquegraphAddNode(), tcliquegraphCreate(), testSymmetryComputationRequired(), upgradeConss(), and wrapperDins().

◆ SCIPgetNIntVars()

int SCIPgetNIntVars ( SCIP * scip )

gets number of integer active problem variables

Returns: the number of integer active problem variables

Note: This function does not count integer variables which are implied integral.

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 2340 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage, SCIPerrorMessage, and TRUE.

Referenced by aggregateNextRow(), alnsUnfixVariables(), applyProbing(), blockCreateSubscip(), branchingIntegralFirst(), branchingIntegralOrNonlinear(), checkConsQuadraticProblem(), checkExec(), checkFixingrate(), constructCompression(), copyVars(), createSubscip(), DECL_NHDEACTIVATE(), DECL_VARFIXINGS(), determineSymmetry(), determineVariableFixingsDecomp(), extendToCover(), findImpliedIntegers(), getReward(), hasInferredIntVar(), initializeCandsLists(), LNSUnfixVariables(), mergeMultiples(), neighborhoodFixVariables(), presolveTwoOpt(), prettifyConss(), printLongStatistics(), removeDoubleAndSingletonsAndPerformDualpresolve(), rollingHorizonCreate(), rollingHorizonRunAgain(), runBenders(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTINITSOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPPRESOL(), SCIPcalcMIR(), SCIPcalcStrongCG(), SCIPcutGenerationHeuristicCMIR(), SCIPpermuteProb(), SCIPsnprintfProbingStats(), SCIPsolve(), separateCuts(), setupAndSolve(), testSymmetryComputationRequired(), and wrapperDins().

◆ SCIPgetNImplVars()

int SCIPgetNImplVars ( SCIP * scip )

gets number of implied integral active problem variables

Returns: the number of implied integral active problem variables

Note: This function counts binary, integer, and continuous variables which are implied integral.

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 2387 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage, SCIPerrorMessage, SCIPprobGetNImplVars(), and TRUE.

Referenced by aggregateNextRow(), applyProbing(), checkExec(), copyVars(), createSubscip(), decompHorizonInitialize(), determineSymmetry(), dualPresolve(), initializeCandsLists(), mergeMultiples(), presolveBinaryProducts(), prettifyConss(), printLongStatistics(), removeDoubleAndSingletonsAndPerformDualpresolve(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPPRESOL(), SCIPsnprintfProbingStats(), setupAndSolve(), and upgradeConss().

◆ SCIPgetNBinImplVars()

int SCIPgetNBinImplVars ( SCIP * scip )

gets number of binary implied integral active problem variables

Returns: the number of binary implied integral active problem variables

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 2432 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage, SCIPerrorMessage, and TRUE.

Referenced by hasInferredBinVar(), hasInferredIntVar(), presolveTwoOpt(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIPcalcMIR(), SCIPcalcStrongCG(), SCIPcutGenerationHeuristicCMIR(), SCIPpermuteProb(), separateCuts(), and setupAndSolve().

◆ SCIPgetNIntImplVars()

int SCIPgetNIntImplVars ( SCIP * scip )

gets number of integer implied integral active problem variables

Returns: the number of integer implied integral active problem variables

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 2477 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage, SCIPerrorMessage, and TRUE.

Referenced by presolveTwoOpt(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIPcalcMIR(), SCIPcalcStrongCG(), SCIPcutGenerationHeuristicCMIR(), SCIPpermuteProb(), separateCuts(), and setupAndSolve().

◆ SCIPgetNContImplVars()

int SCIPgetNContImplVars ( SCIP * scip )

gets number of continuous implied integral active problem variables

Returns: the number of continuous implied integral active problem variables

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 2522 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage, SCIPerrorMessage, and TRUE.

Referenced by applyBoundHeur(), createSubSCIP(), initBranchruleData(), SCIP_DECL_BRANCHINIT(), SCIP_DECL_CONSCHECK(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIPcalcMIR(), SCIPcalcStrongCG(), SCIPcutGenerationHeuristicCMIR(), SCIPperformGenericDivingAlgorithm(), SCIPpermuteProb(), SCIPvariablegraphBreadthFirst(), scoreContainerCreate(), separateCuts(), and setupAndSolve().

◆ SCIPgetNContVars()

int SCIPgetNContVars ( SCIP * scip )

gets number of continuous active problem variables

Returns: the number of continuous active problem variables

Note: This function does not count continuous variables which are implied integral.

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 2569 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage, SCIPerrorMessage, and TRUE.

Referenced by aggregateNextRow(), applyBoundHeur(), applyCliqueFixings(), buildMod2Matrix(), calcCliquePartitionGreedy(), copyVars(), createSubscip(), createSubSCIP(), cutsRoundMIRSafely(), cutsTransformMIRSafely(), cutTightenCoefs(), cutTightenCoefsQuad(), cutTightenCoefsSafely(), decompHorizonInitialize(), determineSymmetry(), fullDualPresolve(), getMaxactImplicObjchg(), hasInferredBinVar(), hasInferredIntVar(), initBranchruleData(), insertZerolist(), presolveImplint(), printLongStatistics(), propdataInit(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeRedundantConssAndNonzeros(), SCIP_DECL_BRANCHINIT(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_SEPAEXECLP(), SCIPcalcMIR(), SCIPcalcStrongCG(), SCIPcleanupConssLogicor(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPperformGenericDivingAlgorithm(), SCIPpermuteProb(), SCIPseparateRelaxedKnapsack(), SCIPvariablegraphBreadthFirst(), scoreContainerCreate(), separateCuts(), setupAndSolve(), shortenConss(), tarjan(), testSymmetryComputationRequired(), tightenCoefs(), tightenVariables(), and tightenWeightsLift().

◆ SCIPgetNObjVars()

int SCIPgetNObjVars ( SCIP * scip )

gets number of active problem variables with a non-zero objective coefficient

Note: In case of the original problem the number of variables is counted. In case of the transformed problem the number of variables is just returned since it is stored internally

Returns: the number of active problem variables with a non-zero objective coefficient

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 2616 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage, SCIPerrorMessage, SCIPprobGetNObjVars(), and TRUE.

Referenced by checkConsQuadraticProblem(), checkDivingCandidates(), checkExec(), checkParallelObjective(), checkPartialObjective(), createSubscip(), DECL_CHANGESUBSCIP(), DECL_NHDEACTIVATE(), propdataInit(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PROPEXEC(), scoreBranchingCandidates(), setupAndSolveSubscip(), and setupSubproblem().

◆ SCIPgetFixedVars()

SCIP_VAR ** SCIPgetFixedVars ( SCIP * scip )

gets array with fixed and aggregated problem variables; data may become invalid after calls to SCIPfixVar(), SCIPaggregateVars(), and SCIPmultiaggregateVar()

Returns: an array with fixed and aggregated problem variables; data may become invalid after calls to SCIPfixVar(), SCIPaggregateVars(), and SCIPmultiaggregateVar()

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 2662 of file scip_prob.c.

References FALSE, NULL, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage, SCIPerrorMessage, and TRUE.

Referenced by computeStandardLPOptimalityCut(), computeStandardNLPOptimalityCut(), copyVars(), correctConshdlrdata(), exitPresolve(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_PRESOLEXEC(), SCIPcreateFiniteSolCopy(), and selectVarMultAggrBranching().

◆ SCIPgetNFixedVars()

int SCIPgetNFixedVars ( SCIP * scip )

gets number of fixed or aggregated problem variables

Returns: the number of fixed or aggregated problem variables

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 2705 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage, SCIPerrorMessage, and TRUE.

Referenced by computeStandardLPOptimalityCut(), computeStandardNLPOptimalityCut(), copyVars(), correctConshdlrdata(), exitPresolve(), generateAndApplyBendersCuts(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_PRESOLEXEC(), SCIPapplyProximity(), SCIPcreateFiniteSolCopy(), SCIPgenerateAndApplyBendersOptCut(), selectVarMultAggrBranching(), and setUpEvents().

◆ SCIPgetOrigVarsData()

SCIP_RETCODE SCIPgetOrigVarsData	(	SCIP *	scip,
		SCIP_VAR ***	vars,
		int *	nvars,
		int *	nbinvars,
		int *	nintvars,
		int *	nimplvars,
		int *	ncontvars
	)

gets variables of the original problem along with the numbers of different variable types; data may become invalid after a call to SCIPchgVarType()

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure
vars	pointer to store variables array or NULL if not needed
nvars	pointer to store number of variables or NULL if not needed
nbinvars	pointer to store number of binary variables or NULL if not needed
nintvars	pointer to store number of integer variables or NULL if not needed
nimplvars	pointer to store number of implied integral vars or NULL if not needed
ncontvars	pointer to store number of continuous variables or NULL if not needed

Definition at line 2753 of file scip_prob.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage, SCIPprobGetNImplVars(), and TRUE.

Referenced by certificatePrintSol(), copyVars(), createSolFromNLP(), createSolFromSubScipSol(), forbidFixation(), freeMemory(), freeSubSCIP(), runBenders(), SCIP_DECL_CONSLOCK(), SCIP_DECL_HEUREXEC(), SCIP_DECL_READERREAD(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPcertificateInit(), and SCIPcreateFiniteSolCopy().

◆ SCIPgetOrigVars()

SCIP_VAR ** SCIPgetOrigVars ( SCIP * scip )

gets array with original problem variables

Returns: array with original problem variables

Note

Variables in the array are grouped in following order:

binaries
integers
implied integral binaries
implied integral integers
implied integral continuous
continuous

Warning: Modifying the variable number (e.g. with SCIPaddVar() and SCIPdelVar()) or a variable type (e.g. with SCIPchgVarType() and SCIPchgVarImplType()) may invalidate or resort the data array.

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 2811 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIPcheckStage, and TRUE.

Referenced by blockCreateSubscip(), checkTrivialInfeas(), createSolFromSubScipSol(), createSubSCIP(), createSubscipIIS(), deletionFilterBatch(), fromCommandLine(), getDecompVarsConssData(), initConcsolver(), initializeSol(), maximalslack(), reoptimize(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIPapplyHeurDualval(), SCIPassignDecompLinkConss(), SCIPiisfinderInfoMessage(), SCIPiisGenerate(), SCIPprintSolutionPbSolver(), solveClassification(), and solveMinIISC().

◆ SCIPgetNOrigVars()

int SCIPgetNOrigVars ( SCIP * scip )

gets number of original problem variables

Returns: the number of original problem variables

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 2838 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIPcheckStage, and TRUE.

Referenced by blockCreateSubscip(), checkTrivialInfeas(), componentSetupWorkingSol(), constructCompression(), copyToSubscip(), createSolFromNLP(), createSolFromSubScipSol(), createSubSCIP(), createSubscipIIS(), deletionFilterBatch(), execIISfinderGreedy(), fromCommandLine(), getDecompVarsConssData(), getVarbufSize(), initConcsolver(), initializeSol(), maximalslack(), printLongStatistics(), reoptimize(), runBenders(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTINIT(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEURINIT(), SCIPcreateConsIndicatorGeneric(), SCIPcreateConsIndicatorGenericLinConsPure(), SCIPiisfinderInfoMessage(), SCIPiisGenerate(), SCIPiisGreedyMakeIrreducible(), SCIPprintSolutionPbSolver(), SCIPreoptFree(), solveClassification(), solveCoveringProblem(), and solveMinIISC().

◆ SCIPgetNOrigBinVars()

int SCIPgetNOrigBinVars ( SCIP * scip )

gets number of binary variables in the original problem

Returns: the number of binary variables in the original problem

Note: This function does not count binary variables which are implied integral.

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 2867 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIPcheckStage, and TRUE.

Referenced by blockCreateSubscip(), solveClassification(), and solveMinIISC().

◆ SCIPgetNOrigIntVars()

int SCIPgetNOrigIntVars ( SCIP * scip )

gets the number of integer variables in the original problem

Returns: the number of integer variables in the original problem

Note: This function does not count integer variables which are implied integral.

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 2896 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIPcheckStage, and TRUE.

Referenced by blockCreateSubscip(), solveClassification(), and solveMinIISC().

◆ SCIPgetNOrigImplVars()

int SCIPgetNOrigImplVars ( SCIP * scip )

gets number of implied integral variables in the original problem

Returns: the number of implied integral variables in the original problem

Note: This function counts binary, integer, and continuous variables which are implied integral.

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 2925 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIPcheckStage, SCIPprobGetNImplVars(), and TRUE.

◆ SCIPgetNOrigBinImplVars()

int SCIPgetNOrigBinImplVars ( SCIP * scip )

gets number of binary implied integral variables in the original problem

Returns: the number of binary implied integral variables in the original problem

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 2952 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIPcheckStage, and TRUE.

◆ SCIPgetNOrigIntImplVars()

int SCIPgetNOrigIntImplVars ( SCIP * scip )

gets number of integer implied integral variables in the original problem

Returns: the number of integer implied integral variables in the original problem

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 2979 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIPcheckStage, and TRUE.

◆ SCIPgetNOrigContImplVars()

int SCIPgetNOrigContImplVars ( SCIP * scip )

gets number of continuous implied integral variables in the original problem

Returns: the number of continuous implied integral variables in the original problem

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 3006 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIPcheckStage, and TRUE.

◆ SCIPgetNOrigContVars()

int SCIPgetNOrigContVars ( SCIP * scip )

gets number of continuous variables in the original problem

Returns: the number of continuous variables in the original problem

Note: This function does not count continuous variables which are implied integral.

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 3035 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIPcheckStage, and TRUE.

◆ SCIPgetNTotalVars()

int SCIPgetNTotalVars ( SCIP * scip )

gets number of all problem variables created during creation and solving of problem; this includes also variables that were deleted in the meantime

Returns: the number of all problem variables created during creation and solving of problem; this includes also variables that were deleted in the meantime

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 3064 of file scip_prob.c.

References FALSE, NULL, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_FREETRANS, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIPABORT, SCIPcheckStage, SCIPerrorMessage, and TRUE.

Referenced by addVarCardinality(), appendVarCardinality(), getFactorizedBinaryQuadraticExpr(), initConflictgraph(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSTRANS(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXITPRE(), SCIP_DECL_PROPPRESOL(), SCIPcreateConsCardinality(), SCIPisPackingPartitioningOrbitope(), SCIPvarGetActiveRepresentatives(), SCIPwriteLp(), and SCIPwritePip().

◆ SCIPgetSolVarsData()

SCIP_RETCODE SCIPgetSolVarsData	(	SCIP *	scip,
		SCIP_SOL *	sol,
		SCIP_VAR ***	vars,
		int *	nvars,
		int *	nbinvars,
		int *	nintvars,
		int *	nbinimplvars,
		int *	nintimplvars,
		int *	ncontimplvars,
		int *	ncontvars
	)

gets variables of the original or transformed problem along with the numbers of different variable types; the returned problem space (original or transformed) corresponds to the given solution; data may become invalid after calls to SCIPchgVarType(), SCIPfixVar(), SCIPaggregateVars(), and SCIPmultiaggregateVar()

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure
sol	primal solution that selects the problem space, NULL for current solution
vars	pointer to store variables array or NULL if not needed
nvars	pointer to store number of variables or NULL if not needed
nbinvars	pointer to store number of binary variables or NULL if not needed
nintvars	pointer to store number of integer variables or NULL if not needed
nbinimplvars	pointer to store number of binary implied integral vars or NULL if not needed
nintimplvars	pointer to store number of integer implied integral vars or NULL if not needed
ncontimplvars	pointer to store number of continuous implied integral vars or NULL if not needed
ncontvars	pointer to store number of continuous variables or NULL if not needed

Definition at line 3114 of file scip_prob.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_PROBLEM, SCIPcheckStage, SCIPsolIsOriginal(), and TRUE.

Referenced by checkIntegralityExact(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSGETDIVEBDCHGS(), and solCreateSolAssignment().

◆ SCIPfindVar()

SCIP_VAR * SCIPfindVar	(	SCIP *	scip,
		const char *	name
	)

returns variable of given name in the problem, or NULL if not existing

Returns: variable of given name in the problem, or NULL if not existing

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure
name	name of variable to find

Definition at line 3189 of file scip_prob.c.

References FALSE, NULL, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_FREETRANS, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIPABORT, SCIPcheckStage, SCIPerrorMessage, SCIPprobFindVar(), and TRUE.

Referenced by addScenarioVarsAndConsToProb(), addVariableToStage(), constructCompression(), createVariableMappings(), findAuxiliaryVar(), findScenarioVar(), getScenarioDecompVar(), getVariable(), getVariableOrTerm(), initCurrent(), readBounds(), readBoundsExact(), readCols(), readColsExact(), readIndicators(), readQCMatrix(), readQMatrix(), readSol(), readSolFile(), readSOS(), readSos(), readXmlSolFile(), reoptimize(), SCIP_DECL_CONSPARSE(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), and SCIPparseVarName().

◆ 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

scip	SCIP data structure

Definition at line 3247 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIPcheckStage, 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:

Parameters

scip	SCIP data structure
cons	constraint to add

Definition at line 3274 of file scip_prob.c.

References FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_INVALIDCALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPcheckStage, SCIPconsGetHdlr(), SCIPconshdlrIsExact(), SCIPconsIsGlobal(), SCIPconsSetLocal(), SCIPerrorMessage, SCIPisExact(), SCIPnodeAddCons(), SCIPprobAddCons(), SCIPreoptAddCons(), SCIPtreeGetCurrentDepth(), SCIPtreeGetCurrentNode(), SCIPtreeGetEffectiveRootDepth(), and TRUE.

Referenced by addAuxiliaryVariablesToMaster(), addBranchingDecisionConss(), addCliques(), addConstraintToBendersProblem(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addExtraCliques(), addFixedVarsConss(), additionFilterBatch(), addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addLowerboundCons(), addOrbitopesDynamic(), addOrbitopeSubgroup(), addScenarioConsToProb(), addSSTConssOrbitAndUpdateSST(), addStrongSBCsSubgroup(), addSymresackConss(), addTrustRegionConstraints(), addUseConstraint(), addWeakSBCsSubgroup(), adjustOversizedJobBounds(), aggregation(), applyFixings(), applyObbtBilinear(), applyRepair(), BENDERS_CUTORACLE(), bucketCreateSubscip(), cancelRow(), cliquePresolve(), COLORprobSetUpArrayOfCons(), componentPackingPartitioningOrbisackUpgrade(), consdataCollectLinkingCons(), consdataLinearize(), copyCuts(), copyToSubscip(), CREATE_CONSTRAINT(), createAndAddAndCons(), createAndAddLinearCons(), createAndAddTransferredCut(), createAndApplyStoredBendersCut(), createBlockproblem(), createBounddisjunctionCons(), createCapacityRestriction(), createCipFormulation(), createConflict(), createConflictCons(), createConsCumulative(), createConstraint(), createConstraints(), createCoveringProblem(), createCumulativeCons(), createIndicatorConstraint(), createIntervalRelaxation(), createKKTComplementarityBinary(), createKKTComplementarityBounds(), createKKTComplementarityLinear(), createLinearCons(), createMasterproblem(), createMIP(), createMipCpFormulation(), createMipFormulation(), createOriginalproblem(), createPrecedenceCons(), createProbOnlyEdge(), createProbQP(), createProbSimplified(), createProbSimplifiedTest(), createQuadraticCons(), createRow(), createRows(), createSetPackingCons(), createSubproblem(), createSubproblems(), createSubscip(), createSubSCIP(), createVarboundCons(), createVarUbs(), CUTOFF_CONSTRAINT(), deleteRedundantVars(), detectAndHandleSubgroups(), detectRedundantVars(), dualPresolve(), AMPLProblemHandler::EndInput(), execmain(), extendToCover(), extensionOperatorSOS1(), extractGates(), findAggregation(), fixDeleteOrUpgradeCons(), forbidCover(), forbidFixation(), generateAndApplyBendersCuts(), generateAndApplyBendersIntegerCuts(), generateAndApplyBendersNogoodCut(), getBinaryProductExprDo(), getConstraint(), getFixedVariable(), handleDoubleLexOrbitope(), handleOrbitope(), initPricing(), main(), AMPLProblemHandler::OnBinaryLogical(), AMPLProblemHandler::OnLogicalCon(), AMPLProblemHandler::OnRelational(), performImplicationGraphAnalysis(), preprocessConstraintPairs(), presolRoundCardinality(), presolveSingleLockedVars(), presolveUpgrade(), processNlRow(), processRealBoundChg(), propIndicator(), scipexamples::QueensSolver::QueensSolver(), readBounds(), readCnf(), readConstraints(), readConstraintsRational(), readIndicators(), readLIBSVM(), readObjective(), readOPBFile(), readQCMatrix(), readQMatrix(), readRows(), readRowsExact(), readSemicontinuous(), readSOS(), readSos(), readSOScons(), readVariables(), reformulateFactorizedBinaryQuadratic(), revertConssDeletions(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_READERREAD(), SCIPaddConflict(), SCIPaddConsUpgrade(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPapplyProximity(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPcreateConsIndicatorGeneric(), SCIPcreateSchedulingProblem(), SCIPgenerateAndApplyBendersOptCut(), SCIPgetVarCopy(), SCIPprobdataCreate(), SCIPreoptApplyGlbConss(), SCIPtransformMinUC(), SCIPverifyCircularPatternNLP(), setObjective(), setupAndSolveCumulativeSubscip(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscip(), setupProblem(), setupSubproblem(), setupSubScip(), solvePricingMINLP(), tightenWeights(), tryAddOrbitalRedLexRed(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

◆ SCIPaddConsUpgrade()

SCIP_RETCODE SCIPaddConsUpgrade	(	SCIP *	scip,
		SCIP_CONS *	oldcons,
		SCIP_CONS **	newcons
	)

adds constraint to the problem and upgrades conflict in the conflict store; if oldcons is valid globally, newcons is added to the global problem; otherwise it is added to the local subproblem of the current node

Note: must only be called once for both constraints

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 will release the upgraded constraint

Parameters

scip	SCIP data structure
oldcons	underlying constraint to upgrade
newcons	upgraded constraint to add

Definition at line 3368 of file scip_prob.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPaddCons(), SCIPaddConsLocal(), SCIPconflictstoreUpgradeConflict(), SCIPconsGetActiveDepth(), SCIPconsGetNUpgradeLocks(), SCIPconsGetValidDepth(), SCIPconsIsConflict(), SCIPconsIsGlobal(), and SCIPreleaseCons().

Referenced by aggregateConstraints(), cliquePresolve(), consdataLinearize(), dualWeightsTightening(), fixDeleteOrUpgradeCons(), presolRoundConsSOS1(), removeConstraintsDueToNegCliques(), SCIP_DECL_CONSPRESOL(), upgradeCons(), and upgradeConss().

◆ SCIPdelCons()

SCIP_RETCODE SCIPdelCons	(	SCIP *	scip,
		SCIP_CONS *	cons
	)

globally removes constraint from all subproblems; removes constraint from the constraint set change data of the node, where it was added, or from the problem, if it was a problem constraint

Returns: SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure
cons	constraint to delete

Definition at line 3420 of file scip_prob.c.

References SCIP_Cons::addconssetchg, FALSE, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPcheckStage, SCIPconsDelete(), SCIPconsIsAdded(), SCIPerrorMessage, and TRUE.

Referenced by additionFilterBatch(), aggregateConstraints(), applyFixings(), cancelRow(), canonicalizeConstraints(), checkForOverlapping(), checkTrivialInfeas(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), convertBinaryEquality(), convertLongEquality(), convertUnaryEquality(), correctConshdlrdata(), createSubSCIP(), createVarUbs(), deleteTrivilCons(), deletionSubproblem(), detectRedundantConstraints(), detectRedundantVars(), disableCons(), dualPresolve(), dualPresolving(), dualWeightsTightening(), executeStrongBranching(), extractGates(), findAggregation(), fixDeleteOrUpgradeCons(), liftCliqueVariables(), mergeMultiples(), prepareCons(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundConssSOS1(), presolRoundIndicator(), presolRoundSOS2(), presolveAddKKTKnapsackConss(), presolveAddKKTLinearConss(), presolveAddKKTLogicorConss(), presolveAddKKTSetppcConss(), presolveAddKKTVarboundConss(), presolveMergeConss(), presolvePropagateCons(), presolveUpgrade(), propagateCons(), readQCMatrix(), removeConstraintsDueToNegCliques(), removeCoreVariablesAndConstraints(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeRedundantCons(), removeRedundantConss(), removeRedundantNonZeros(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_PRESOLEXEC(), SCIPcleanupConssKnapsack(), SCIPcleanupConssLinear(), SCIPcleanupConssLogicor(), SCIPiisGenerate(), 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:

Parameters

scip	SCIP data structure
name	name of constraint to find

Definition at line 3476 of file scip_prob.c.

References FALSE, NULL, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_FREETRANS, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIPABORT, SCIPcheckStage, SCIPerrorMessage, SCIPprobFindCons(), and TRUE.

Referenced by SCIP_DECL_CONSPRESOL().

◆ SCIPfindCons()

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

returns constraint of given name in the problem, or NULL if not existing

Returns: constraint of given name in the problem, or NULL if not existing

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure
name	name of constraint to find

Definition at line 3525 of file scip_prob.c.

References FALSE, NULL, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_FREETRANS, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIPABORT, SCIPcheckStage, SCIPerrorMessage, SCIPprobFindCons(), and TRUE.

Referenced by addConstraintToStage(), addScenarioVarsAndConsToProb(), readCols(), readColsExact(), readDecomposition(), readIndicators(), readQCMatrix(), readRanges(), readRangesExact(), readRhs(), readRhsExact(), readRows(), readRowsExact(), SCIP_DECL_CONSPARSE(), and writeOpbObjective().

◆ SCIPgetNUpgrConss()

int SCIPgetNUpgrConss ( SCIP * scip )

gets number of upgraded constraints

Returns: number of upgraded constraints

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 3578 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage, SCIPerrorMessage, and TRUE.

◆ SCIPgetNConss()

int SCIPgetNConss ( SCIP * scip )

gets total number of globally valid constraints currently in the problem

Returns: total number of globally valid constraints currently in the problem

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 3620 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage, SCIPerrorMessage, and TRUE.

Referenced by applyDecomposition(), bucketCreateSubscip(), checkConsQuadraticProblem(), checkProbHasContEqs(), checkSymmetriesAreSymmetries(), checkTrivialInfeas(), computeSymmetryGroup(), copyProb(), copyVars(), createAltLP(), createSubSCIP(), detectAndHandleSubgroups(), doCopy(), estimateSymgraphSize(), fillVariableGraph(), findComponents(), getDecompVarsConssData(), getOriginalRows(), matrixCreate(), presolve(), printLongStatistics(), readCoefficients(), readDecomposition(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPapplyLockFixings(), SCIPapplyUndercover(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcertificateInit(), SCIPcertificateInitTransFile(), SCIPclassifyConstraintTypesLinear(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPgetConsCopy(), SCIPgetVarCopy(), SCIPmatrixCreate(), SCIPtransformDecompstore(), 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

scip	SCIP data structure

Definition at line 3666 of file scip_prob.c.

References FALSE, NULL, SCIP_CALL_ABORT, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIPABORT, SCIPcheckStage, SCIPerrorMessage, and TRUE.

Referenced by applyDecomposition(), bucketCreateSubscip(), checkProbHasContEqs(), checkSymmetriesAreSymmetries(), checkTrivialInfeas(), computeSymmetryGroup(), createAltLP(), estimateSymgraphSize(), fillVariableGraph(), findComponents(), getDecompVarsConssData(), getOriginalRows(), readDecomposition(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_RELAXEXEC(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcertificateInitTransFile(), SCIPclassifyConstraintTypesLinear(), SCIPtransformDecompstore(), and SCIPtransformMinUC().

◆ SCIPgetNOrigConss()

int SCIPgetNOrigConss ( SCIP * scip )

gets total number of constraints in the original problem

Returns: total number of constraints in the original problem

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 3712 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIPcheckStage, and TRUE.

Referenced by additionFilterBatch(), addSlackVarsToConstraints(), checkSubproblemConvexity(), computeAndConstraintInfos(), createSubSCIP(), createSubscipIIS(), deletionFilterBatch(), execIISfinderGreedy(), getDecompVarsConssData(), printLongStatistics(), runBenders(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXIT(), SCIP_DECL_HEURINIT(), SCIP_DECL_READERREAD(), SCIPapplyHeurDualval(), SCIPcertificateInit(), SCIPcopyOrigConss(), SCIPiisfinderInfoMessage(), SCIPiisGenerate(), and SCIPiisGreedyMakeIrreducible().

◆ 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

scip	SCIP data structure

Definition at line 3739 of file scip_prob.c.

References FALSE, SCIP_CALL_ABORT, SCIPcheckStage, and TRUE.

Referenced by additionFilterBatch(), addSlackVarsToConstraints(), checkSubproblemConvexity(), computeAndConstraintInfos(), createSubSCIP(), deletionFilterBatch(), getDecompVarsConssData(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXIT(), SCIPapplyHeurDualval(), SCIPcertificateInit(), SCIPcopyOrigConss(), and SCIPiisGenerate().

◆ SCIPgetNCheckConss()

int SCIPgetNCheckConss ( SCIP * scip )

computes the number of check constraint in the current node (loop over all constraint handler and cumulates the number of check constraints)

Returns: returns the number of check constraints

Precondition

This method can be called if scip is in one of the following stages:

Parameters

scip	SCIP data structure

Definition at line 3762 of file scip_prob.c.

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

Referenced by fromCommandLine(), SCIPapplyLockFixings(), and solveIndependentCons().

SCIP

Detailed Description

Functions

Function Documentation

◆ SCIPcreateProb()

◆ SCIPcreateProbBasic()

◆ SCIPsetProbDelorig()

◆ SCIPsetProbTrans()

◆ SCIPsetProbDeltrans()

◆ SCIPsetProbInitsol()

◆ SCIPsetProbExitsol()

◆ SCIPsetProbCopy()

◆ SCIPreadProb()

◆ SCIPprintOrigProblem()

◆ SCIPprintTransProblem()

◆ SCIPwriteOrigProblem()

◆ SCIPwriteTransProblem()

◆ SCIPfreeProb()

◆ SCIPpermuteProb()

◆ SCIPgetProbData()

◆ SCIPsetProbData()

◆ SCIPgetProbName()

◆ SCIPsetProbName()

◆ SCIPchgReoptObjective()

◆ SCIPgetObjsense()

◆ SCIPsetObjsense()

◆ SCIPaddObjoffset()

◆ SCIPaddOrigObjoffsetExact()

◆ SCIPaddOrigObjoffset()

◆ SCIPgetOrigObjoffset()

◆ SCIPgetOrigObjoffsetExact()

◆ SCIPgetOrigObjscale()

◆ SCIPgetTransObjoffset()

◆ SCIPgetTransObjscale()

◆ SCIPsetObjlimit()

◆ SCIPgetObjlimit()

◆ SCIPsetObjIntegral()

◆ SCIPisObjIntegral()

◆ SCIPgetObjNorm()

◆ SCIPaddVar()

◆ SCIPaddPricedVar()

◆ SCIPdelVar()

◆ SCIPgetVarsData()

◆ SCIPgetVars()

◆ SCIPgetNVars()

◆ SCIPgetNBinVars()

◆ SCIPgetNIntVars()

◆ SCIPgetNImplVars()

◆ SCIPgetNBinImplVars()

◆ SCIPgetNIntImplVars()

◆ SCIPgetNContImplVars()

◆ SCIPgetNContVars()

◆ SCIPgetNObjVars()

◆ SCIPgetFixedVars()

◆ SCIPgetNFixedVars()

◆ SCIPgetOrigVarsData()

◆ SCIPgetOrigVars()

◆ SCIPgetNOrigVars()

◆ SCIPgetNOrigBinVars()

◆ SCIPgetNOrigIntVars()

◆ SCIPgetNOrigImplVars()

◆ SCIPgetNOrigBinImplVars()

◆ SCIPgetNOrigIntImplVars()

◆ SCIPgetNOrigContImplVars()

◆ SCIPgetNOrigContVars()

◆ SCIPgetNTotalVars()

◆ SCIPgetSolVarsData()

◆ SCIPfindVar()

◆ SCIPallVarsInProb()

◆ SCIPaddCons()

◆ SCIPaddConsUpgrade()

◆ SCIPdelCons()

◆ SCIPfindOrigCons()

◆ SCIPfindCons()

◆ SCIPgetNUpgrConss()

◆ SCIPgetNConss()

◆ SCIPgetConss()

◆ SCIPgetNOrigConss()

◆ SCIPgetOrigConss()

◆ SCIPgetNCheckConss()