Detailed Description

methods for reoptimization related tasks

Functions
SCIP_RETCODE	SCIPgetReoptChildIDs (SCIP scip, SCIP_NODE node, unsigned int ids, int mem, int nids)

SCIP_RETCODE	SCIPgetReoptLeaveIDs (SCIP scip, SCIP_NODE node, unsigned int ids, int mem, int nids)

int	SCIPgetNReoptnodes (SCIP scip, SCIP_NODE node)

int	SCIPgetNReoptLeaves (SCIP scip, SCIP_NODE node)

SCIP_REOPTNODE *	SCIPgetReoptnode (SCIP *scip, unsigned int id)

SCIP_RETCODE	SCIPaddReoptnodeBndchg (SCIP scip, SCIP_REOPTNODE reoptnode, SCIP_VAR *var, SCIP_Real bound, SCIP_BOUNDTYPE boundtype)

SCIP_RETCODE	SCIPsetReoptCompression (SCIP scip, SCIP_REOPTNODE representation, int nrepresentatives, SCIP_Bool success)

SCIP_RETCODE	SCIPaddReoptnodeCons (SCIP scip, SCIP_REOPTNODE reoptnode, SCIP_VAR *vars, SCIP_Real vals, SCIP_BOUNDTYPE *boundtypes, SCIP_Real lhs, SCIP_Real rhs, int nvars, REOPT_CONSTYPE constype, SCIP_Bool linear)

void	SCIPgetReoptnodePath (SCIP scip, SCIP_REOPTNODE reoptnode, SCIP_VAR *vars, SCIP_Real vals, SCIP_BOUNDTYPE boundtypes, int mem, int nvars, int *nafterdualvars)

SCIP_RETCODE	SCIPinitRepresentation (SCIP scip, SCIP_REOPTNODE *representatives, int nrepresentatives)

SCIP_RETCODE	SCIPresetRepresentation (SCIP scip, SCIP_REOPTNODE *representatives, int nrepresentatives)

SCIP_RETCODE	SCIPfreeRepresentation (SCIP scip, SCIP_REOPTNODE *representatives, int nrepresentatives)

SCIP_RETCODE	SCIPapplyReopt (SCIP scip, SCIP_REOPTNODE reoptnode, unsigned int id, SCIP_Real estimate, SCIP_NODE *childnodes, int ncreatedchilds, int naddedconss, int childnodessize, SCIP_Bool success)

SCIP_RETCODE	SCIPresetReoptnodeDualcons (SCIP scip, SCIP_NODE node)

SCIP_RETCODE	SCIPsplitReoptRoot (SCIP scip, int ncreatedchilds, int *naddedconss)

SCIP_Bool	SCIPreoptimizeNode (SCIP scip, SCIP_NODE node)

SCIP_RETCODE	SCIPdeleteReoptnode (SCIP scip, SCIP_REOPTNODE *reoptnode)

SCIP_Real	SCIPgetReoptSimilarity (SCIP *scip, int run1, int run2)

void	SCIPgetVarCoefChg (SCIP scip, int varidx, SCIP_Bool negated, SCIP_Bool entering, SCIP_Bool leaving)

SCIP_RETCODE	SCIPfreeReoptSolve (SCIP *scip)

SCIP_RETCODE	SCIPenableReoptimization (SCIP *scip, SCIP_Bool enable)

SCIP_Bool	SCIPisReoptEnabled (SCIP *scip)

SCIP_RETCODE	SCIPgetReoptSolsRun (SCIP scip, int run, SCIP_SOL sols, int allocmem, int nsols)

void	SCIPresetReoptSolMarks (SCIP *scip)

SCIP_RETCODE	SCIPcheckReoptRestart (SCIP scip, SCIP_NODE node, SCIP_Bool *restart)

SCIP_RETCODE	SCIPaddReoptDualBndchg (SCIP scip, SCIP_NODE node, SCIP_VAR *var, SCIP_Real newbound, SCIP_Real oldbound)

SCIP_SOL *	SCIPgetReoptLastOptSol (SCIP *scip)

SCIP_RETCODE	SCIPgetReoptOldObjCoef (SCIP scip, SCIP_VAR var, int run, SCIP_Real *objcoef)

Function Documentation

◆ SCIPgetReoptChildIDs()

SCIP_RETCODE SCIPgetReoptChildIDs	(	SCIP *	scip,
		SCIP_NODE *	node,
		unsigned int *	ids,
		int	idssize,
		int *	nids
	)

