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_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." |
| #define CONFLICTSTORE_DUALRAYSIZE 100 /* default size of conflict store */ |
Definition at line 40 of file conflictstore.c.
Referenced by SCIPconflictstoreAddDualraycons(), and SCIPconflictstoreFree().
| #define CONFLICTSTORE_DUALSOLSIZE 75 /* default size of conflict store */ |
Definition at line 41 of file conflictstore.c.
Referenced by SCIPconflictstoreAddDualsolcons(), and SCIPconflictstoreFree().
| #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().
| #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().
| #define CONFLICTSTORE_SIZE 10000 /* default size of conflict store */ |
Definition at line 44 of file conflictstore.c.
Referenced by conflictstoreEnsureMem().
| #define CONFLICTSTORE_SORTFREQ 20 /* frequency to resort the conflict array */ |
Definition at line 45 of file conflictstore.c.
Referenced by conflictstoreCleanUpStorage().
| #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().
| #define EVENTHDLR_DESC "Solution event handler for conflict store." |
Definition at line 49 of file conflictstore.c.
Referenced by SCIPconflictstoreCreate().
|
static |
Definition at line 54 of file conflictstore.c.
References EVENTHDLR_NAME, 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 71 of file conflictstore.c.
References EVENTHDLR_NAME, 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 91 of file conflictstore.c.
References EVENTHDLR_NAME, SCIP_Bool, SCIP_CALL, SCIP_EVENTTYPE_BESTSOLFOUND, SCIP_OKAY, SCIPdropEvent(), SCIPeventhdlrGetName(), and SCIPgetBoolParam().
|
static |
Definition at line 111 of file conflictstore.c.
References SCIP_Bool, SCIP_CALL, SCIPconsGetAge(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), and SCIPgetConsNVars().
|
static |
| 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, 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 219 of file conflictstore.c.
References BMSallocBlockMemoryArray, BMSreallocBlockMemoryArray, SCIP_ConflictStore::conflicts, SCIP_ConflictStore::conflictsize, CONFLICTSTORE_SIZE, SCIP_ConflictStore::confprimalbnds, MAX, SCIP_ConflictStore::maxstoresize, SCIP_ConflictStore::nconflicts, SCIP_ALLOC, SCIP_OKAY, SCIPsetCalcMemGrowSize(), SCIPsetInfinity(), and SCIP_ConflictStore::storesize.
Referenced by SCIPconflictstoreAddConflict().
|
static |
| conflictstore | conflict store |
| set | global SCIP settings |
Definition at line 280 of file conflictstore.c.
References SCIP_ConflictStore::maxstoresize, SCIP_ConflictStore::nconflicts, 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 301 of file conflictstore.c.
References SCIP_ConflictStore::conflicts, SCIP_ConflictStore::confprimalbnds, SCIP_ConflictStore::ncbconflicts, SCIP_ConflictStore::nconflicts, REALABS, SCIP_CALL, SCIP_OKAY, SCIPconsDelete(), SCIPconsGetAge(), SCIPconsIsDeleted(), SCIPconsRelease(), SCIPsetDebugMsg, SCIPsetInfinity(), and SCIPsetIsInfinity().
Referenced by cleanDeletedConflicts(), conflictstoreCleanUpStorage(), SCIPconflictstoreCleanNewIncumbent(), and SCIPconflictstoreClear().
|
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 357 of file conflictstore.c.
References SCIP_ConflictStore::dualrayconfs, SCIP_ConflictStore::ndualrayconfs, SCIP_ConflictStore::nnzdualrays, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPconsDelete(), SCIPconsGetAge(), SCIPconsGetNVars(), SCIPconsIsDeleted(), SCIPconsRelease(), and SCIPsetDebugMsg.
Referenced by cleanDeletedDualrayCons(), SCIPconflictstoreAddDualraycons(), and SCIPconflictstoreClear().
|
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 414 of file conflictstore.c.
References SCIP_ConflictStore::dualprimalbnds, SCIP_ConflictStore::dualsolconfs, FALSE, SCIP_ConflictStore::ndualsolconfs, SCIP_ConflictStore::nnzdualsols, SCIP_ConflictStore::scalefactors, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_UNKNOWN, SCIPconsDelete(), SCIPconsGetAge(), SCIPconsGetNVars(), SCIPconsIsDeleted(), SCIPconsRelease(), SCIPsetDebugMsg, and SCIP_ConflictStore::updateside.
Referenced by cleanDeletedDualsolCons(), SCIPconflictstoreAddDualsolcons(), SCIPconflictstoreCleanNewIncumbent(), and SCIPconflictstoreClear().
|
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 478 of file conflictstore.c.
References SCIP_ConflictStore::conflicts, delPosConflict(), FALSE, SCIP_ConflictStore::nconflicts, SCIP_CALL, SCIP_OKAY, SCIPconsIsDeleted(), and SCIPsetDebugMsg.
Referenced by conflictstoreCleanUpStorage(), and SCIPconflictstoreClean().
|
static |
removes all deleted dual proofs of infeasible LP relaxations from the storage
| 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 514 of file conflictstore.c.
References delPosDualray(), SCIP_ConflictStore::dualrayconfs, FALSE, SCIP_ConflictStore::ndualrayconfs, SCIP_CALL, SCIP_OKAY, SCIPconsIsDeleted(), and SCIPsetDebugMsg.
Referenced by SCIPconflictstoreAddDualraycons(), and SCIPconflictstoreClean().
|
static |
removes all deleted dual proofs of bound exceeding LP relaxations from the storage
| 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 552 of file conflictstore.c.
References delPosDualsol(), SCIP_ConflictStore::dualsolconfs, FALSE, SCIP_ConflictStore::ndualrayconfs, SCIP_ConflictStore::ndualsolconfs, SCIP_CALL, SCIP_OKAY, SCIPconsIsDeleted(), and SCIPsetDebugMsg.
Referenced by SCIPconflictstoreAddDualsolcons(), and SCIPconflictstoreClean().
|
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 590 of file conflictstore.c.
References adjustStorageSize(), cleanDeletedConflicts(), 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, 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 691 of file conflictstore.c.
References BMSallocBlockMemoryArray, BMSreallocBlockMemoryArray, CONFLICTSTORE_MINSIZE, SCIP_ConflictStore::norigconfs, 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 722 of file conflictstore.c.
References BMSallocMemory, EVENTHDLR_DESC, EVENTHDLR_NAME, SCIP_ALLOC, SCIP_CALL, SCIP_INVALID, 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 770 of file conflictstore.c.
References BMSfreeBlockMemoryArrayNull, BMSfreeMemoryNull, CONFLICTSTORE_DUALRAYSIZE, CONFLICTSTORE_DUALSOLSIZE, SCIP_CALL, SCIP_OKAY, and SCIPconflictstoreClear().
Referenced by SCIPfreeProb().
| SCIP_RETCODE SCIPconflictstoreClear | ( | SCIP_CONFLICTSTORE * | conflictstore, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_REOPT * | reopt | ||
| ) |
clears conflict store
| conflictstore | conflict store |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic SCIP statistics |
| reopt | reoptimization data |
Definition at line 798 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, SCIP_ConflictStore::origconfs, SCIP_CALL, SCIP_OKAY, SCIPconsRelease(), and SCIPsetDebugMsg.
Referenced by freeReoptSolve(), freeTransform(), and SCIPconflictstoreFree().
| SCIP_RETCODE SCIPconflictstoreClean | ( | SCIP_CONFLICTSTORE * | conflictstore, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_REOPT * | reopt | ||
| ) |
cleans up conflict store
| conflictstore | conflict store |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic SCIP statistics |
| reopt | reoptimization data |
Definition at line 861 of file conflictstore.c.
References cleanDeletedConflicts(), cleanDeletedDualrayCons(), cleanDeletedDualsolCons(), FALSE, SCIP_ConflictStore::nconflicts, SCIP_ConflictStore::ndualrayconfs, SCIP_ConflictStore::ndualsolconfs, SCIP_ConflictStore::norigconfs, SCIP_CALL, SCIP_OKAY, SCIPisInRestart(), SCIPsetDebugMsg, and SCIP_ConflictStore::updateside.
Referenced by freeSolve().
| 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
| 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 909 of file conflictstore.c.
References BMSallocBlockMemoryArray, cleanDeletedDualrayCons(), CONFLICTSTORE_DUALRAYSIZE, delPosDualray(), SCIP_ConflictStore::dualrayconfs, SCIP_ConflictStore::ndualrayconfs, SCIP_ConflictStore::nnzdualrays, SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIPconsGetAge(), SCIPconsGetNVars(), SCIPconsMarkConflict(), SCIPsetIsGE(), SCIPsortPtr(), and TRUE.
Referenced by createAndAddProofcons().
| 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
| 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 975 of file conflictstore.c.
References BMSallocBlockMemoryArray, cleanDeletedDualsolCons(), CONFLICTSTORE_DUALSOLSIZE, delPosDualsol(), SCIP_ConflictStore::dualprimalbnds, SCIP_ConflictStore::dualsolconfs, SCIP_ConflictStore::ndualsolconfs, SCIP_ConflictStore::nnzdualsols, SCIP_ConflictStore::scalefactors, SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIPconsGetAge(), SCIPconsGetNVars(), SCIPconsMarkConflict(), SCIPgetCutoffbound(), SCIPsetIsGE(), SCIPsetSumepsilon(), SCIPsortPtrRealRealInt(), TRUE, and SCIP_ConflictStore::updateside.
Referenced by createAndAddProofcons().
| 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 1050 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, 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 1142 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, 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().
| int SCIPconflictstoreGetMaxPoolSize | ( | SCIP_CONFLICTSTORE * | conflictstore | ) |
returns the maximal size of the conflict pool
| conflictstore | conflict store |
Definition at line 1309 of file conflictstore.c.
References SCIP_ConflictStore::maxstoresize, and SCIP_ConflictStore::storesize.
Referenced by SCIPprintConflictStatistics().
| int SCIPconflictstoreGetInitPoolSize | ( | SCIP_CONFLICTSTORE * | conflictstore | ) |
returns the initial size of the conflict pool
| conflictstore | conflict store |
Definition at line 1319 of file conflictstore.c.
References SCIP_ConflictStore::initstoresize.
Referenced by SCIPprintConflictStatistics().
| int SCIPconflictstoreGetNConflictsInStore | ( | SCIP_CONFLICTSTORE * | conflictstore | ) |
returns the number of stored conflicts on the conflict pool
| conflictstore | conflict store |
Definition at line 1332 of file conflictstore.c.
References SCIP_ConflictStore::nconflicts.
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 1342 of file conflictstore.c.
References SCIP_ConflictStore::conflicts, SCIP_ConflictStore::nconflicts, 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 1386 of file conflictstore.c.
References FALSE, SCIP_ConflictStore::norigconfs, 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 SCIPconflictstoreGetAvgNnzDualInfProofs | ( | SCIP_CONFLICTSTORE * | conflictstore | ) |
returns the average number of non-zeros over all stored dual ray constraints
| conflictstore | conflict store |
Definition at line 1437 of file conflictstore.c.
References SCIP_ConflictStore::ndualrayconfs, SCIP_ConflictStore::nnzdualrays, and SCIP_Real.
Referenced by createAndAddProofcons().
| int SCIPconflictstoreGetNDualInfProofs | ( | SCIP_CONFLICTSTORE * | conflictstore | ) |
returns the number of all stored dual ray constraints
| conflictstore | conflict store |
Definition at line 1450 of file conflictstore.c.
References SCIP_ConflictStore::ndualrayconfs.
Referenced by createAndAddProofcons().
| SCIP_Real SCIPconflictstoreGetAvgNnzDualBndProofs | ( | SCIP_CONFLICTSTORE * | conflictstore | ) |
returns the average number of non-zeros over all stored boundexceeding proofs
| conflictstore | conflict store |
Definition at line 1460 of file conflictstore.c.
References SCIP_ConflictStore::ndualsolconfs, SCIP_ConflictStore::nnzdualsols, and SCIP_Real.
Referenced by createAndAddProofcons().
| int SCIPconflictstoreGetNDualBndProofs | ( | SCIP_CONFLICTSTORE * | conflictstore | ) |
returns the number of all stored boundexceeding proofs
| conflictstore | conflict store |
Definition at line 1474 of file conflictstore.c.
References SCIP_ConflictStore::ndualsolconfs.
Referenced by createAndAddProofcons().