SCIP
Solving Constraint Integer Programs
Solving Constraint Integer Programs
methods for storing conflicts
Definition in file conflictstore.c.
#include <assert.h>#include <string.h>#include "scip/conflictstore.h"#include "scip/cons.h"#include "scip/event.h"#include "scip/set.h"#include "scip/tree.h"#include "scip/misc.h"#include "scip/prob.h"#include "scip/reopt.h"#include "scip/scip.h"#include "scip/def.h"#include "scip/cons_linear.h"#include "scip/struct_conflictstore.h"Go to the source code of this file.
Macros | |
| #define | CONFLICTSTORE_DUALSIZE 100 /* default size of conflict store */ |
| #define | CONFLICTSTORE_MINSIZE 2000 /* default minimal size of a dynamic conflict store */ |
| #define | CONFLICTSTORE_MAXSIZE 60000 /* maximal size of a dynamic conflict store (multiplied by 3) */ |
| #define | CONFLICTSTORE_SIZE 10000 /* default size of conflict store */ |
| #define | CONFLICTSTORE_SORTFREQ 20 /* frequency to resort the conflict array */ |
| #define | EVENTHDLR_NAME "ConflictStore" |
| #define | EVENTHDLR_DESC "Solution event handler for conflict store." |
| #define CONFLICTSTORE_DUALSIZE 100 /* default size of conflict store */ |
Definition at line 40 of file conflictstore.c.
Referenced by SCIPconflictstoreAddDualraycons(), and SCIPconflictstoreFree().
| #define CONFLICTSTORE_MINSIZE 2000 /* default minimal size of a dynamic conflict store */ |
Definition at line 41 of file conflictstore.c.
Referenced by conflictstoreAddOrigConflict(), and initConflictstore().
| #define CONFLICTSTORE_MAXSIZE 60000 /* maximal size of a dynamic conflict store (multiplied by 3) */ |
Definition at line 42 of file conflictstore.c.
Referenced by initConflictstore().
| #define CONFLICTSTORE_SIZE 10000 /* default size of conflict store */ |
Definition at line 43 of file conflictstore.c.
Referenced by conflictstoreEnsureMem().
| #define CONFLICTSTORE_SORTFREQ 20 /* frequency to resort the conflict array */ |
Definition at line 44 of file conflictstore.c.
Referenced by conflictstoreCleanUpStorage().
| #define EVENTHDLR_NAME "ConflictStore" |
Definition at line 47 of file conflictstore.c.
Referenced by SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXITSOL(), SCIP_DECL_EVENTINITSOL(), and SCIPconflictstoreCreate().
| #define EVENTHDLR_DESC "Solution event handler for conflict store." |
Definition at line 48 of file conflictstore.c.
Referenced by SCIPconflictstoreCreate().
|
static |
Definition at line 53 of file conflictstore.c.
References EVENTHDLR_NAME, NULL, SCIP_CALL, SCIP_EVENTTYPE_BESTSOLFOUND, SCIP_OKAY, SCIP_STAGE_PRESOLVING, SCIP_STAGE_SOLVING, SCIPclearConflictStore(), SCIPeventGetType(), SCIPeventhdlrGetName(), and SCIPgetStage().
|
static |
solving process initialization method of event handler (called when branch and bound process is about to begin)
Definition at line 70 of file conflictstore.c.
References EVENTHDLR_NAME, NULL, SCIP_Bool, SCIP_CALL, SCIP_EVENTTYPE_BESTSOLFOUND, SCIP_OKAY, SCIPcatchEvent(), SCIPeventhdlrGetName(), and SCIPgetBoolParam().
|
static |
solving process deinitialization method of event handler (called before branch and bound process data is freed)
Definition at line 90 of file conflictstore.c.
References EVENTHDLR_NAME, NULL, SCIP_Bool, SCIP_CALL, SCIP_EVENTTYPE_BESTSOLFOUND, SCIP_OKAY, SCIPdropEvent(), SCIPeventhdlrGetName(), and SCIPgetBoolParam().
|
static |
Definition at line 110 of file conflictstore.c.
References NULL, SCIP_Bool, SCIP_CALL, SCIPconsGetAge(), and SCIPgetConsNVars().
|
static |
| conflictstore | conflict store |
| set | global SCIP settings |
| transprob | transformed problem |
Definition at line 152 of file conflictstore.c.
References CONFLICTSTORE_MAXSIZE, CONFLICTSTORE_MINSIZE, SCIP_ConflictStore::initstoresize, SCIP_ConflictStore::maxstoresize, MIN, NULL, SCIP_CALL, SCIP_OKAY, SCIPprobGetNConss(), SCIPprobGetNVars(), SCIPsetDebugMsg, SCIPsetGetIntParam(), and SCIP_ConflictStore::storesize.
Referenced by SCIPconflictstoreAddConflict().
|
static |
resizes conflict and primal bound arrays to be able to store at least num entries
| conflictstore | conflict store |
| set | global SCIP settings |
| blkmem | block memory |
| num | minimal number of slots in array |
Definition at line 208 of file conflictstore.c.
References BMSallocBlockMemoryArray, BMSreallocBlockMemoryArray, SCIP_ConflictStore::conflicts, SCIP_ConflictStore::conflictsize, CONFLICTSTORE_SIZE, SCIP_ConflictStore::maxstoresize, MIN, SCIP_ConflictStore::nconflicts, NULL, SCIP_ConflictStore::primalbounds, SCIP_ALLOC, SCIP_OKAY, SCIPsetCalcMemGrowSize(), SCIPsetInfinity(), and SCIP_ConflictStore::storesize.
Referenced by SCIPconflictstoreAddConflict().
|
static |
| conflictstore | conflict store |
| set | global SCIP settings |
Definition at line 266 of file conflictstore.c.
References SCIP_ConflictStore::maxstoresize, MIN, SCIP_ConflictStore::nconflicts, NULL, SCIP_Real, and SCIP_ConflictStore::storesize.
Referenced by conflictstoreCleanUpStorage().
|
static |
| conflictstore | conflict store |
| set | global SCIP settings |
| stat | dynamic SCIP statistics |
| transprob | transformed problem, or NULL if delete = FALSE |
| blkmem | block memory |
| reopt | reoptimization data |
| pos | position to remove |
| deleteconflict | should the conflict be deleted? |
Definition at line 287 of file conflictstore.c.
References SCIP_ConflictStore::conflicts, SCIP_ConflictStore::ncbconflicts, SCIP_ConflictStore::nconflicts, NULL, SCIP_ConflictStore::primalbounds, REALABS, SCIP_CALL, SCIP_OKAY, SCIPconsDelete(), SCIPconsGetAge(), SCIPconsIsDeleted(), SCIPconsRelease(), SCIPsetDebugMsg, SCIPsetInfinity(), and SCIPsetIsInfinity().
Referenced by cleanDeletedConflicts(), conflictstoreCleanUpStorage(), SCIPconflictstoreClean(), and SCIPconflictstoreCleanNewIncumbent().
|
static |
| conflictstore | conflict store |
| set | global SCIP settings |
| stat | dynamic SCIP statistics |
| transprob | transformed problem, or NULL if delete = FALSE |
| blkmem | block memory |
| reopt | reoptimization data |
| pos | position to remove |
| deleteconflict | should the dual ray be deleted? |
Definition at line 343 of file conflictstore.c.
References SCIP_ConflictStore::dualrayconfs, SCIP_ConflictStore::ndualrayconfs, SCIP_ConflictStore::nnzdualrays, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPconsDelete(), SCIPconsGetAge(), SCIPconsGetNVars(), SCIPconsIsDeleted(), SCIPconsRelease(), and SCIPsetDebugMsg.
Referenced by SCIPconflictstoreAddDualraycons(), and SCIPconflictstoreClean().
|
static |
removes all deleted conflicts from the storage
| conflictstore | conflict store |
| set | global SCIP settings |
| stat | dynamic SCIP statistics |
| blkmem | block memory |
| reopt | reoptimization data |
| ndelconfs | pointer to store the number of deleted conflicts |
Definition at line 400 of file conflictstore.c.
References SCIP_ConflictStore::conflicts, delPosConflict(), FALSE, SCIP_ConflictStore::nconflicts, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsIsDeleted(), and SCIPsetDebugMsg.
Referenced by conflictstoreCleanUpStorage().
|
static |
cleans up the storage
| conflictstore | conflict store |
| set | global SCIP settings |
| stat | dynamic SCIP statistics |
| transprob | transformed problem |
| blkmem | block memory |
| reopt | reoptimization data |
Definition at line 442 of file conflictstore.c.
References adjustStorageSize(), cleanDeletedConflicts(), SCIP_ConflictStore::conflicts, SCIP_ConflictStore::conflictsize, CONFLICTSTORE_SORTFREQ, delPosConflict(), SCIP_ConflictStore::initstoresize, SCIP_ConflictStore::maxstoresize, SCIP_ConflictStore::ncbconflicts, SCIP_ConflictStore::ncleanups, SCIP_ConflictStore::nconflicts, NULL, SCIP_ConflictStore::primalbounds, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPconsGetAge(), SCIPconsIsDeleted(), SCIPsetDebugMsg, SCIPsetIsGE(), SCIPsortPtrReal(), SCIP_ConflictStore::storesize, and TRUE.
Referenced by SCIPconflictstoreAddConflict().
|
static |
adds an original conflict constraint to the store
| conflictstore | conflict store |
| set | global SCIP settings |
| blkmem | block memory |
| cons | conflict constraint |
Definition at line 543 of file conflictstore.c.
References BMSallocBlockMemoryArray, BMSreallocBlockMemoryArray, CONFLICTSTORE_MINSIZE, SCIP_ConflictStore::norigconfs, NULL, SCIP_ConflictStore::origconflictsize, SCIP_ConflictStore::origconfs, SCIP_ALLOC, SCIP_OKAY, SCIPconsCapture(), and SCIPsetCalcMemGrowSize().
Referenced by SCIPconflictstoreAddConflict().
| SCIP_RETCODE SCIPconflictstoreCreate | ( | SCIP_CONFLICTSTORE ** | conflictstore, |
| SCIP_SET * | set | ||
| ) |
creates conflict store
| conflictstore | pointer to store conflict store |
| set | global SCIP settings |
Definition at line 574 of file conflictstore.c.
References BMSallocMemory, EVENTHDLR_DESC, EVENTHDLR_NAME, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPeventhdlrCreate(), SCIPsetFindEventhdlr(), and SCIPsetIncludeEventhdlr().
Referenced by copyProb(), and SCIPcreateProb().
| SCIP_RETCODE SCIPconflictstoreFree | ( | SCIP_CONFLICTSTORE ** | conflictstore, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_REOPT * | reopt | ||
| ) |
frees conflict store
| conflictstore | pointer to store conflict store |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic SCIP statistics |
| reopt | reoptimization data |
Definition at line 615 of file conflictstore.c.
References BMSfreeBlockMemoryArrayNull, BMSfreeMemoryNull, CONFLICTSTORE_DUALSIZE, NULL, SCIP_CALL, SCIP_OKAY, and SCIPconflictstoreClean().
Referenced by SCIPfreeProb().
| SCIP_RETCODE SCIPconflictstoreClean | ( | SCIP_CONFLICTSTORE * | conflictstore, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_REOPT * | reopt | ||
| ) |
cleans conflict store
| conflictstore | conflict store |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic SCIP statistics |
| reopt | reoptimization data |
Definition at line 639 of file conflictstore.c.
References SCIP_ConflictStore::conflicts, delPosConflict(), delPosDualray(), SCIP_ConflictStore::dualrayconfs, FALSE, SCIP_ConflictStore::nconflicts, SCIP_ConflictStore::ndualrayconfs, SCIP_ConflictStore::norigconfs, NULL, SCIP_ConflictStore::origconfs, SCIP_CALL, SCIP_OKAY, SCIPconsRelease(), and SCIPsetDebugMsg.
Referenced by freeReoptSolve(), freeSolve(), freeTransform(), and SCIPconflictstoreFree().
| SCIP_RETCODE SCIPconflictstoreAddDualraycons | ( | SCIP_CONFLICTSTORE * | conflictstore, |
| SCIP_CONS * | dualraycons, | ||
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_PROB * | transprob, | ||
| SCIP_REOPT * | reopt | ||
| ) |
adds a constraint to the pool of dual rays
| conflictstore | conflict store |
| dualraycons | constraint based on a dual ray |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic SCIP statistics |
| transprob | transformed problem |
| reopt | reoptimization data |
Definition at line 692 of file conflictstore.c.
References BMSallocBlockMemoryArray, CONFLICTSTORE_DUALSIZE, delPosDualray(), SCIP_ConflictStore::dualrayconfs, SCIP_ConflictStore::ndualrayconfs, SCIP_ConflictStore::nnzdualrays, NULL, SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIPconsGetAge(), SCIPconsGetNVars(), SCIPconsIsDeleted(), SCIPconsMarkConflict(), SCIPsetIsGE(), SCIPsortPtr(), and TRUE.
Referenced by createAndAddDualray().
| SCIP_RETCODE SCIPconflictstoreAddConflict | ( | SCIP_CONFLICTSTORE * | conflictstore, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_TREE * | tree, | ||
| SCIP_PROB * | transprob, | ||
| SCIP_REOPT * | reopt, | ||
| SCIP_CONS * | cons, | ||
| SCIP_CONFTYPE | conftype, | ||
| SCIP_Bool | cutoffinvolved, | ||
| SCIP_Real | primalbound | ||
| ) |
adds a conflict to the conflict store
| conflictstore | conflict store |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic SCIP statistics |
| tree | branch and bound tree (or NULL for an original constraint) |
| transprob | transformed problem (or NULL for an original constraint) |
| reopt | reoptimization data |
| cons | constraint representing the conflict |
| conftype | type of the conflict |
| cutoffinvolved | is a cutoff bound involved in this conflict |
| primalbound | primal bound the conflict depend on (or -SCIPinfinity) |
Definition at line 773 of file conflictstore.c.
References SCIP_ConflictStore::conflicts, SCIP_ConflictStore::conflictsize, conflictstoreAddOrigConflict(), conflictstoreCleanUpStorage(), conflictstoreEnsureMem(), initConflictstore(), SCIP_ConflictStore::initstoresize, SCIP_ConflictStore::lastnodenum, SCIP_ConflictStore::maxstoresize, SCIP_ConflictStore::ncbconflicts, SCIP_ConflictStore::nconflicts, SCIP_ConflictStore::nconflictsfound, NULL, SCIP_ConflictStore::primalbounds, REALABS, SCIP_CALL, SCIP_CONFTYPE_BNDEXCEEDING, SCIP_Longint, SCIP_OKAY, SCIP_STAGE_PROBLEM, SCIPconsCapture(), SCIPconsGetName(), SCIPconsIsOriginal(), SCIPconsMarkConflict(), SCIPnodeGetNumber(), SCIPsetDebugMsg, SCIPsetGetStage(), SCIPsetIsInfinity(), and SCIPtreeGetFocusNode().
Referenced by SCIPaddConflict(), SCIPconflictstoreTransform(), and SCIPcopyConss().
| SCIP_RETCODE SCIPconflictstoreCleanNewIncumbent | ( | SCIP_CONFLICTSTORE * | conflictstore, |
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| BMS_BLKMEM * | blkmem, | ||
| SCIP_PROB * | transprob, | ||
| SCIP_REOPT * | reopt, | ||
| SCIP_Real | cutoffbound | ||
| ) |
deletes all conflicts depending on a cutoff bound larger than the given bound
| conflictstore | conflict store |
| set | global SCIP settings |
| stat | dynamic SCIP statistics |
| blkmem | block memory |
| transprob | transformed problem |
| reopt | reoptimization data |
| cutoffbound | current cutoff bound |
Definition at line 865 of file conflictstore.c.
References SCIP_ConflictStore::conflicts, delPosConflict(), SCIP_ConflictStore::ncbconflicts, SCIP_ConflictStore::nconflicts, NULL, SCIP_ConflictStore::primalbounds, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPsetDebugMsg, SCIPsetIsGT(), SCIPsetIsPositive(), and TRUE.
Referenced by SCIPclearConflictStore().
| int SCIPconflictstoreGetMaxPoolSize | ( | SCIP_CONFLICTSTORE * | conflictstore | ) |
returns the maximal size of the conflict pool
| conflictstore | conflict store |
Definition at line 934 of file conflictstore.c.
References SCIP_ConflictStore::maxstoresize, MIN, NULL, and SCIP_ConflictStore::storesize.
Referenced by printConflictStatistics().
| int SCIPconflictstoreGetInitPoolSize | ( | SCIP_CONFLICTSTORE * | conflictstore | ) |
returns the initial size of the conflict pool
| conflictstore | conflict store |
Definition at line 944 of file conflictstore.c.
References SCIP_ConflictStore::initstoresize, and NULL.
Referenced by printConflictStatistics().
| int SCIPconflictstoreGetNConflictsInStore | ( | SCIP_CONFLICTSTORE * | conflictstore | ) |
returns the number of stored conflicts on the conflict pool
| conflictstore | conflict store |
Definition at line 957 of file conflictstore.c.
References SCIP_ConflictStore::nconflicts, and NULL.
Referenced by SCIPcopyConflicts().
| SCIP_RETCODE SCIPconflictstoreGetConflicts | ( | SCIP_CONFLICTSTORE * | conflictstore, |
| SCIP_CONS ** | conflicts, | ||
| int | conflictsize, | ||
| int * | nconflicts | ||
| ) |
returns all active conflicts stored in the conflict store
| conflictstore | conflict store |
| conflicts | array to store conflicts |
| conflictsize | size of the conflict array |
| nconflicts | pointer to store the number of conflicts |
Definition at line 967 of file conflictstore.c.
References SCIP_ConflictStore::conflicts, SCIP_ConflictStore::nconflicts, NULL, SCIP_OKAY, SCIPconsIsActive(), and SCIPconsIsDeleted().
Referenced by SCIPcopyConflicts().
| SCIP_RETCODE SCIPconflictstoreTransform | ( | SCIP_CONFLICTSTORE * | conflictstore, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_TREE * | tree, | ||
| SCIP_PROB * | transprob, | ||
| SCIP_REOPT * | reopt | ||
| ) |
transformes all original conflicts into transformed conflicts
| conflictstore | conflict store |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic SCIP statistics |
| tree | branch and bound tree |
| transprob | transformed problem |
| reopt | reoptimization data |
Definition at line 1011 of file conflictstore.c.
References FALSE, SCIP_ConflictStore::norigconfs, NULL, SCIP_ConflictStore::origconfs, SCIP_CALL, SCIP_CONFTYPE_UNKNOWN, SCIP_OKAY, SCIP_STAGE_TRANSFORMING, SCIPconflictstoreAddConflict(), SCIPconsGetTransformed(), SCIPconsIsOriginal(), SCIPconsRelease(), SCIPsetDebugMsg, SCIPsetGetStage(), and SCIPsetInfinity().
Referenced by SCIPprobTransform().
| SCIP_Real SCIPconflictstoreGetAvgNnzDualray | ( | SCIP_CONFLICTSTORE * | conflictstore | ) |
returns the average number of non-zeros over all stored dual ray constraints
| conflictstore | conflict store |
Definition at line 1062 of file conflictstore.c.
References SCIP_ConflictStore::ndualrayconfs, SCIP_ConflictStore::nnzdualrays, NULL, and SCIP_Real.
Referenced by createAndAddDualray().
| int SCIPconflictstoreGetNDualrays | ( | SCIP_CONFLICTSTORE * | conflictstore | ) |
returns the number of all stored dual ray constraints
| conflictstore | conflict store |
Definition at line 1075 of file conflictstore.c.
References SCIP_ConflictStore::ndualrayconfs, and NULL.
Referenced by createAndAddDualray().