return the ids of child nodes stored in the reoptimization tree

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
node	node of the search tree
ids	array of ids
idssize	allocated memory
nids	number of child nodes

Definition at line 69 of file scip_reopt.c.

References FALSE, Scip::mem, NULL, SCIP_Mem::probmem, Scip::reopt, SCIP_Set::reopt_enable, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPreoptGetChildIDs(), Scip::set, and TRUE.

Referenced by Exec().

◆ SCIPgetReoptLeaveIDs()

SCIP_RETCODE SCIPgetReoptLeaveIDs	(	SCIP *	scip,
		SCIP_NODE *	node,
		unsigned int *	ids,
		int	idssize,
		int *	nids
	)

return the ids of all leave nodes store in the reoptimization tree induced by the given node

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
node	node of the search tree
ids	array of ids
idssize	size of ids array
nids	number of child nodes

Definition at line 101 of file scip_reopt.c.

References FALSE, NULL, Scip::reopt, SCIP_Set::reopt_enable, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPreoptGetLeaves(), Scip::set, and TRUE.

Referenced by constructCompression().

◆ SCIPgetNReoptnodes()

int SCIPgetNReoptnodes	(	SCIP *	scip,
		SCIP_NODE *	node
	)

returns the number of nodes in the reoptimization tree induced by node; if node == NULL, the method returns the number of nodes of the whole reoptimization tree.

returns the number of nodes in the reoptimization tree induced by node; if node == NULL the method returns the number of nodes of the whole reoptimization tree.

Parameters

scip	SCIP data structure
node	node of the search tree

Definition at line 126 of file scip_reopt.c.

References NULL, Scip::reopt, SCIP_Set::reopt_enable, SCIPreoptGetNNodes(), and Scip::set.

◆ SCIPgetNReoptLeaves()

int SCIPgetNReoptLeaves	(	SCIP *	scip,
		SCIP_NODE *	node
	)

returns the number of leave nodes of the subtree induced by node; if node == NULL, the method returns the number of leaf nodes of the whole reoptimization tree.

returns the number of leaf nodes of the subtree induced by node; if node == NULL, the method returns the number of leaf nodes of the whole reoptimization tree.

Parameters

scip	SCIP data structure
node	node of the search tree

Definition at line 141 of file scip_reopt.c.

References NULL, Scip::reopt, SCIP_Set::reopt_enable, SCIPreoptGetNLeaves(), and Scip::set.

Referenced by constructCompression().

◆ SCIPgetReoptnode()

SCIP_REOPTNODE* SCIPgetReoptnode	(	SCIP *	scip,
		unsigned int	id
	)

gets the node of the reoptimization tree corresponding to the unique id

Parameters

scip	SCIP data structure
id	unique id

Definition at line 154 of file scip_reopt.c.

References NULL, Scip::reopt, SCIP_Set::reopt_enable, SCIPreoptGetReoptnode(), and Scip::set.

Referenced by constructCompression(), Exec(), SCIPreoptimizeNode(), and sortIDs().

◆ SCIPaddReoptnodeBndchg()

SCIP_RETCODE SCIPaddReoptnodeBndchg	(	SCIP *	scip,
		SCIP_REOPTNODE *	reoptnode,
		SCIP_VAR *	var,
		SCIP_Real	bound,
		SCIP_BOUNDTYPE	boundtype
	)

add a variable bound change to a given reoptnode

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
reoptnode	node of the reoptimization tree
var	variable pointer
bound	variable bound to add
boundtype	bound type of the variable value

Definition at line 176 of file scip_reopt.c.

References FALSE, Scip::mem, NULL, SCIP_Mem::probmem, Scip::reopt, SCIP_Set::reopt_enable, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPreoptnodeAddBndchg(), Scip::set, and TRUE.

Referenced by constructCompression().

◆ SCIPsetReoptCompression()

SCIP_RETCODE SCIPsetReoptCompression	(	SCIP *	scip,
		SCIP_REOPTNODE **	representation,
		int	nrepresentatives,
		SCIP_Bool *	success
	)

set the representation as the new search frontier

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_PRESOLVED

Parameters

scip	SCIP data structure
representation	array of representatives
nrepresentatives	number of representatives
success	pointer to store the result

Definition at line 204 of file scip_reopt.c.

