data structures and methods for collecting reoptimization information
Definition in file reopt.h.
#include "scip/def.h"
#include "scip/pub_reopt.h"
#include "scip/type_primal.h"
#include "scip/type_sepastore.h"
#include "scip/type_cutpool.h"
#include "scip/type_retcode.h"
#include "scip/type_misc.h"
#include "scip/type_reopt.h"
#include "scip/struct_reopt.h"
#include "scip/struct_var.h"
#include "scip/struct_history.h"
Go to the source code of this file.
SCIP_RETCODE SCIPreoptCreate | ( | SCIP_REOPT ** | reopt, |
SCIP_SET * | set, | ||
BMS_BLKMEM * | blkmem | ||
) |
creates reopt data
constructor for the reoptimization data
reopt | pointer to reoptimization data structure |
set | global SCIP settings |
blkmem | block memory |
Definition at line 5000 of file reopt.c.
References BMSallocBlockMemoryArray, BMSallocMemory, BMSallocMemoryArray, createReopttree(), createSolTree(), DEFAULT_MEM_RUN, DEFAULT_RANDSEED, EVENTHDLR_DESC, EVENTHDLR_NAME, FALSE, SCIP_ALLOC, SCIP_CALL, SCIP_CLOCKTYPE_DEFAULT, SCIP_OKAY, SCIPclockCreate(), SCIPeventhdlrCreate(), SCIPrandomCreate(), SCIPsetIncludeEventhdlr(), and SCIPsetInitializeRandomSeed().
Referenced by SCIPenableReoptimization().
SCIP_RETCODE SCIPreoptFree | ( | SCIP_REOPT ** | reopt, |
SCIP_SET * | set, | ||
SCIP_PRIMAL * | origprimal, | ||
BMS_BLKMEM * | blkmem | ||
) |
frees reopt data
frees reoptimization data
reopt | reoptimization data structure |
set | global SCIP settings |
origprimal | original primal |
blkmem | block memory |
Definition at line 5079 of file reopt.c.
References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, BMSfreeMemory, BMSfreeMemoryArray, freeReoptTree(), freeSolTree(), SCIP_CALL, SCIP_OKAY, SCIP_STAGE_INIT, SCIP_STAGE_PROBLEM, SCIPclockFree(), SCIPconsRelease(), SCIPhashmapFree(), SCIPrandomFree(), and SCIPsolFree().
Referenced by SCIPenableReoptimization(), and SCIPfreeProb().
int SCIPreoptGetNAddedConss | ( | SCIP_REOPT * | reopt, |
SCIP_NODE * | node | ||
) |
returns the number of constraints added by the reoptimization plug-in
reopt | reoptimization data structure |
node | node of the search tree |
Definition at line 5210 of file reopt.c.
References MAX, SCIP_ReoptNode::nconss, SCIP_ReoptTree::reoptnodes, SCIP_Reopt::reopttree, SCIPnodeGetDepth(), SCIPnodeGetNAddedConss(), and SCIPnodeGetReoptID().
Referenced by SCIPreoptCheckCutoff().
SCIP_RETCODE SCIPreoptAddSol | ( | SCIP_REOPT * | reopt, |
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
SCIP_PRIMAL * | origprimal, | ||
BMS_BLKMEM * | blkmem, | ||
SCIP_SOL * | sol, | ||
SCIP_Bool | bestsol, | ||
SCIP_Bool * | added, | ||
SCIP_VAR ** | vars, | ||
int | nvars, | ||
int | run | ||
) |
add a solution to the solution tree
reopt | reoptimization data |
set | global SCIP settings |
stat | dynamic problem statistics |
origprimal | original primal |
blkmem | block memory |
sol | solution to add |
bestsol | is the current solution an optimal solution? |
added | pointer to store the information if the soltion was added |
vars | variable array |
nvars | number of variables |
run | number of the current run (1,2,...) |
Definition at line 5234 of file reopt.c.
References ensureSolsSize(), SCIP_Reopt::noptsolsbyreoptsol, SCIP_SolTree::nsols, SCIP_CALL, SCIP_OKAY, SCIPheurGetName(), SCIPsolGetHeur(), SCIP_SolTree::sols, SCIP_Reopt::soltree, and soltreeAddSol().
Referenced by SCIPsolve().
SCIP_RETCODE SCIPreoptAddOptSol | ( | SCIP_REOPT * | reopt, |
SCIP_SOL * | sol, | ||
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
SCIP_PRIMAL * | origprimal, | ||
SCIP_VAR ** | vars, | ||
int | nvars | ||
) |
add optimal solution
we want to store the optimal solution of each run in a separate array
reopt | reoptimization data structure |
sol | solution to add |
blkmem | block memory |
set | global SCIP settings |
stat | dynamic problem statistics |
origprimal | original primal |
vars | original problem variables |
nvars | number of original problem variables |
Definition at line 5287 of file reopt.c.
References SCIP_Reopt::prevbestsols, SCIP_Reopt::run, SCIP_CALL, SCIP_OKAY, SCIPsolCopy(), and separateSolution().
Referenced by SCIPsolve().
SCIP_RETCODE SCIPreoptAddRun | ( | SCIP_REOPT * | reopt, |
SCIP_SET * | set, | ||
BMS_BLKMEM * | blkmem, | ||
SCIP_VAR ** | origvars, | ||
int | norigvars, | ||
int | size | ||
) |
add a run
add a new iteration after changing the objective function
reopt | reoptimization data sturcture |
set | global SCIP settings |
blkmem | block memory |
origvars | original problem variables |
norigvars | number of original variables |
size | number of expected solutions |
Definition at line 5322 of file reopt.c.
References BMSallocBlockMemoryArray, ensureRunSize(), FALSE, SCIP_Reopt::objhaschanged, reoptSaveNewObj(), resetStats(), SCIP_Reopt::run, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIP_SolTree::sols, SCIP_SolTree::solssize, and SCIP_Reopt::soltree.
Referenced by prepareReoptimization().
int SCIPreoptGetNCheckedSols | ( | SCIP_REOPT * | reopt | ) |
get the number of checked solutions during the reoptimization process
reopt | reoptimization data structure |
Definition at line 5358 of file reopt.c.
References SCIP_Reopt::ncheckedsols.
void SCIPreoptAddNCheckedSols | ( | SCIP_REOPT * | reopt, |
int | ncheckedsols | ||
) |
update the number of checked solutions during the reoptimization process
reopt | reoptimization data structure |
ncheckedsols | number of updated solutions |
Definition at line 5368 of file reopt.c.
References SCIP_Reopt::ncheckedsols.
int SCIPreoptGetNImprovingSols | ( | SCIP_REOPT * | reopt | ) |
get the number of checked solutions during the reoptimization process
reopt | reoptimization data structure |
Definition at line 5379 of file reopt.c.
References SCIP_Reopt::nimprovingsols.
void SCIPreoptAddNImprovingSols | ( | SCIP_REOPT * | reopt, |
int | nimprovingsols | ||
) |
update the number of checked solutions during the reoptimization process
reopt | reoptimization data structure |
nimprovingsols | number of improving solutions |
Definition at line 5389 of file reopt.c.
References SCIP_Reopt::nimprovingsols.
int SCIPreoptGetNSolsRun | ( | SCIP_REOPT * | reopt, |
int | run | ||
) |
returns number of solutions stored in the solution tree of a given run
reopt | reoptimization data structure |
run | number of the run (1,2,..) |
Definition at line 5400 of file reopt.c.
References SCIP_SolTree::nsols, SCIP_SolTree::sols, and SCIP_Reopt::soltree.
int SCIPreoptGetNSols | ( | SCIP_REOPT * | reopt | ) |
returns number of all solutions of all runs
reopt | reoptimization data structure |
Definition at line 5415 of file reopt.c.
References SCIP_SolTree::nsols, SCIP_Reopt::run, and SCIP_Reopt::soltree.
SCIP_RETCODE SCIPreoptGetSolsRun | ( | SCIP_REOPT * | reopt, |
int | run, | ||
SCIP_SOL ** | sols, | ||
int | solssize, | ||
int * | nsols | ||
) |
return the stored solutions of a given run
reopt | reoptimization data structure |
run | number of the run (1,2,...) |
sols | array of solutions to fill |
solssize | length of the array |
nsols | pointer to store the number of added solutions |
Definition at line 5431 of file reopt.c.
References SCIP_SolTree::nsols, SCIP_OKAY, SCIP_SolNode::sol, SCIP_SolTree::sols, SCIP_Reopt::soltree, TRUE, and SCIP_SolNode::updated.
Referenced by SCIPgetReoptSolsRun().
int SCIPreoptGetNSavedSols | ( | SCIP_REOPT * | reopt | ) |
returns the number of saved solutions overall runs
reopt | reoptimization data structure |
Definition at line 5473 of file reopt.c.
References SCIP_SolNode::child, SCIP_SolTree::root, SCIP_Reopt::soltree, and soltreeNInducedSols().
SCIP_RETCODE SCIPreoptCheckRestart | ( | SCIP_REOPT * | reopt, |
SCIP_SET * | set, | ||
BMS_BLKMEM * | blkmem, | ||
SCIP_NODE * | node, | ||
SCIP_VAR ** | transvars, | ||
int | ntransvars, | ||
SCIP_Bool * | restart | ||
) |
Check if the reoptimization process should be (locally) restarted.
First, we check whether the current node is the root node, e.g., node == NULL. In this case, we do not need to calculate the similarity again. We trigger a restart if
If the current node is different to the root node we calculate the local similarity, i.e., exclude all variables that are already fixed at the given node.
check if the reoptimization process should be (locally) restarted.
First, we check whether the current node is the root node, e.g., node == NULL. in this case, we do not need to calculate the similarity again. we trigger a restart if
If the current node is different to the root node we calculate the local similarity, i.e., exclude all variable that are already fixed by bounding.
reopt | reoptimization data structure |
set | global SCIP settings |
blkmem | block memory |
node | current node of the branch and bound tree (or NULL) |
transvars | transformed problem variables |
ntransvars | number of transformed problem variables |
restart | pointer to store if the reoptimization process should be restarted |
Definition at line 5500 of file reopt.c.
References FALSE, SCIP_Reopt::lastrestart, MAX, SCIP_Reopt::noptsolsbyreoptsol, SCIP_ReoptTree::nreoptnodes, reoptCheckLocalRestart(), reoptRestart(), reoptSimilarity(), SCIP_Reopt::reopttree, SCIP_Reopt::run, SCIP_CALL, SCIP_INVALID, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_Real, SCIPsetDebugMsg, SCIPsetIsFeasLT(), and TRUE.
Referenced by prepareReoptimization(), and SCIPcheckReoptRestart().
SCIP_Real SCIPreoptGetSimToPrevious | ( | SCIP_REOPT * | reopt | ) |
returns the similarity to the previous objective function
returns the similarity to the previous objective function, if no exist return -2.0
reopt | reoptimization data structure |
Definition at line 5569 of file reopt.c.
References SCIP_Reopt::simtolastobj.
Referenced by SCIPgetReoptSimilarity().
SCIP_Real SCIPreoptGetSimToFirst | ( | SCIP_REOPT * | reopt | ) |
returns the similarity to the first objective functions
returns the similarity to the first objective different to the zero-function function, if no exist return -2.0
reopt | reoptimization data structure |
Definition at line 5578 of file reopt.c.
References SCIP_Reopt::simtofirstobj.
SCIP_Real SCIPreoptGetSimilarity | ( | SCIP_REOPT * | reopt, |
SCIP_SET * | set, | ||
int | run1, | ||
int | run2, | ||
SCIP_VAR ** | origvars, | ||
int | norigvars | ||
) |
return the similarity between two of objective functions of two given runs
reopt | reoptimization data structure |
set | global SCIP settings |
run1 | number of the first run |
run2 | number of the second run |
origvars | original problem variables |
norigvars | number of original problem variables |
Definition at line 5587 of file reopt.c.
References reoptSimilarity().
Referenced by SCIPgetReoptSimilarity().
SCIP_SOL* SCIPreoptGetLastBestSol | ( | SCIP_REOPT * | reopt | ) |
returns the best solution of the last run
reopt | reoptimization data structure |
Definition at line 5606 of file reopt.c.
References SCIP_Reopt::prevbestsols, and SCIP_Reopt::run.
Referenced by SCIPgetReoptLastOptSol().
SCIP_REOPTNODE* SCIPreoptGetReoptnode | ( | SCIP_REOPT * | reopt, |
unsigned int | id | ||
) |
returns the node of the reoptimization tree corresponding to the unique id
reopt | reoptimization data structure |
id | unique id |
Definition at line 5620 of file reopt.c.
References SCIP_ReoptTree::reoptnodes, and SCIP_Reopt::reopttree.
Referenced by SCIPgetReoptnode().
SCIP_Real SCIPreoptGetOldObjCoef | ( | SCIP_REOPT * | reopt, |
int | run, | ||
int | idx | ||
) |
returns the coefficent of variable with index idx
in run run
returns the coefficient of variable with index idx
in run run
reopt | reoptimization data structure |
run | number of the run (1,2,...) |
idx | index of original variable |
Definition at line 5634 of file reopt.c.
References SCIP_Reopt::objs.
Referenced by reoptCheckLocalRestart(), and SCIPgetReoptOldObjCoef().
SCIP_SOL* SCIPreoptGetBestSolRun | ( | SCIP_REOPT * | reopt, |
int | run | ||
) |
return the best solution of a given run
return the best solution of a given run.
reopt | reoptimization data structure |
run | number of the run (1,2,...) |
Definition at line 5650 of file reopt.c.
References SCIP_Reopt::prevbestsols.
SCIP_RETCODE SCIPreoptReset | ( | SCIP_REOPT * | reopt, |
SCIP_SET * | set, | ||
BMS_BLKMEM * | blkmem | ||
) |
reset solving specific paramters
reset solving specific parameters
reopt | reoptimization data structure |
set | global SCIP settings |
blkmem | block memory |
Definition at line 5662 of file reopt.c.
References SCIP_Reopt::addedconss, SCIP_Reopt::consadded, FALSE, SCIP_Reopt::naddedconss, SCIP_Reopt::objhaschanged, SCIP_CALL, SCIP_OKAY, and SCIPconsRelease().
Referenced by freeReoptSolve(), and freeTransform().
void SCIPreoptResetSolMarks | ( | SCIP_REOPT * | reopt | ) |
reset marks of stored solutions to not updated
reopt | reoptimization data structure |
Definition at line 5694 of file reopt.c.
References SCIP_SolNode::child, SCIP_SolTree::root, SCIP_SolNode::sibling, SCIP_Reopt::soltree, and soltreeResetMarks().
Referenced by SCIPresetReoptSolMarks().
int SCIPreoptGetNNodes | ( | SCIP_REOPT * | reopt, |
SCIP_NODE * | node | ||
) |
returns the number of stored nodes
returns the number of stored nodes in the subtree induced by node
reopt | reoptimization data structure |
node | node of the search tree |
Definition at line 5715 of file reopt.c.
References SCIP_ReoptTree::nreoptnodes, SCIP_Reopt::reopttree, reopttreeGetNNodes(), SCIPnodeGetDepth(), and SCIPnodeGetReoptID().
Referenced by compressReoptTree(), and SCIPgetNReoptnodes().
SCIP_RETCODE SCIPreoptAddInfNode | ( | SCIP_REOPT * | reopt, |
SCIP_SET * | set, | ||
BMS_BLKMEM * | blkmem, | ||
SCIP_NODE * | node | ||
) |
save information that given node is infeasible
reopt | reoptimization data structure |
set | global SCIP settings |
blkmem | block memory |
node | node of the search tree |
Definition at line 5902 of file reopt.c.
References SCIP_ReoptTree::ninfnodes, SCIP_ReoptTree::ntotalinfnodes, REOPT_CONSTYPE_CUT, SCIP_Reopt::reopttree, saveGlobalCons(), SCIP_CALL, and SCIP_OKAY.
Referenced by SCIPreoptCheckCutoff().
SCIP_RETCODE SCIPreoptCheckCutoff | ( | SCIP_REOPT * | reopt, |
SCIP_SET * | set, | ||
BMS_BLKMEM * | blkmem, | ||
SCIP_NODE * | node, | ||
SCIP_EVENTTYPE | eventtype, | ||
SCIP_LP * | lp, | ||
SCIP_LPSOLSTAT | lpsolstat, | ||
SCIP_Bool | isrootnode, | ||
SCIP_Bool | isfocusnode, | ||
SCIP_Real | lowerbound, | ||
int | effectiverootdepth | ||
) |
check the reason for cut off a node and if necessary store the node
reopt | reoptimization data structure |
set | global SCIP settings |
blkmem | block memory |
node | node of the search tree |
eventtype | eventtype |
lp | LP data |
lpsolstat | solution status of the LP |
isrootnode | the node is the root |
isfocusnode | the node is the current focus node |
lowerbound | lower bound of the node |
effectiverootdepth | effective root depth |
Definition at line 5926 of file reopt.c.
References addNode(), SCIP_Reopt::currentnode, deleteLastDualBndchgs(), SCIP_Reopt::dualreds, FALSE, SCIP_Reopt::lastbranched, SCIP_Reopt::lastseennode, REOPT_CONSTYPE_DUALREDS, REOPT_CONSTYPE_INFSUBTREE, SCIP_Bool, SCIP_CALL, SCIP_EVENTTYPE_FORMAT, SCIP_EVENTTYPE_NODEBRANCHED, SCIP_EVENTTYPE_NODEFEASIBLE, SCIP_EVENTTYPE_NODEINFEASIBLE, SCIP_LPSOLSTAT_INFEASIBLE, SCIP_LPSOLSTAT_NOTSOLVED, SCIP_LPSOLSTAT_OBJLIMIT, SCIP_LPSOLSTAT_OPTIMAL, SCIP_NODETYPE_PROBINGNODE, SCIP_OKAY, SCIP_Real, SCIP_REOPTTYPE_FEASIBLE, SCIP_REOPTTYPE_INFSUBTREE, SCIP_REOPTTYPE_LOGICORNODE, SCIP_REOPTTYPE_PRUNED, SCIP_REOPTTYPE_STRBRANCHED, SCIP_REOPTTYPE_TRANSIT, SCIPlpGetCutoffbound(), SCIPlpGetSolstat(), SCIPnodeGetDepth(), SCIPnodeGetNDualBndchgs(), SCIPnodeGetNumber(), SCIPnodeGetType(), SCIPreoptAddDualBndchg(), SCIPreoptAddInfNode(), SCIPreoptGetNAddedConss(), SCIPreoptGetNDualBndchgs(), SCIPreoptResetDualBndchgs(), SCIPsetDebugMsg, and TRUE.
Referenced by nodeToLeaf(), SCIPnodeCutoff(), SCIPnodeFocus(), SCIPnodepqBound(), SCIPsolveCIP(), SCIPtreeCutoff(), and solveNodeLP().
SCIP_RETCODE SCIPreoptAddDualBndchg | ( | SCIP_REOPT * | reopt, |
SCIP_SET * | set, | ||
BMS_BLKMEM * | blkmem, | ||
SCIP_NODE * | node, | ||
SCIP_VAR * | var, | ||
SCIP_Real | newval, | ||
SCIP_Real | oldval | ||
) |
store bound change based on dual information
reopt | reoptimization data structure |
set | global SCIP settings |
blkmem | block memory |
node | node of the search tree |
var | variable |
newval | new bound |
oldval | old bound |
Definition at line 6195 of file reopt.c.
References checkMemDualCons(), SCIP_Reopt::currentnode, DEFAULT_MEM_DUALCONS, SCIP_Reopt::dualreds, FALSE, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIPerrorMessage, SCIPnodeGetNumber(), SCIPsetDebugMsg, SCIPsetFindBranchrule(), SCIPsetGetIntParam(), SCIPsetIsEQ(), SCIPsetIsLT(), SCIPvarGetName(), SCIPvarGetOrigvarSum(), and SCIPvarIsOriginal().
Referenced by SCIPaddReoptDualBndchg(), and SCIPreoptCheckCutoff().
int SCIPreoptGetNDualBndchgs | ( | SCIP_REOPT * | reopt, |
SCIP_NODE * | node | ||
) |
returns the number of bound changes based on dual information
reopt | reoptimization data structure |
node | node of the search tree |
Definition at line 6285 of file reopt.c.
References SCIP_Reopt::currentnode, SCIP_Reopt::dualreds, and SCIPnodeGetNumber().
Referenced by SCIPreoptCheckCutoff().
int SCIPreoptGetNLeaves | ( | SCIP_REOPT * | reopt, |
SCIP_NODE * | node | ||
) |
returns the number of leaf nodes of the subtree induced by node
(of the whole tree if node == NULL)
reopt | reoptimization data structure |
node | node of the search tree (or NULL) |
Definition at line 5867 of file reopt.c.
References SCIP_ReoptNode::childids, SCIP_ReoptNode::nchilds, reoptGetNLeaves(), SCIP_ReoptTree::reoptnodes, SCIP_Reopt::reopttree, SCIPnodeGetDepth(), and SCIPnodeGetReoptID().
Referenced by SCIPcomprExec(), and SCIPgetNReoptLeaves().
SCIP_RETCODE SCIPreoptGetChildIDs | ( | SCIP_REOPT * | reopt, |
SCIP_SET * | set, | ||
BMS_BLKMEM * | blkmem, | ||
SCIP_NODE * | node, | ||
unsigned int * | childs, | ||
int | childssize, | ||
int * | nchilds | ||
) |
returns the child nodes of node
that need to be reoptimized next or NULL if node
is a leaf
reopt | reoptimization data structure |
set | global SCIP settings |
blkmem | block memory |
node | node of the search tree |
childs | array to store the child ids |
childssize | size of the childs array |
nchilds | pointer to store the number of child nodes |
Definition at line 6305 of file reopt.c.
References SCIP_ReoptNode::childids, dryBranch(), SCIP_ReoptNode::nchilds, SCIP_ReoptTree::reoptnodes, SCIP_Reopt::reopttree, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPnodeGetDepth(), SCIPnodeGetReoptID(), and TRUE.
Referenced by SCIPgetReoptChildIDs().
SCIP_RETCODE SCIPreoptGetLeaves | ( | SCIP_REOPT * | reopt, |
SCIP_NODE * | node, | ||
unsigned int * | leaves, | ||
int | leavessize, | ||
int * | nleaves | ||
) |
returns all leaves of the subtree induced by node
reopt | reoptimization data |
node | node of the search tree |
leaves | array to the the ids |
leavessize | size of leaves array |
nleaves | pointer to store the number of leave node |
Definition at line 6358 of file reopt.c.
References SCIP_ReoptNode::childids, SCIP_ReoptNode::nchilds, reoptGetLeaves(), SCIP_ReoptTree::reoptnodes, SCIP_Reopt::reopttree, SCIP_CALL, SCIP_OKAY, and SCIPnodeGetReoptID().
Referenced by SCIPgetReoptLeaveIDs().
SCIP_Real SCIPreoptGetSavingtime | ( | SCIP_REOPT * | reopt | ) |
returns the time needed to store the nodes for reoptimization
reopt | reoptimization data structure |
Definition at line 7555 of file reopt.c.
References SCIP_Reopt::savingtime, and SCIPclockGetTime().
Referenced by SCIPprintReoptStatistics().
SCIP_RETCODE SCIPreoptAddGlbCons | ( | SCIP_REOPT * | reopt, |
SCIP_VAR ** | vars, | ||
SCIP_Real * | vals, | ||
int | nvars, | ||
BMS_BLKMEM * | blkmem | ||
) |
store a global constraint that should be added at the beginning of the next iteration
reopt | reoptimization data |
vars | array to store the variables of the constraint |
vals | array to store the coefficients of the variables |
nvars | pointer to store the size of the constraints |
blkmem | block memory |
SCIP_RETCODE SCIPreoptApplyGlbConss | ( | SCIP * | scip, |
SCIP_REOPT * | reopt, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
BMS_BLKMEM * | blkmem | ||
) |
add the stored constraints globally to the problem
scip | SCIP data structure |
reopt | reoptimization data structure |
set | global SCIP settings |
stat | dynamic problem statistics |
blkmem | block memory |
Definition at line 7565 of file reopt.c.
References SCIP_Reopt::activeconss, FALSE, SCIP_Reopt::glbconss, SCIP_Reopt::nglbconss, REOPT_CONSTYPE_CUT, SCIP_Reopt::run, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_INVALIDDATA, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_VARTYPE_BINARY, SCIP_VARTYPE_IMPLINT, SCIP_VARTYPE_INTEGER, SCIPaddCons(), SCIPallocBufferArray, SCIPcreateConsBasicBounddisjunction(), SCIPcreateConsLogicor(), SCIPdebugPrintCons, SCIPerrorMessage, SCIPfreeBufferArray, SCIPhashmapExists(), SCIPhashmapInsert(), SCIPreleaseCons(), SCIPsetDebugMsg, SCIPsetIsFeasEQ(), SCIPsnprintf(), SCIPvarGetName(), SCIPvarGetType(), SCIPvarIsOriginal(), SCIPvarNegate(), and TRUE.
Referenced by prepareReoptimization().
SCIP_RETCODE SCIPreoptApplyCuts | ( | SCIP_REOPT * | reopt, |
SCIP_NODE * | node, | ||
SCIP_SEPASTORE * | sepastore, | ||
SCIP_CUTPOOL * | cutpool, | ||
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
SCIP_EVENTQUEUE * | eventqueue, | ||
SCIP_EVENTFILTER * | eventfilter, | ||
SCIP_LP * | lp, | ||
SCIP_Bool | root | ||
) |
add the stored cuts to the separation storage
reopt | reoptimization data structure |
node | current focus node |
sepastore | separation storage |
cutpool | global cutpool |
blkmem | block memory |
set | global SCIP settings |
stat | dynamic problem statistics |
eventqueue | event queue |
eventfilter | event filter |
lp | current LP |
root | bool whether the current node is the root |
Definition at line 7686 of file reopt.c.
References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, BMSfreeBlockMemoryArrayNull, SCIP_ReoptNode::conss, FALSE, SCIP_ReoptNode::nconss, REOPT_CONSTYPE_CUT, SCIP_ReoptTree::reoptnodes, SCIP_Reopt::reopttree, SCIP_Bool, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIP_ROWORIGINTYPE_REOPT, SCIP_VARSTATUS_COLUMN, SCIPcutpoolAddRow(), SCIPnodeGetDepth(), SCIPnodeGetNumber(), SCIPnodeGetReoptID(), SCIProwCreate(), SCIProwRelease(), SCIPsepastoreAddCut(), SCIPsetAllocBufferArray, SCIPsetDebugMsg, SCIPsetFreeBufferArray, SCIPsnprintf(), SCIPvarGetCol(), SCIPvarGetStatus(), SCIPvarGetTransVar(), SCIPvarIsOriginal(), and TRUE.
Referenced by SCIPinitConssLP().
SCIP_Bool SCIPreoptGetSolveLP | ( | SCIP_REOPT * | reopt, |
SCIP_SET * | set, | ||
SCIP_NODE * | node | ||
) |
check if the LP of the given node should be solved or not
reopt | reoptimization data structure |
set | global SCIP settings |
node | node of the current search tree |
Definition at line 7819 of file reopt.c.
References FALSE, SCIP_ReoptNode::nchilds, SCIP_ReoptNode::nvars, SCIP_ReoptTree::reoptnodes, SCIP_Reopt::reopttree, SCIPnodeGetDepth(), SCIPnodeGetReoptID(), SCIPnodeGetReopttype(), SCIPsetIsGE(), SCIP_Reopt::simtolastobj, and TRUE.
Referenced by solveNode().
SCIP_RETCODE SCIPreoptApply | ( | SCIP_REOPT * | reopt, |
SCIP * | scip, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
SCIP_PROB * | transprob, | ||
SCIP_PROB * | origprob, | ||
SCIP_TREE * | tree, | ||
SCIP_LP * | lp, | ||
SCIP_BRANCHCAND * | branchcand, | ||
SCIP_EVENTQUEUE * | eventqueue, | ||
SCIP_CLIQUETABLE * | cliquetable, | ||
BMS_BLKMEM * | blkmem, | ||
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
reopt | reoptimization data structure |
scip | SCIP data structure |
set | global SCIP settings |
stat | dynamic problem statistics |
transprob | transformed problem |
origprob | original problem |
tree | branching tree |
lp | current LP |
branchcand | branching candidate |
eventqueue | event queue |
cliquetable | clique table |
blkmem | block memory |
reoptnode | node of the reoptimization tree to reactivate |
id | id of the node to reactivate |
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 7251 of file reopt.c.
References addLocalConss(), addNode(), addSplitcons(), changeAncestorBranchings(), SCIP_ReoptNode::dualreds, SCIP_ReoptNode::dualredscur, FALSE, fixBounds(), fixInterdiction(), getInferenceOrder(), SCIP_ReoptNode::lowerbound, SCIP_ReoptNode::nafterdualvars, SCIP_ReoptNode::nconss, SCIP_Reopt::objhaschanged, SCIP_Reopt::randnumgen, REOPT_CONSTYPE_DUALREDS, REOPT_CONSTYPE_INFSUBTREE, SCIP_ReoptTree::reoptnodes, reoptnodeUpdateDualConss(), SCIP_Reopt::reopttree, SCIP_ReoptNode::reopttype, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIP_REOPTTYPE_INFSUBTREE, SCIP_REOPTTYPE_LOGICORNODE, SCIP_REOPTTYPE_NONE, SCIP_REOPTTYPE_STRBRANCHED, SCIP_REOPTTYPE_TRANSIT, SCIPnodeCreateChild(), SCIPnodeGetNumber(), SCIPnodeSetEstimate(), SCIPnodeSetReoptID(), SCIPnodeSetReopttype(), SCIPrandomPermuteIntArray(), SCIPsetAllocBufferArray, SCIPsetDebugMsg, SCIPsetFreeBufferArray, SCIPsetInfinity(), SCIPsetIsGT(), and TRUE.
Referenced by SCIPapplyReopt().
SCIP_RETCODE SCIPreoptDeleteNode | ( | SCIP_REOPT * | reopt, |
SCIP_SET * | set, | ||
unsigned int | id, | ||
BMS_BLKMEM * | blkmem | ||
) |
delete a node stored in the reoptimization tree
reopt | reoptimization data structure |
set | global SCIP settings |
id | id of a stored node |
blkmem | block memory |
Definition at line 7231 of file reopt.c.
References SCIP_ReoptTree::openids, SCIP_ReoptTree::reoptnodes, SCIP_Reopt::reopttree, reopttreeDeleteNode(), SCIP_CALL, SCIP_OKAY, SCIPqueueInsert(), and TRUE.
SCIP_RETCODE SCIPreoptResetDualBndchgs | ( | SCIP_REOPT * | reopt, |
SCIP_NODE * | node, | ||
BMS_BLKMEM * | blkmem | ||
) |
reset the stored information abound bound changes based on dual information
reopt | reoptimization data structure |
node | node of the search tree |
blkmem | block memory |
Definition at line 7147 of file reopt.c.
References reoptnodeResetDualConss(), SCIP_ReoptTree::reoptnodes, SCIP_Reopt::reopttree, SCIP_CALL, SCIP_OKAY, SCIPnodeGetDepth(), and SCIPnodeGetReoptID().
Referenced by addNode(), SCIPreoptCheckCutoff(), and SCIPresetReoptnodeDualcons().
SCIP_RETCODE SCIPreoptSplitRoot | ( | SCIP_REOPT * | reopt, |
SCIP_TREE * | tree, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
BMS_BLKMEM * | blkmem, | ||
int * | ncreatedchilds, | ||
int * | naddedconss | ||
) |
splits the root into several nodes and moves the child nodes of the root to one of the created nodes
reopt | reoptimization data structure |
tree | branch and bound tree |
set | global SCIP settings |
stat | dynamic SCIP statistics |
blkmem | block memory |
ncreatedchilds | pointer to store the number of created nodes |
naddedconss | pointer to store the number added constraints |
Definition at line 6853 of file reopt.c.
References BMSallocBlockMemory, SCIP_ReoptNode::conss, createReoptnode(), SCIP_ReoptNode::dualredscur, getInferenceOrder(), SCIP_ReoptNode::nchilds, SCIP_ReoptNode::nconss, SCIP_ReoptNode::nvars, SCIP_ReoptTree::openids, SCIP_ReoptNode::parentID, SCIP_Reopt::randnumgen, reoptAddChild(), reoptMoveIDs(), reoptnodeCheckMemory(), SCIP_ReoptTree::reoptnodes, SCIP_ReoptTree::reoptnodessize, reoptnodeUpdateDualConss(), SCIP_Reopt::reopttree, reopttreeCheckMemory(), SCIP_ReoptNode::reopttype, SCIP_ALLOC, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIP_REOPTTYPE_LOGICORNODE, SCIP_REOPTTYPE_STRBRANCHED, SCIP_REOPTTYPE_TRANSIT, SCIP_VARTYPE_BINARY, SCIP_VARTYPE_CONTINUOUS, SCIP_VARTYPE_IMPLINT, SCIP_VARTYPE_INTEGER, SCIPerrorMessage, SCIPnodeSetReopttype(), SCIPqueueRemove(), SCIPrandomPermuteIntArray(), SCIPsetAllocBufferArray, SCIPsetFreeBufferArray, SCIPtreeGetRootNode(), SCIPvarGetType(), transformDualredsToBounddisjunction(), transformDualredsToLinear(), SCIP_ReoptNode::varbounds, SCIP_ReoptNode::varboundtypes, and SCIP_ReoptNode::vars.
Referenced by SCIPsplitReoptRoot().
SCIP_RETCODE SCIPreoptApplyCompression | ( | SCIP_REOPT * | reopt, |
SCIP_SET * | set, | ||
BMS_BLKMEM * | blkmem, | ||
SCIP_REOPTNODE ** | representatives, | ||
int | nrepresentatives, | ||
SCIP_Bool * | success | ||
) |
reset the complete tree and set the given search frontier
reopt | reoptimization data structure |
set | global SCIP settings |
blkmem | block memory |
representatives | array of representatives |
nrepresentatives | number of representatives |
success | pointer to store if the method was successful |
Definition at line 6626 of file reopt.c.
References SCIP_ReoptNode::conss, createReoptnode(), FALSE, SCIP_ReoptNode::nchilds, SCIP_ReoptNode::nconss, SCIP_ReoptTree::nreoptnodes, SCIP_ReoptNode::nvars, SCIP_ReoptTree::openids, SCIP_ReoptNode::parentID, reoptAddChild(), SCIP_ReoptTree::reoptnodes, reoptResetTree(), SCIP_Reopt::reopttree, SCIP_ReoptNode::reopttype, SCIP_CALL, SCIP_OKAY, SCIP_REOPTTYPE_LEAF, SCIP_REOPTTYPE_LOGICORNODE, SCIP_REOPTTYPE_TRANSIT, SCIPqueueRemove(), SCIPreoptnodeAddBndchg(), SCIPreoptnodeAddCons(), SCIPsetDebugMsg, TRUE, SCIP_ReoptNode::varbounds, SCIP_ReoptNode::varboundtypes, SCIP_ReoptNode::vars, and SCIP_ReoptNode::varssize.
Referenced by SCIPsetReoptCompression().
SCIP_RETCODE SCIPreoptSaveOpenNodes | ( | SCIP_REOPT * | reopt, |
SCIP_SET * | set, | ||
SCIP_LP * | lp, | ||
BMS_BLKMEM * | blkmem, | ||
SCIP_NODE ** | leaves, | ||
int | nleaves, | ||
SCIP_NODE ** | childs, | ||
int | nchilds, | ||
SCIP_NODE ** | siblings, | ||
int | nsiblings | ||
) |
add all unprocessed nodes to the reoptimization tree
reopt | reoptimization data structure |
set | global SCIP settings |
lp | current LP |
blkmem | block memory |
leaves | array of open leave nodes |
nleaves | number of open leave nodes |
childs | array of open children nodes |
nchilds | number of open leave nodes |
siblings | array of open sibling nodes |
nsiblings | number of open leave nodes |
Definition at line 6422 of file reopt.c.
References addNode(), FALSE, SCIP_CALL, SCIP_OKAY, SCIP_REOPTTYPE_PRUNED, SCIPnodeGetLowerbound(), and SCIPsetDebugMsg.
Referenced by SCIPsolve().
SCIP_RETCODE SCIPreoptMergeVarHistory | ( | SCIP_REOPT * | reopt, |
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
SCIP_VAR ** | vars, | ||
int | nvars | ||
) |
merges the variable history of the current run with the stored history
reopt | reoptimization data structure |
set | global SCIP settings |
stat | dynamic problem statistics |
vars | original problem variables |
nvars | number of original problem variables |
Definition at line 6474 of file reopt.c.
References SCIP_Var::history, SCIP_Reopt::objhaschanged, SCIP_History::pscostcount, SCIP_History::pscostvariance, SCIP_History::pscostweightedmean, reoptSimilarity(), SCIP_Reopt::run, SCIP_INVALID, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_Real, SCIP_VERBLEVEL_NORMAL, SCIPhistoryGetAvgCutoffs(), SCIPhistoryGetAvgInferences(), SCIPhistoryIncCutoffSum(), SCIPhistoryIncInferenceSum(), SCIPhistoryIncNBranchings(), SCIPsetDebugMsg, SCIPsetIsGT(), SCIPsetIsZero(), SCIPvarGetIndex(), SCIPvarGetName(), SCIPvarGetTransVar(), SCIPvarIsActive(), SCIPvarIsOriginal(), SCIPverbMessage(), SCIP_Reopt::simtolastobj, and SCIP_Reopt::varhistory.
Referenced by prepareReoptimization().
SCIP_RETCODE SCIPreoptUpdateVarHistory | ( | SCIP_REOPT * | reopt, |
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
BMS_BLKMEM * | blkmem, | ||
SCIP_VAR ** | vars, | ||
int | nvars | ||
) |
updates the variable history
reopt | reoptimization data structure |
set | global SCIP settings |
stat | dynamic problem statistics |
blkmem | block memory |
vars | original variable array |
nvars | number of original variables |
Definition at line 6569 of file reopt.c.
References BMSallocBlockMemoryArray, FALSE, SCIP_Var::history, SCIP_Reopt::run, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPhistoryCreate(), SCIPhistoryReset(), SCIPhistoryUnite(), SCIPsetDebugMsg, SCIPvarGetIndex(), SCIPvarGetTransVar(), SCIPvarIsActive(), SCIPvarIsOriginal(), and SCIP_Reopt::varhistory.
Referenced by SCIPsolve().
void SCIPreoptnodeInit | ( | SCIP_REOPTNODE * | reoptnode, |
SCIP_SET * | set | ||
) |
initialize an empty node
reoptnode | node of the reopttree |
set | global SCIP settings |
Definition at line 7866 of file reopt.c.
References SCIP_ReoptNode::afterdualvarbounds, SCIP_ReoptNode::afterdualvarboundtypes, SCIP_ReoptNode::afterdualvars, SCIP_ReoptNode::afterdualvarssize, SCIP_ReoptNode::allocchildmem, SCIP_ReoptNode::childids, SCIP_ReoptNode::conss, SCIP_ReoptNode::consssize, SCIP_ReoptNode::dualreds, SCIP_ReoptNode::dualredscur, SCIP_ReoptNode::dualredsnex, FALSE, SCIP_ReoptNode::lowerbound, SCIP_ReoptNode::nafterdualvars, SCIP_ReoptNode::nchilds, SCIP_ReoptNode::nconss, SCIP_ReoptNode::nvars, SCIP_ReoptNode::parentID, SCIP_ReoptNode::reopttype, SCIP_REOPTTYPE_NONE, SCIPsetInfinity(), SCIP_ReoptNode::varbounds, SCIP_ReoptNode::varboundtypes, SCIP_ReoptNode::vars, and SCIP_ReoptNode::varssize.
Referenced by SCIPinitRepresentation().
SCIP_RETCODE SCIPreoptnodeReset | ( | SCIP_REOPT * | reopt, |
SCIP_SET * | set, | ||
BMS_BLKMEM * | blkmem, | ||
SCIP_REOPTNODE * | reoptnode | ||
) |
reset the given reoptimization node
reopt | reoptimization data structure |
set | global SCIP settings |
blkmem | block memory |
reoptnode | reoptimization node |
Definition at line 7899 of file reopt.c.
References reoptnodeReset(), SCIP_CALL, and SCIP_OKAY.
Referenced by SCIPresetRepresentation().
SCIP_RETCODE SCIPreoptnodeDelete | ( | SCIP_REOPTNODE ** | reoptnode, |
BMS_BLKMEM * | blkmem | ||
) |
delete the given reoptimization node
reoptnode | pointer of reoptnode |
blkmem | block memory |
Definition at line 7917 of file reopt.c.
References reoptnodeDelete(), SCIP_CALL, and SCIP_OKAY.
Referenced by SCIPdeleteReoptnode(), and SCIPfreeRepresentation().
SCIP_RETCODE SCIPreoptnodeAddBndchg | ( | SCIP_REOPTNODE * | reoptnode, |
SCIP_SET * | set, | ||
BMS_BLKMEM * | blkmem, | ||
SCIP_VAR * | var, | ||
SCIP_Real | val, | ||
SCIP_BOUNDTYPE | boundtype | ||
) |
add a variable to a given reoptnode
reoptnode | node of the reopttree |
set | global SCIP settings |
blkmem | block memory |
var | variable to add |
val | value of the variable |
boundtype | boundtype of the variable |
Definition at line 7931 of file reopt.c.
References SCIP_ReoptNode::nvars, reoptnodeCheckMemory(), SCIP_CALL, SCIP_OKAY, SCIP_ReoptNode::varbounds, SCIP_ReoptNode::varboundtypes, and SCIP_ReoptNode::vars.
Referenced by SCIPaddReoptnodeBndchg(), SCIPreoptApplyCompression(), and SCIPreoptnodeAddCons().
SCIP_RETCODE SCIPreoptnodeAddCons | ( | SCIP_REOPTNODE * | reoptnode, |
SCIP_SET * | set, | ||
BMS_BLKMEM * | blkmem, | ||
SCIP_VAR ** | vars, | ||
SCIP_Real * | bounds, | ||
SCIP_BOUNDTYPE * | boundtypes, | ||
SCIP_Real | lhs, | ||
SCIP_Real | rhs, | ||
int | nvars, | ||
REOPT_CONSTYPE | constype, | ||
SCIP_Bool | linear | ||
) |
add a constraint to a given reoptnode
reoptnode | node of the reopttree |
set | global SCIP settings |
blkmem | block memory |
vars | variables which are part of the constraint |
bounds | bounds of the variables |
boundtypes | boundtypes of the variables (or NULL is the constraint is a cut) |
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 7959 of file reopt.c.
References BMSallocBlockMemory, BMSduplicateBlockMemoryArray, SCIP_ReoptNode::conss, SCIP_ReoptNode::nconss, REOPT_CONSTYPE_CUT, REOPT_CONSTYPE_DUALREDS, REOPT_CONSTYPE_INFSUBTREE, reoptnodeCheckMemory(), SCIP_ALLOC, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VARTYPE_BINARY, SCIP_VARTYPE_INTEGER, SCIPreoptnodeAddBndchg(), SCIPsetDebugMsg, SCIPsetIsGE(), SCIPsetIsLE(), SCIPvarGetLbLocal(), SCIPvarGetType(), and SCIPvarGetUbLocal().
Referenced by SCIPaddReoptnodeCons(), SCIPreoptApplyCompression(), and storeCuts().
void SCIPreoptnodeGetPath | ( | SCIP_REOPT * | reopt, |
SCIP_REOPTNODE * | reoptnode, | ||
SCIP_VAR ** | vars, | ||
SCIP_Real * | vals, | ||
SCIP_BOUNDTYPE * | boundtypes, | ||
int | varssize, | ||
int * | nbndchgs, | ||
int * | nbndchgsafterdual | ||
) |
return the branching path of the given node in the reoptimization tree
return the branching path stored of the given node in the reoptimization tree
reopt | reoptimization data structure |
reoptnode | node of the reoptimization tree |
vars | array for variables |
vals | array for values |
boundtypes | array for bound types |
varssize | size of arrays vars, vals, and boundtypes |
nbndchgs | pointer to store the number of bound changes |
nbndchgsafterdual | pointer to store the number of bound changes applied after the first dual reduction at the given node |
Definition at line 7172 of file reopt.c.
References SCIP_ReoptNode::afterdualvarbounds, SCIP_ReoptNode::afterdualvarboundtypes, SCIP_ReoptNode::afterdualvars, SCIP_ReoptNode::nafterdualvars, SCIP_ReoptNode::nvars, SCIP_ReoptNode::parentID, SCIP_ReoptTree::reoptnodes, SCIP_Reopt::reopttree, SCIPreoptnodeGetPath(), SCIP_ReoptNode::varbounds, SCIP_ReoptNode::varboundtypes, and SCIP_ReoptNode::vars.
Referenced by SCIPgetReoptnodePath(), and SCIPreoptnodeGetPath().
SCIP_RETCODE SCIPreoptAddCons | ( | SCIP_REOPT * | reopt, |
SCIP_SET * | set, | ||
BMS_BLKMEM * | blkmem, | ||
SCIP_CONS * | cons | ||
) |
add a constraint to the reoptimization data structure
reopt | reoptimization data structure |
set | global SCIP settings |
blkmem | block memory |
cons | constraint to add |
Definition at line 8050 of file reopt.c.
References SCIP_Reopt::addedconss, SCIP_Reopt::addedconsssize, BMSallocClearBlockMemoryArray, BMSclearMemoryArray, BMSreallocBlockMemoryArray, SCIP_Reopt::consadded, SCIP_Reopt::naddedconss, SCIP_ALLOC, SCIP_OKAY, SCIPconsCapture(), SCIPsetCalcMemGrowSize(), and TRUE.
Referenced by SCIPaddCons().
SCIP_RETCODE SCIPreoptSaveGlobalBounds | ( | SCIP_REOPT * | reopt, |
SCIP_PROB * | transprob, | ||
BMS_BLKMEM * | blkmem | ||
) |
save global lower and upper bounds
save global lower and upper bounds
reopt | reoptimization data structure |
transprob | transformed problem data |
blkmem | block memory |
Definition at line 8097 of file reopt.c.
References SCIP_Reopt::glblb, SCIP_Reopt::glbub, SCIP_CALL, SCIP_OKAY, SCIPhashmapCreate(), SCIPhashmapExists(), SCIPhashmapInsertReal(), SCIPprobGetNVars(), SCIPprobGetVars(), SCIPvarGetLbGlobal(), and SCIPvarGetUbGlobal().
Referenced by prepareReoptimization().
SCIP_RETCODE SCIPreoptSaveActiveConss | ( | SCIP_REOPT * | reopt, |
SCIP_PROB * | transprob, | ||
BMS_BLKMEM * | blkmem | ||
) |
save active constraints
reopt | reoptimization data structure |
transprob | transformed problem data |
blkmem | block memory |
Definition at line 8135 of file reopt.c.
References SCIP_Reopt::activeconss, SCIP_Prob::conss, SCIP_Prob::nconss, SCIP_CALL, SCIP_OKAY, SCIPconsIsActive(), SCIPhashmapCreate(), SCIPhashmapExists(), and SCIPhashmapInsert().
Referenced by prepareReoptimization().
SCIP_RETCODE SCIPreoptInstallBounds | ( | SCIP_REOPT * | reopt, |
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
SCIP_PROB * | transprob, | ||
SCIP_LP * | lp, | ||
SCIP_BRANCHCAND * | branchcand, | ||
SCIP_EVENTQUEUE * | eventqueue, | ||
SCIP_CLIQUETABLE * | cliquetable, | ||
BMS_BLKMEM * | blkmem | ||
) |
installs global lower and upper bounds
reopt | reoptimization data structure |
set | global SCIP settings |
stat | dynamic SCIP statistics |
transprob | transformed problem data |
lp | current LP data |
branchcand | branching candidate storage |
eventqueue | event queue |
cliquetable | clique table data structure |
blkmem | block memory |
Definition at line 8167 of file reopt.c.
References SCIP_Reopt::glblb, SCIP_Reopt::glbub, SCIP_CALL, SCIP_INVALID, SCIP_OKAY, SCIP_Real, SCIPhashmapExists(), SCIPhashmapGetImageReal(), SCIPprobGetNVars(), SCIPprobGetVars(), SCIPprobIsTransformed(), SCIPvarChgLbGlobal(), SCIPvarChgLbLocal(), SCIPvarChgUbGlobal(), and SCIPvarChgUbLocal().
Referenced by prepareReoptimization().
SCIP_RETCODE SCIPreoptResetActiveConss | ( | SCIP_REOPT * | reopt, |
SCIP_SET * | set, | ||
SCIP_STAT * | stat | ||
) |
reactivate globally valid constraints that were deactivated and necessary to ensure correctness
reopt | reoptimization data structure |
set | global SCIP settings |
stat | dynamic SCIP statistics |
Definition at line 8217 of file reopt.c.
References SCIP_Reopt::activeconss, SCIP_CALL, SCIP_OKAY, SCIPconsActivate(), SCIPconsDeactivate(), SCIPconsIsActive(), SCIPconsIsDeleted(), SCIPhashmapEntryGetImage(), SCIPhashmapGetEntry(), SCIPhashmapGetNEntries(), and TRUE.
Referenced by prepareReoptimization().
SCIP_Bool SCIPreoptConsCanBeDeleted | ( | SCIP_REOPT * | reopt, |
SCIP_CONS * | cons | ||
) |
returns whether a constraint is necessary to ensure correctness and cannot be deleted
reopt | reoptimization data structure |
cons | problem constraint |
Definition at line 8258 of file reopt.c.
References SCIP_Reopt::activeconss, SCIPhashmapExists(), and TRUE.
Referenced by SCIPconsDelete().