SCIP
Solving Constraint Integer Programs
Detailed Description
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_DUALRAYSIZE 100 /* default size of conflict store */ |
| #define | CONFLICTSTORE_DUALSOLSIZE 75 /* 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." |
Macro Definition Documentation
◆ CONFLICTSTORE_DUALRAYSIZE
| #define CONFLICTSTORE_DUALRAYSIZE 100 /* default size of conflict store */ |
Definition at line 40 of file conflictstore.c.
Referenced by SCIPconflictstoreAddDualraycons(), and SCIPconflictstoreFree().
◆ CONFLICTSTORE_DUALSOLSIZE
| #define CONFLICTSTORE_DUALSOLSIZE 75 /* default size of conflict store */ |
Definition at line 41 of file conflictstore.c.
Referenced by SCIPconflictstoreAddDualsolcons(), and SCIPconflictstoreFree().
◆ CONFLICTSTORE_MINSIZE
| #define CONFLICTSTORE_MINSIZE 2000 /* default minimal size of a dynamic conflict store */ |
Definition at line 42 of file conflictstore.c.
Referenced by conflictstoreAddOrigConflict(), and initConflictstore().
◆ CONFLICTSTORE_MAXSIZE
| #define CONFLICTSTORE_MAXSIZE 60000 /* maximal size of a dynamic conflict store (multiplied by 3) */ |
Definition at line 43 of file conflictstore.c.
Referenced by initConflictstore().
◆ CONFLICTSTORE_SIZE
| #define CONFLICTSTORE_SIZE 10000 /* default size of conflict store */ |
Definition at line 44 of file conflictstore.c.
Referenced by conflictstoreEnsureMem().
◆ CONFLICTSTORE_SORTFREQ
| #define CONFLICTSTORE_SORTFREQ 20 /* frequency to resort the conflict array */ |
Definition at line 45 of file conflictstore.c.
Referenced by conflictstoreCleanUpStorage().
◆ EVENTHDLR_NAME
| #define EVENTHDLR_NAME "ConflictStore" |
Definition at line 48 of file conflictstore.c.
Referenced by SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXITSOL(), SCIP_DECL_EVENTINITSOL(), and SCIPconflictstoreCreate().
◆ EVENTHDLR_DESC
| #define EVENTHDLR_DESC "Solution event handler for conflict store." |
Definition at line 49 of file conflictstore.c.
Referenced by SCIPconflictstoreCreate().
Function Documentation
◆ SCIP_DECL_EVENTEXEC()
|
static |
Definition at line 54 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().
◆ SCIP_DECL_EVENTINITSOL()
|
static |
solving process initialization method of event handler (called when branch and bound process is about to begin)
Definition at line 71 of file conflictstore.c.
References EVENTHDLR_NAME, NULL, SCIP_Bool, SCIP_CALL, SCIP_EVENTTYPE_BESTSOLFOUND, SCIP_OKAY, SCIPcatchEvent(), SCIPeventhdlrGetName(), and SCIPgetBoolParam().
◆ SCIP_DECL_EVENTEXITSOL()
|
static |
solving process deinitialization method of event handler (called before branch and bound process data is freed)
Definition at line 91 of file conflictstore.c.
References EVENTHDLR_NAME, NULL, SCIP_Bool, SCIP_CALL, SCIP_EVENTTYPE_BESTSOLFOUND, SCIP_OKAY, SCIPdropEvent(), SCIPeventhdlrGetName(), and SCIPgetBoolParam().
◆ SCIP_DECL_SORTPTRCOMP()
|
static |
Definition at line 111 of file conflictstore.c.
References NULL, SCIP_Bool, SCIP_CALL, SCIPconsGetAge(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), and SCIPgetConsNVars().
◆ initConflictstore()
|
static |
- Parameters
-
conflictstore conflict store set global SCIP settings transprob transformed problem
Definition at line 163 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().
◆ conflictstoreEnsureMem()
|
static |
resizes conflict and primal bound arrays to be able to store at least num entries
- Parameters
-
conflictstore conflict store set global SCIP settings blkmem block memory num minimal number of slots in array
Definition at line 219 of file conflictstore.c.
References BMSallocBlockMemoryArray, BMSreallocBlockMemoryArray, SCIP_ConflictStore::conflicts, SCIP_ConflictStore::conflictsize, CONFLICTSTORE_SIZE, SCIP_ConflictStore::confprimalbnds, MAX, SCIP_ConflictStore::maxstoresize, MIN, SCIP_ConflictStore::nconflicts, NULL, SCIP_ALLOC, SCIP_OKAY, SCIPsetCalcMemGrowSize(), SCIPsetInfinity(), and SCIP_ConflictStore::storesize.
Referenced by SCIPconflictstoreAddConflict().
◆ adjustStorageSize()
|
static |
- Parameters
-
conflictstore conflict store set global SCIP settings
Definition at line 280 of file conflictstore.c.
References SCIP_ConflictStore::maxstoresize, MIN, SCIP_ConflictStore::nconflicts, NULL, SCIP_Real, and SCIP_ConflictStore::storesize.
Referenced by conflictstoreCleanUpStorage().
◆ delPosConflict()
|
static |
- Parameters
-
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 301 of file conflictstore.c.
References SCIP_ConflictStore::conflicts, SCIP_ConflictStore::confprimalbnds, SCIP_ConflictStore::ncbconflicts, SCIP_ConflictStore::nconflicts, NULL, REALABS, SCIP_CALL, SCIP_LOCKTYPE_CONFLICT, SCIP_OKAY, SCIPconsAddLocks(), SCIPconsDelete(), SCIPconsGetAge(), SCIPconsGetName(), SCIPconsIsDeleted(), SCIPconsRelease(), SCIPsetDebugMsg, SCIPsetInfinity(), and SCIPsetIsInfinity().
Referenced by cleanDeletedAndCheckedConflicts(), conflictstoreCleanUpStorage(), SCIPconflictstoreCleanNewIncumbent(), and SCIPconflictstoreClear().
◆ delPosDualray()
|
static |
- Parameters
-
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 360 of file conflictstore.c.
References SCIP_ConflictStore::dualrayconfs, SCIP_ConflictStore::ndualrayconfs, SCIP_ConflictStore::nnzdualrays, NULL, SCIP_Bool, SCIP_CALL, SCIP_LOCKTYPE_CONFLICT, SCIP_OKAY, SCIPconsAddLocks(), SCIPconsDelete(), SCIPconsGetAge(), SCIPconsGetNVars(), SCIPconsIsDeleted(), SCIPconsRelease(), and SCIPsetDebugMsg.
Referenced by cleanDeletedAndCheckedDualrayCons(), SCIPconflictstoreAddDualraycons(), and SCIPconflictstoreClear().
◆ delPosDualsol()
|
static |
- Parameters
-
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 420 of file conflictstore.c.
References SCIP_ConflictStore::dualprimalbnds, SCIP_ConflictStore::dualsolconfs, FALSE, SCIP_ConflictStore::ndualsolconfs, SCIP_ConflictStore::nnzdualsols, NULL, SCIP_ConflictStore::scalefactors, SCIP_Bool, SCIP_CALL, SCIP_LOCKTYPE_CONFLICT, SCIP_OKAY, SCIP_UNKNOWN, SCIPconsAddLocks(), SCIPconsDelete(), SCIPconsGetAge(), SCIPconsGetNVars(), SCIPconsIsDeleted(), SCIPconsRelease(), SCIPsetDebugMsg, and SCIP_ConflictStore::updateside.
Referenced by cleanDeletedAndCheckedDualsolCons(), SCIPconflictstoreAddDualsolcons(), SCIPconflictstoreCleanNewIncumbent(), and SCIPconflictstoreClear().
◆ cleanDeletedAndCheckedConflicts()
|
static |
removes all deleted conflicts from the storage
- Parameters
-
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 487 of file conflictstore.c.
References SCIP_ConflictStore::conflicts, delPosConflict(), FALSE, SCIP_ConflictStore::nconflicts, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsIsChecked(), SCIPconsIsDeleted(), and SCIPsetDebugMsg.
Referenced by conflictstoreCleanUpStorage(), and SCIPconflictstoreClean().
◆ cleanDeletedAndCheckedDualrayCons()
|
static |
removes all deleted dual proofs of infeasible LP relaxations from the storage
- Parameters
-
conflictstore conflict store set global SCIP settings stat dynamic SCIP statistics blkmem block memory reopt reoptimization data ndelproofs pointer to store the number of deleted conflicts
Definition at line 523 of file conflictstore.c.
References delPosDualray(), SCIP_ConflictStore::dualrayconfs, FALSE, SCIP_ConflictStore::ndualrayconfs, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsIsChecked(), SCIPconsIsDeleted(), and SCIPsetDebugMsg.
Referenced by SCIPconflictstoreAddDualraycons(), and SCIPconflictstoreClean().
◆ cleanDeletedAndCheckedDualsolCons()
|
static |
removes all deleted dual proofs of bound exceeding LP relaxations from the storage
- Parameters
-
conflictstore conflict store set global SCIP settings stat dynamic SCIP statistics blkmem block memory reopt reoptimization data ndelproofs pointer to store the number of deleted conflicts
Definition at line 561 of file conflictstore.c.
References delPosDualsol(), SCIP_ConflictStore::dualsolconfs, FALSE, SCIP_ConflictStore::ndualrayconfs, SCIP_ConflictStore::ndualsolconfs, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsIsChecked(), SCIPconsIsDeleted(), and SCIPsetDebugMsg.
Referenced by SCIPconflictstoreAddDualsolcons(), and SCIPconflictstoreClean().
◆ conflictstoreCleanUpStorage()
|
static |
cleans up the storage
- Parameters
-
conflictstore conflict store set global SCIP settings stat dynamic SCIP statistics transprob transformed problem blkmem block memory reopt reoptimization data
Definition at line 599 of file conflictstore.c.
References adjustStorageSize(), cleanDeletedAndCheckedConflicts(), SCIP_ConflictStore::conflicts, SCIP_ConflictStore::conflictsize, CONFLICTSTORE_SORTFREQ, SCIP_ConflictStore::confprimalbnds, delPosConflict(), SCIP_ConflictStore::initstoresize, SCIP_ConflictStore::maxstoresize, SCIP_ConflictStore::ncbconflicts, SCIP_ConflictStore::ncleanups, SCIP_ConflictStore::nconflicts, NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPconsGetAge(), SCIPconsIsDeleted(), SCIPsetDebugMsg, SCIPsetIsGE(), SCIPsortPtrReal(), SCIP_ConflictStore::storesize, and TRUE.
Referenced by SCIPconflictstoreAddConflict().
◆ conflictstoreAddOrigConflict()
|
static |
adds an original conflict constraint to the store
- Note
- the constraint will be only transfered to the storage of the transformed problem after calling SCIPconflictstoreTransform()
- Parameters
-
conflictstore conflict store set global SCIP settings blkmem block memory cons conflict constraint
Definition at line 700 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().
◆ SCIPconflictstoreCreate()
| SCIP_RETCODE SCIPconflictstoreCreate | ( | SCIP_CONFLICTSTORE ** | conflictstore, |
| SCIP_SET * | set | ||
| ) |
creates conflict store
- Parameters
-
conflictstore pointer to store conflict store set global SCIP settings
Definition at line 731 of file conflictstore.c.
References BMSallocMemory, EVENTHDLR_DESC, EVENTHDLR_NAME, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_INVALID, SCIP_OKAY, SCIPeventhdlrCreate(), SCIPsetFindEventhdlr(), and SCIPsetIncludeEventhdlr().
Referenced by copyProb(), and SCIPcreateProb().
◆ SCIPconflictstoreFree()
| SCIP_RETCODE SCIPconflictstoreFree | ( | SCIP_CONFLICTSTORE ** | conflictstore, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_REOPT * | reopt | ||
| ) |
frees conflict store
- Parameters
-
conflictstore pointer to store conflict store blkmem block memory set global SCIP settings stat dynamic SCIP statistics reopt reoptimization data
Definition at line 779 of file conflictstore.c.
References BMSfreeBlockMemoryArrayNull, BMSfreeMemoryNull, CONFLICTSTORE_DUALRAYSIZE, CONFLICTSTORE_DUALSOLSIZE, NULL, SCIP_CALL, SCIP_OKAY, and SCIPconflictstoreClear().
Referenced by SCIPfreeProb().
◆ SCIPconflictstoreClear()
| SCIP_RETCODE SCIPconflictstoreClear | ( | SCIP_CONFLICTSTORE * | conflictstore, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_REOPT * | reopt | ||
| ) |
clears conflict store
- Parameters
-
conflictstore conflict store blkmem block memory set global SCIP settings stat dynamic SCIP statistics reopt reoptimization data
Definition at line 807 of file conflictstore.c.
References SCIP_ConflictStore::conflicts, delPosConflict(), delPosDualray(), delPosDualsol(), SCIP_ConflictStore::dualrayconfs, SCIP_ConflictStore::dualsolconfs, FALSE, SCIP_ConflictStore::nconflicts, SCIP_ConflictStore::ndualrayconfs, SCIP_ConflictStore::ndualsolconfs, SCIP_ConflictStore::norigconfs, NULL, SCIP_ConflictStore::origconfs, SCIP_CALL, SCIP_OKAY, SCIPconsRelease(), and SCIPsetDebugMsg.
Referenced by freeReoptSolve(), freeTransform(), and SCIPconflictstoreFree().
◆ SCIPconflictstoreClean()
| SCIP_RETCODE SCIPconflictstoreClean | ( | SCIP_CONFLICTSTORE * | conflictstore, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_REOPT * | reopt | ||
| ) |
cleans up conflict store
- Parameters
-
conflictstore conflict store blkmem block memory set global SCIP settings stat dynamic SCIP statistics reopt reoptimization data
Definition at line 870 of file conflictstore.c.
References cleanDeletedAndCheckedConflicts(), cleanDeletedAndCheckedDualrayCons(), cleanDeletedAndCheckedDualsolCons(), FALSE, SCIP_ConflictStore::nconflicts, SCIP_ConflictStore::ndualrayconfs, SCIP_ConflictStore::ndualsolconfs, SCIP_ConflictStore::norigconfs, NULL, SCIP_CALL, SCIP_OKAY, SCIPisInRestart(), SCIPsetDebugMsg, and SCIP_ConflictStore::updateside.
Referenced by freeSolve().
◆ SCIPconflictstoreAddDualraycons()
| SCIP_RETCODE SCIPconflictstoreAddDualraycons | ( | SCIP_CONFLICTSTORE * | conflictstore, |
| SCIP_CONS * | dualproof, | ||
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_PROB * | transprob, | ||
| SCIP_REOPT * | reopt | ||
| ) |
adds a constraint to the pool of proof constraints based on dual rays
- Note
- this methods captures the constraint
- Parameters
-
conflictstore conflict store dualproof 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 924 of file conflictstore.c.
References BMSallocBlockMemoryArray, cleanDeletedAndCheckedDualrayCons(), CONFLICTSTORE_DUALRAYSIZE, delPosDualray(), SCIP_ConflictStore::dualrayconfs, SCIP_ConflictStore::ndualrayconfs, SCIP_ConflictStore::nnzdualrays, NULL, SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_LOCKTYPE_CONFLICT, SCIP_OKAY, SCIPconsAddLocks(), SCIPconsCapture(), SCIPconsGetAge(), SCIPconsGetNVars(), SCIPconsMarkConflict(), SCIPsetIsGE(), SCIPsortPtr(), and TRUE.
Referenced by createAndAddProofcons().
◆ SCIPconflictstoreAddDualsolcons()
| SCIP_RETCODE SCIPconflictstoreAddDualsolcons | ( | SCIP_CONFLICTSTORE * | conflictstore, |
| SCIP_CONS * | dualproof, | ||
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_PROB * | transprob, | ||
| SCIP_REOPT * | reopt, | ||
| SCIP_Real | scale, | ||
| SCIP_Bool | updateside | ||
| ) |
adds a constraint to the pool of proof constraints based on dual solutions
- Note
- this methods captures the constraint
- Parameters
-
conflictstore conflict store dualproof constraint based on a dual solution blkmem block memory set global SCIP settings stat dynamic SCIP statistics transprob transformed problem reopt reoptimization data scale scaling factor that needs to be considered when updating the side updateside should the side be updated if a new incumbent is found
Definition at line 993 of file conflictstore.c.
References BMSallocBlockMemoryArray, cleanDeletedAndCheckedDualsolCons(), CONFLICTSTORE_DUALSOLSIZE, delPosDualsol(), SCIP_ConflictStore::dualprimalbnds, SCIP_ConflictStore::dualsolconfs, SCIP_ConflictStore::ndualsolconfs, SCIP_ConflictStore::nnzdualsols, NULL, SCIP_ConflictStore::scalefactors, SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_LOCKTYPE_CONFLICT, SCIP_OKAY, SCIPconsAddLocks(), SCIPconsCapture(), SCIPconsGetAge(), SCIPconsGetNVars(), SCIPconsMarkConflict(), SCIPgetCutoffbound(), SCIPsetIsGE(), SCIPsetSumepsilon(), SCIPsortPtrRealRealInt(), TRUE, and SCIP_ConflictStore::updateside.
Referenced by createAndAddProofcons().
◆ SCIPconflictstoreAddConflict()
| 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
- Note
- this method captures the constraint
- Parameters
-
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 1071 of file conflictstore.c.
References SCIP_ConflictStore::conflicts, SCIP_ConflictStore::conflictsize, conflictstoreAddOrigConflict(), conflictstoreCleanUpStorage(), conflictstoreEnsureMem(), SCIP_ConflictStore::confprimalbnds, initConflictstore(), SCIP_ConflictStore::initstoresize, SCIP_ConflictStore::lastnodenum, SCIP_ConflictStore::maxstoresize, SCIP_ConflictStore::ncbconflicts, SCIP_ConflictStore::nconflicts, SCIP_ConflictStore::nconflictsfound, NULL, REALABS, SCIP_CALL, SCIP_CONFTYPE_BNDEXCEEDING, SCIP_LOCKTYPE_CONFLICT, SCIP_Longint, SCIP_OKAY, SCIP_STAGE_PROBLEM, SCIPconsAddLocks(), SCIPconsCapture(), SCIPconsGetName(), SCIPconsIsOriginal(), SCIPconsMarkConflict(), SCIPnodeGetNumber(), SCIPsetDebugMsg, SCIPsetGetStage(), SCIPsetIsInfinity(), and SCIPtreeGetFocusNode().
Referenced by SCIPaddConflict(), SCIPconflictstoreTransform(), and SCIPcopyConss().
◆ SCIPconflictstoreCleanNewIncumbent()
| 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
- Parameters
-
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 1166 of file conflictstore.c.
References SCIP_ConflictStore::conflicts, SCIP_ConflictStore::confprimalbnds, delPosConflict(), delPosDualsol(), SCIP_ConflictStore::dualprimalbnds, SCIP_ConflictStore::dualsolconfs, SCIP_ConflictStore::lastcutoffbound, SCIP_ConflictStore::ncbconflicts, SCIP_ConflictStore::nconflicts, SCIP_ConflictStore::ndualsolconfs, NULL, SCIP_ConflictStore::scalefactors, SCIP_CALL, SCIP_INVALID, SCIP_OKAY, SCIP_Real, SCIPchgLhsLinear(), SCIPchgRhsLinear(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPconsIsDeleted(), SCIPgetLhsLinear(), SCIPgetRhsLinear(), SCIPsetDebugMsg, SCIPsetIsGE(), SCIPsetIsGT(), SCIPsetIsInfinity(), SCIPsetIsLE(), SCIPsetIsNegative(), SCIPsetIsPositive(), SCIPsetSumepsilon(), TRUE, and SCIP_ConflictStore::updateside.
Referenced by SCIPclearConflictStore().
◆ SCIPconflictstoreGetMaxPoolSize()
| int SCIPconflictstoreGetMaxPoolSize | ( | SCIP_CONFLICTSTORE * | conflictstore | ) |
returns the maximal size of the conflict pool
- Parameters
-
conflictstore conflict store
Definition at line 1333 of file conflictstore.c.
References SCIP_ConflictStore::maxstoresize, MIN, NULL, and SCIP_ConflictStore::storesize.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictstoreGetInitPoolSize()
| int SCIPconflictstoreGetInitPoolSize | ( | SCIP_CONFLICTSTORE * | conflictstore | ) |
returns the initial size of the conflict pool
- Parameters
-
conflictstore conflict store
Definition at line 1343 of file conflictstore.c.
References SCIP_ConflictStore::initstoresize, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictstoreGetNConflictsInStore()
| int SCIPconflictstoreGetNConflictsInStore | ( | SCIP_CONFLICTSTORE * | conflictstore | ) |
returns the number of stored conflicts on the conflict pool
- Note
- the number of active conflicts can be less
- Parameters
-
conflictstore conflict store
Definition at line 1356 of file conflictstore.c.
References SCIP_ConflictStore::nconflicts, and NULL.
Referenced by SCIPcopyConflicts().
◆ SCIPconflictstoreGetConflicts()
| SCIP_RETCODE SCIPconflictstoreGetConflicts | ( | SCIP_CONFLICTSTORE * | conflictstore, |
| SCIP_CONS ** | conflicts, | ||
| int | conflictsize, | ||
| int * | nconflicts | ||
| ) |
returns all active conflicts stored in the conflict store
- Parameters
-
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 1366 of file conflictstore.c.
References SCIP_ConflictStore::conflicts, SCIP_ConflictStore::nconflicts, NULL, SCIP_OKAY, SCIPconsIsActive(), and SCIPconsIsDeleted().
Referenced by SCIPcopyConflicts().
◆ SCIPconflictstoreTransform()
| 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
- Parameters
-
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 1410 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().
◆ SCIPconflictstoreGetAvgNnzDualInfProofs()
| SCIP_Real SCIPconflictstoreGetAvgNnzDualInfProofs | ( | SCIP_CONFLICTSTORE * | conflictstore | ) |
returns the average number of non-zeros over all stored dual ray constraints
- Parameters
-
conflictstore conflict store
Definition at line 1461 of file conflictstore.c.
References SCIP_ConflictStore::ndualrayconfs, SCIP_ConflictStore::nnzdualrays, NULL, and SCIP_Real.
Referenced by createAndAddProofcons().
◆ SCIPconflictstoreGetNDualInfProofs()
| int SCIPconflictstoreGetNDualInfProofs | ( | SCIP_CONFLICTSTORE * | conflictstore | ) |
returns the number of all stored dual ray constraints
- Parameters
-
conflictstore conflict store
Definition at line 1474 of file conflictstore.c.
References SCIP_ConflictStore::ndualrayconfs, and NULL.
Referenced by createAndAddProofcons().
◆ SCIPconflictstoreGetAvgNnzDualBndProofs()
| SCIP_Real SCIPconflictstoreGetAvgNnzDualBndProofs | ( | SCIP_CONFLICTSTORE * | conflictstore | ) |
returns the average number of non-zeros over all stored boundexceeding proofs
- Parameters
-
conflictstore conflict store
Definition at line 1484 of file conflictstore.c.
References SCIP_ConflictStore::ndualsolconfs, SCIP_ConflictStore::nnzdualsols, NULL, and SCIP_Real.
Referenced by createAndAddProofcons().
◆ SCIPconflictstoreGetNDualBndProofs()
| int SCIPconflictstoreGetNDualBndProofs | ( | SCIP_CONFLICTSTORE * | conflictstore | ) |
returns the number of all stored boundexceeding proofs
- Parameters
-
conflictstore conflict store
Definition at line 1498 of file conflictstore.c.
References SCIP_ConflictStore::ndualsolconfs, and NULL.
Referenced by createAndAddProofcons().