References FALSE, Scip::mem, NULL, SCIP_Mem::probmem, Scip::reopt, SCIP_Set::reopt_enable, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPreoptApplyCompression(), Scip::set, and TRUE.

Referenced by applyCompression().

◆ SCIPaddReoptnodeCons()

SCIP_RETCODE SCIPaddReoptnodeCons	(	SCIP *	scip,
		SCIP_REOPTNODE *	reoptnode,
		SCIP_VAR **	vars,
		SCIP_Real *	vals,
		SCIP_BOUNDTYPE *	boundtypes,
		SCIP_Real	lhs,
		SCIP_Real	rhs,
		int	nvars,
		REOPT_CONSTYPE	constype,
		SCIP_Bool	linear
	)

add stored constraint to a reoptimization node

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_PRESOLVED

Parameters

scip	SCIP data structure
reoptnode	node of the reoptimization tree
vars	array of variables
vals	array of variable bounds
boundtypes	array of variable boundtypes
lhs	lhs of the constraint
rhs	rhs of the constraint
nvars	number of variables
constype	type of the constraint
linear	the given constraint has a linear representation

Definition at line 232 of file scip_reopt.c.

References FALSE, Scip::mem, NULL, SCIP_Mem::probmem, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPreoptnodeAddCons(), Scip::set, and TRUE.

Referenced by constructCompression().

◆ SCIPgetReoptnodePath()

void SCIPgetReoptnodePath	(	SCIP *	scip,
		SCIP_REOPTNODE *	reoptnode,
		SCIP_VAR **	vars,
		SCIP_Real *	vals,
		SCIP_BOUNDTYPE *	boundtypes,
		int	mem,
		int *	nvars,
		int *	nafterdualvars
	)

return the branching path stored in the reoptree at ID id

Parameters

scip	SCIP data structure
reoptnode	node of the reoptimization tree
vars	array of variables
vals	array of variable bounds
boundtypes	array of bound types
mem	allocated memory
nvars	number of variables
nafterdualvars	number of variables directly after the first based on dual information

Definition at line 260 of file scip_reopt.c.

References NULL, Scip::reopt, SCIP_Set::reopt_enable, SCIPreoptnodeGetPath(), and Scip::set.

Referenced by constructCompression().

◆ SCIPinitRepresentation()

SCIP_RETCODE SCIPinitRepresentation	(	SCIP *	scip,
		SCIP_REOPTNODE **	representatives,
		int	nrepresentatives
	)

initialize a set of empty reoptimization nodes

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_PRESOLVED

Parameters

scip	SCIP data structure
representatives	array of representatives
nrepresentatives	number of representatives

Definition at line 289 of file scip_reopt.c.

References FALSE, NULL, r, SCIP_CALL, SCIP_OKAY, SCIPallocBlockMemory, SCIPcheckStage(), SCIPreoptnodeInit(), Scip::set, and TRUE.

Referenced by constructCompression(), and SCIP_DECL_COMPREXEC().

◆ SCIPresetRepresentation()

SCIP_RETCODE SCIPresetRepresentation	(	SCIP *	scip,
		SCIP_REOPTNODE **	representatives,
		int	nrepresentatives
	)

reset a set of initialized reoptimization nodes

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_PRESOLVED

Parameters

scip	SCIP data structure
representatives	array of representatives
nrepresentatives	number of representatives

Definition at line 319 of file scip_reopt.c.

References FALSE, Scip::mem, NULL, SCIP_Mem::probmem, r, Scip::reopt, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPreoptnodeReset(), Scip::set, and TRUE.

Referenced by constructCompression().

◆ SCIPfreeRepresentation()

SCIP_RETCODE SCIPfreeRepresentation	(	SCIP *	scip,
		SCIP_REOPTNODE **	representatives,
		int	nrepresentatives
	)

free a set of initialized reoptimization nodes

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_PRESOLVED

Parameters

scip	SCIP data structure
representatives	array of representatives
nrepresentatives	number of representatives

Definition at line 348 of file scip_reopt.c.

References FALSE, Scip::mem, NULL, SCIP_Mem::probmem, r, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPreoptnodeDelete(), and TRUE.

Referenced by applyCompression(), constructCompression(), and SCIP_DECL_COMPREXEC().

◆ SCIPapplyReopt()

SCIP_RETCODE SCIPapplyReopt	(	SCIP *	scip,
		SCIP_REOPTNODE *	reoptnode,
		unsigned int	id,
		SCIP_Real	estimate,
		SCIP_NODE **	childnodes,
		int *	ncreatedchilds,
		int *	naddedconss,
		int	childnodessize,
		SCIP_Bool *	success
	)

reactivate the given reoptnode and split them into several nodes if necessary

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
reoptnode	node to reactivate
id	unique id of the reoptimization node
estimate	estimate of the child nodes that should be created
childnodes	array to store the created child nodes
ncreatedchilds	pointer to store number of created child nodes
naddedconss	pointer to store number of generated constraints
childnodessize	available size of childnodes array
success	pointer store the result

Definition at line 382 of file scip_reopt.c.

References Scip::branchcand, Scip::cliquetable, Scip::eventqueue, FALSE, Scip::lp, Scip::mem, NULL, Scip::origprob, SCIP_Mem::probmem, Scip::reopt, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPreoptApply(), Scip::set, Scip::stat, Scip::transprob, Scip::tree, and TRUE.

Referenced by Exec().

◆ SCIPresetReoptnodeDualcons()

SCIP_RETCODE SCIPresetReoptnodeDualcons	(	SCIP *	scip,
		SCIP_NODE *	node
	)

remove the stored information about bound changes based in dual information

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
node	node of the search tree

Definition at line 516 of file scip_reopt.c.

References FALSE, Scip::mem, NULL, SCIP_Mem::probmem, Scip::reopt, SCIP_Set::reopt_enable, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPreoptResetDualBndchgs(), Scip::set, and TRUE.

◆ SCIPsplitReoptRoot()

SCIP_RETCODE SCIPsplitReoptRoot	(	SCIP *	scip,
		int *	ncreatedchilds,
		int *	naddedconss
	)

splits the root into several nodes and moves the child nodes of the root to one of the created nodes

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:

splits the root into several nodes and moves the child nodes of the root to one of the created nodes

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_SOLVING

Parameters

scip	SCIP data structure
ncreatedchilds	pointer to store the number of created nodes
naddedconss	pointer to store the number added constraints

Definition at line 489 of file scip_reopt.c.

References FALSE, Scip::mem, NULL, SCIP_Mem::probmem, Scip::reopt, SCIP_Set::reopt_enable, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPreoptSplitRoot(), Scip::set, Scip::stat, Scip::tree, and TRUE.

Referenced by Exec().

◆ SCIPreoptimizeNode()

SCIP_Bool SCIPreoptimizeNode	(	SCIP *	scip,
		SCIP_NODE *	node
	)

returns if a node should be reoptimized

Parameters

scip	SCIP data structure
node	node of the search tree

Definition at line 424 of file scip_reopt.c.

References FALSE, NULL, Scip::reopt, SCIP_Set::reopt_enable, SCIPgetReoptnode(), SCIPgetRootNode(), SCIPnodeGetReoptID(), SCIPreoptnodeGetNChildren(), and Scip::set.

Referenced by SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), and SCIP_DECL_BRANCHEXECPS().

◆ SCIPdeleteReoptnode()

SCIP_RETCODE SCIPdeleteReoptnode	(	SCIP *	scip,
		SCIP_REOPTNODE **	reoptnode
	)

deletes the given reoptimization node

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_SOLVING

deletes the given reoptimization node

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
reoptnode	node of the reoptimization tree

Definition at line 464 of file scip_reopt.c.

References FALSE, Scip::mem, NULL, SCIP_Mem::probmem, Scip::reopt, SCIP_Set::reopt_enable, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPreoptnodeDelete(), Scip::set, and TRUE.

Referenced by SCIP_DECL_COMPREXIT().

◆ SCIPgetReoptSimilarity()

SCIP_Real SCIPgetReoptSimilarity	(	SCIP *	scip,
		int	run1,
		int	run2
	)

return the similarity between two objective functions

Parameters

scip	SCIP data structure
run1	number of run
run2	number of run

Definition at line 407 of file scip_reopt.c.

References SCIP_Stat::nreoptruns, NULL, SCIP_Prob::nvars, Scip::origprob, Scip::reopt, SCIPreoptGetSimilarity(), SCIPreoptGetSimToPrevious(), Scip::set, Scip::stat, and SCIP_Prob::vars.

Referenced by SCIP_DECL_BRANCHEXECLP(), and SCIP_DECL_HEUREXEC().

◆ SCIPgetVarCoefChg()

void SCIPgetVarCoefChg	(	SCIP *	scip,
		int	varidx,
		SCIP_Bool *	negated,
		SCIP_Bool *	entering,
		SCIP_Bool *	leaving
	)

check the changes of the variable coefficient in the objective function

Parameters

scip	SCIP data structure
varidx	index of variable
negated	coefficient changed the sign
entering	coefficient gets non-zero coefficient
leaving	coefficient gets zero coefficient

◆ SCIPfreeReoptSolve()

SCIP_RETCODE SCIPfreeReoptSolve ( SCIP * scip )

frees branch and bound tree and all solution process data; statistics, presolving data and transformed problem is preserved

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: If this method is called in SCIP stage SCIP_STAGE_INIT or SCIP_STAGE_PROBLEM, the stage of SCIP is not changed; otherwise, the SCIP stage is changed to SCIP_STAGE_PRESOLVED.

See SCIP_STAGE for a complete list of all possible solving stages.

frees branch and bound tree and all solution process data; statistics, presolving data and transformed problem is preserved

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: If this method is called in SCIP stage SCIP_STAGE_INIT, SCIP_STAGE_TRANSFORMED or SCIP_STAGE_PROBLEM, the stage of SCIP is not changed; otherwise, the SCIP stage is changed to SCIP_STAGE_PRESOLVED.

See SCIP_STAGE for a complete list of all possible solving stages.

Parameters

scip	SCIP data structure

Definition at line 3404 of file scip_solve.c.

References exitPresolve(), FALSE, freeReoptSolve(), SCIP_Bool, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STAGE_INIT, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STATUS_INFEASIBLE, SCIP_STATUS_INFORUNBD, SCIP_STATUS_OPTIMAL, SCIP_STATUS_UNBOUNDED, SCIPcheckStage(), SCIPerrorMessage, Scip::set, SCIP_Set::stage, Scip::stat, SCIP_Stat::status, and TRUE.

Referenced by readDiffFile(), and runBenders().

◆ SCIPenableReoptimization()

SCIP_RETCODE SCIPenableReoptimization	(	SCIP *	scip,
		SCIP_Bool	enable
	)

include specific heuristics and branching rules for reoptimization

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
enable	enable reoptimization (TRUE) or disable it (FALSE)

Definition at line 3166 of file scip_solve.c.

References Scip::mem, Scip::messagehdlr, NULL, Scip::origprimal, SCIP_Mem::probmem, Scip::reopt, SCIP_Set::reopt_enable, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PROBLEM, SCIPerrorMessage, SCIPreoptCreate(), SCIPreoptFree(), SCIPsetSetReoptimizationParams(), Scip::set, and SCIP_Set::stage.

Referenced by runBenders(), SCIP_DECL_PARAMCHGD(), and SCIPcreateProb().

◆ SCIPisReoptEnabled()

SCIP_Bool SCIPisReoptEnabled ( SCIP * scip )

returns whether reoptimization is enabled or not

Parameters

scip	SCIP data structure

Definition at line 3619 of file scip_solve.c.

References NULL, SCIP_Set::reopt_enable, and Scip::set.

Referenced by determineSymmetry(), Exec(), readDiffFile(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECPS(), SCIP_DECL_EVENTEXITSOL(), SCIP_DECL_EVENTINITSOL(), and SCIP_DECL_HEUREXEC().

◆ SCIPgetReoptSolsRun()

SCIP_RETCODE SCIPgetReoptSolsRun	(	SCIP *	scip,
		int	run,
		SCIP_SOL **	sols,
		int	solssize,
		int *	nsols
	)

returns the stored solutions corresponding to a given run

Parameters

scip	SCIP data structure
run	number of the run
sols	array to store solutions
solssize	size of the array
nsols	pointer to store number of solutions

Definition at line 3629 of file scip_solve.c.

References NULL, Scip::reopt, SCIP_Set::reopt_enable, SCIP_CALL, SCIP_OKAY, SCIPreoptGetSolsRun(), and Scip::set.

Referenced by SCIP_DECL_HEUREXEC().

◆ SCIPresetReoptSolMarks()

void SCIPresetReoptSolMarks ( SCIP * scip )

mark all stored solutions as not updated

Parameters

scip	SCIP data structure

Definition at line 3655 of file scip_solve.c.

References NULL, Scip::reopt, SCIP_Set::reopt_enable, SCIPreoptResetSolMarks(), and Scip::set.

Referenced by SCIP_DECL_HEUREXEC().

◆ SCIPcheckReoptRestart()

SCIP_RETCODE SCIPcheckReoptRestart	(	SCIP *	scip,
		SCIP_NODE *	node,
		SCIP_Bool *	restart
	)

check if the reoptimization process should be restarted

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
node	current node of the branch and bound tree (or NULL)
restart	pointer to store of the reoptimitation process should be restarted

Definition at line 3679 of file scip_solve.c.

References FALSE, Scip::mem, NULL, SCIP_Prob::nvars, SCIP_Mem::probmem, Scip::reopt, SCIP_Set::reopt_enable, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPreoptCheckRestart(), Scip::set, Scip::transprob, TRUE, and SCIP_Prob::vars.

Referenced by Exec().

◆ SCIPaddReoptDualBndchg()

SCIP_RETCODE SCIPaddReoptDualBndchg	(	SCIP *	scip,
		SCIP_NODE *	node,
		SCIP_VAR *	var,
		SCIP_Real	newbound,
		SCIP_Real	oldbound
	)

save bound change based on dual information in the reoptimization tree

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
node	node of the search tree
var	variable whose bound changed
newbound	new bound of the variable
oldbound	old bound of the variable

Definition at line 3236 of file scip_solve.c.

References FALSE, Scip::mem, SCIP_Mem::probmem, Scip::reopt, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPreoptAddDualBndchg(), SCIPsetIsFeasGT(), SCIPsetIsFeasLT(), Scip::set, and TRUE.

Referenced by SCIP_DECL_EVENTEXEC().

◆ SCIPgetReoptLastOptSol()

SCIP_SOL* SCIPgetReoptLastOptSol ( SCIP * scip )

returns the optimal solution of the last iteration or NULL of none exists

Parameters

scip	SCIP data structure

Definition at line 3254 of file scip_solve.c.

References SCIP_Stat::nreoptruns, NULL, Scip::reopt, SCIP_Set::reopt_enable, SCIPreoptGetLastBestSol(), Scip::set, and Scip::stat.

Referenced by applyOfins(), SCIP_DECL_HEUREXEC(), and setupAndSolve().

◆ SCIPgetReoptOldObjCoef()

SCIP_RETCODE SCIPgetReoptOldObjCoef	(	SCIP *	scip,
		SCIP_VAR *	var,
		int	run,
		SCIP_Real *	objcoef
	)

returns the objective coefficent of a given variable in a previous iteration

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
run	number of the run
objcoef	pointer to store the objective coefficient

Definition at line 3281 of file scip_solve.c.

References FALSE, NULL, Scip::reopt, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPcheckStage(), SCIPreoptGetOldObjCoef(), SCIPvarGetIndex(), SCIPvarGetOrigvarSum(), SCIPvarIsActive(), SCIPvarIsOriginal(), and TRUE.

Referenced by SCIP_DECL_HEUREXEC().

SCIP

Detailed Description

Functions

Function Documentation

◆ SCIPgetReoptChildIDs()

◆ SCIPgetReoptLeaveIDs()

◆ SCIPgetNReoptnodes()

◆ SCIPgetNReoptLeaves()

◆ SCIPgetReoptnode()

◆ SCIPaddReoptnodeBndchg()

◆ SCIPsetReoptCompression()

◆ SCIPaddReoptnodeCons()

◆ SCIPgetReoptnodePath()

◆ SCIPinitRepresentation()

◆ SCIPresetRepresentation()

◆ SCIPfreeRepresentation()

◆ SCIPapplyReopt()

◆ SCIPresetReoptnodeDualcons()

◆ SCIPsplitReoptRoot()

◆ SCIPreoptimizeNode()

◆ SCIPdeleteReoptnode()

◆ SCIPgetReoptSimilarity()

◆ SCIPgetVarCoefChg()

◆ SCIPfreeReoptSolve()

◆ SCIPenableReoptimization()

◆ SCIPisReoptEnabled()

◆ SCIPgetReoptSolsRun()

◆ SCIPresetReoptSolMarks()

◆ SCIPcheckReoptRestart()

◆ SCIPaddReoptDualBndchg()

◆ SCIPgetReoptLastOptSol()

◆ SCIPgetReoptOldObjCoef()