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 50 of file conflictstore.c.
Referenced by SCIPconflictstoreAddDualraycons(), and SCIPconflictstoreFree().
#define CONFLICTSTORE_DUALSOLSIZE 75 /* default size of conflict store */ |
Definition at line 51 of file conflictstore.c.
Referenced by SCIPconflictstoreAddDualsolcons(), and SCIPconflictstoreFree().
#define CONFLICTSTORE_MINSIZE 2000 /* default minimal size of a dynamic conflict store */ |
Definition at line 52 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 53 of file conflictstore.c.
Referenced by initConflictstore().
#define CONFLICTSTORE_SIZE 10000 /* default size of conflict store */ |
Definition at line 54 of file conflictstore.c.
Referenced by conflictstoreEnsureMem().
#define CONFLICTSTORE_SORTFREQ 20 /* frequency to resort the conflict array */ |
Definition at line 55 of file conflictstore.c.
Referenced by conflictstoreCleanUpStorage().
#define EVENTHDLR_NAME "ConflictStore" |
Definition at line 58 of file conflictstore.c.
#define EVENTHDLR_DESC "Solution event handler for conflict store." |
Definition at line 59 of file conflictstore.c.
|
static |
Definition at line 64 of file conflictstore.c.
References assert(), 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 81 of file conflictstore.c.
References assert(), 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 101 of file conflictstore.c.
References assert(), EVENTHDLR_NAME, NULL, SCIP_Bool, SCIP_CALL, SCIP_EVENTTYPE_BESTSOLFOUND, SCIP_OKAY, SCIPdropEvent(), SCIPeventhdlrGetName(), and SCIPgetBoolParam().
|
static |
Definition at line 121 of file conflictstore.c.
References assert(), NULL, SCIP_Bool, SCIP_CALL, SCIPconsGetAge(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), and SCIPgetConsNVars().
|
static |
conflictstore | conflict store |
set | global SCIP settings |
transprob | transformed problem |
Definition at line 173 of file conflictstore.c.
References assert(), CONFLICTSTORE_MAXSIZE, CONFLICTSTORE_MINSIZE, SCIP_ConflictStore::initstoresize, SCIP_ConflictStore::maxstoresize, MIN, NULL, nvars, 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 229 of file conflictstore.c.
References assert(), BMSallocBlockMemoryArray, BMSreallocBlockMemoryArray, SCIP_ConflictStore::conflicts, SCIP_ConflictStore::conflictsize, CONFLICTSTORE_SIZE, SCIP_ConflictStore::confprimalbnds, i, MAX, SCIP_ConflictStore::maxstoresize, MIN, SCIP_ConflictStore::nconflicts, NULL, SCIP_ALLOC, SCIP_OKAY, SCIPsetCalcMemGrowSize(), SCIPsetInfinity(), and SCIP_ConflictStore::storesize.
Referenced by SCIPconflictstoreAddConflict().
|
static |
conflictstore | conflict store |
set | global SCIP settings |
Definition at line 290 of file conflictstore.c.
References assert(), 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 311 of file conflictstore.c.
References assert(), SCIP_ConflictStore::conflicts, SCIP_ConflictStore::confprimalbnds, SCIP_ConflictStore::ncbconflicts, SCIP_ConflictStore::nconflicts, NULL, REALABS, SCIP_Bool, SCIP_CALL, SCIP_LOCKTYPE_CONFLICT, SCIP_OKAY, SCIPconsAddLocks(), SCIPconsDelete(), SCIPconsGetAge(), SCIPconsGetName(), SCIPconsIsDeleted(), SCIPconsRelease(), SCIPsetDebugMsg, SCIPsetInfinity(), and SCIPsetIsInfinity().
Referenced by cleanDeletedAndCheckedConflicts(), 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 370 of file conflictstore.c.
References assert(), SCIP_ConflictStore::drayrelaxonly, SCIP_ConflictStore::dualrayconfs, SCIP_ConflictStore::ndualrayconfs, SCIP_ConflictStore::nnzdualrays, NULL, nvars, SCIP_Bool, SCIP_CALL, SCIP_LOCKTYPE_CONFLICT, SCIP_OKAY, SCIPconsAddLocks(), SCIPconsDelete(), SCIPconsGetAge(), SCIPconsGetNVars(), SCIPconsIsDeleted(), SCIPconsRelease(), SCIPsetDebugMsg, and TRUE.
Referenced by cleanDeletedAndCheckedDualrayCons(), SCIPconflictstoreAddDualraycons(), SCIPconflictstoreClean(), 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 432 of file conflictstore.c.
References assert(), SCIP_ConflictStore::dsolrelaxonly, SCIP_ConflictStore::dualprimalbnds, SCIP_ConflictStore::dualsolconfs, FALSE, SCIP_ConflictStore::ndualsolconfs, SCIP_ConflictStore::nnzdualsols, NULL, nvars, SCIP_ConflictStore::scalefactors, SCIP_Bool, SCIP_CALL, SCIP_LOCKTYPE_CONFLICT, SCIP_OKAY, SCIP_UNKNOWN, SCIPconsAddLocks(), SCIPconsDelete(), SCIPconsGetAge(), SCIPconsGetNVars(), SCIPconsIsDeleted(), SCIPconsRelease(), SCIPsetDebugMsg, TRUE, and SCIP_ConflictStore::updateside.
Referenced by cleanDeletedAndCheckedDualsolCons(), SCIPconflictstoreAddDualsolcons(), SCIPconflictstoreClean(), 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 501 of file conflictstore.c.
References assert(), SCIP_ConflictStore::conflicts, delPosConflict(), FALSE, i, SCIP_ConflictStore::nconflicts, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsIsChecked(), 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 537 of file conflictstore.c.
References assert(), delPosDualray(), SCIP_ConflictStore::dualrayconfs, FALSE, i, SCIP_ConflictStore::ndualrayconfs, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsIsChecked(), 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 575 of file conflictstore.c.
References assert(), delPosDualsol(), SCIP_ConflictStore::dualsolconfs, FALSE, i, SCIP_ConflictStore::ndualrayconfs, SCIP_ConflictStore::ndualsolconfs, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsIsChecked(), 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 613 of file conflictstore.c.
References adjustStorageSize(), assert(), cleanDeletedAndCheckedConflicts(), SCIP_ConflictStore::conflicts, SCIP_ConflictStore::conflictsize, CONFLICTSTORE_SORTFREQ, SCIP_ConflictStore::confprimalbnds, delPosConflict(), i, 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().
|
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 714 of file conflictstore.c.
References assert(), 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 745 of file conflictstore.c.
References assert(), BMSallocMemory, EVENTHDLR_DESC, EVENTHDLR_NAME, NULL, 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 795 of file conflictstore.c.
References assert(), BMSfreeBlockMemoryArrayNull, BMSfreeMemoryNull, CONFLICTSTORE_DUALRAYSIZE, CONFLICTSTORE_DUALSOLSIZE, NULL, 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 825 of file conflictstore.c.
References assert(), SCIP_ConflictStore::conflicts, delPosConflict(), delPosDualray(), delPosDualsol(), SCIP_ConflictStore::dualrayconfs, SCIP_ConflictStore::dualsolconfs, FALSE, i, 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().
SCIP_RETCODE SCIPconflictstoreClean | ( | SCIP_CONFLICTSTORE * | conflictstore, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
SCIP_PROB * | transprob, | ||
SCIP_REOPT * | reopt ) |
cleans up conflict store
conflictstore | conflict store |
blkmem | block memory |
set | global SCIP settings |
stat | dynamic SCIP statistics |
transprob | transformed problem |
reopt | reoptimization data |
Definition at line 888 of file conflictstore.c.
References assert(), cleanDeletedAndCheckedConflicts(), cleanDeletedAndCheckedDualrayCons(), cleanDeletedAndCheckedDualsolCons(), delPosDualray(), delPosDualsol(), SCIP_ConflictStore::drayrelaxonly, SCIP_ConflictStore::dsolrelaxonly, FALSE, i, SCIP_ConflictStore::nconflicts, SCIP_ConflictStore::ndualrayconfs, SCIP_ConflictStore::ndualsolconfs, NULL, SCIP_CALL, SCIP_OKAY, SCIPisInRestart(), SCIPsetDebugMsg, TRUE, 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, | ||
SCIP_Bool | hasrelaxvar ) |
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 |
hasrelaxvar | does the dual proof contain at least one variable that exists in the current relaxation only? |
Definition at line 961 of file conflictstore.c.
References assert(), BMSallocBlockMemoryArray, cleanDeletedAndCheckedDualrayCons(), CONFLICTSTORE_DUALRAYSIZE, delPosDualray(), SCIP_ConflictStore::drayrelaxonly, SCIP_ConflictStore::dualrayconfs, SCIP_ConflictStore::ndualrayconfs, SCIP_ConflictStore::nnzdualrays, NULL, nvars, SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_LOCKTYPE_CONFLICT, SCIP_OKAY, SCIPconsAddLocks(), SCIPconsCapture(), SCIPconsDelete(), SCIPconsGetAge(), SCIPconsGetNVars(), SCIPconsIsLocal(), SCIPconsMarkConflict(), SCIPsetIsGE(), SCIPsortPtrBool(), 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, | ||
SCIP_Bool | hasrelaxvar ) |
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 |
hasrelaxvar | does the dual proof contain at least one variable that exists in the current relaxation only? |
Definition at line 1048 of file conflictstore.c.
References assert(), BMSallocBlockMemoryArray, cleanDeletedAndCheckedDualsolCons(), CONFLICTSTORE_DUALSOLSIZE, delPosDualsol(), SCIP_ConflictStore::dsolrelaxonly, SCIP_ConflictStore::dualprimalbnds, SCIP_ConflictStore::dualsolconfs, SCIP_ConflictStore::ndualsolconfs, SCIP_ConflictStore::nnzdualsols, NULL, nvars, SCIP_ConflictStore::scalefactors, SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_LOCKTYPE_CONFLICT, SCIP_OKAY, SCIP_Real, SCIPconsAddLocks(), SCIPconsCapture(), SCIPconsDelete(), SCIPconsGetAge(), SCIPconsGetNVars(), SCIPconsIsLocal(), SCIPconsMarkConflict(), SCIPgetCutoffbound(), SCIPprobIsObjIntegral(), SCIPsetCutoffbounddelta(), SCIPsetIsGE(), SCIPsortPtrRealRealBoolBool(), 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 1144 of file conflictstore.c.
References assert(), 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_Bool, SCIP_CALL, SCIP_CONFTYPE_BNDEXCEEDING, SCIP_LOCKTYPE_CONFLICT, SCIP_Longint, SCIP_OKAY, SCIP_Real, SCIP_STAGE_PROBLEM, SCIPconsAddLocks(), 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 1239 of file conflictstore.c.
References assert(), SCIP_ConflictStore::conflicts, SCIP_ConflictStore::confprimalbnds, delPosConflict(), delPosDualsol(), SCIP_ConflictStore::dualprimalbnds, SCIP_ConflictStore::dualsolconfs, i, 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(), SCIPprobIsObjIntegral(), SCIPsetCutoffbounddelta(), SCIPsetDebugMsg, SCIPsetIsGE(), SCIPsetIsGT(), SCIPsetIsInfinity(), SCIPsetIsLE(), SCIPsetIsNegative(), SCIPsetIsPositive(), 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 1408 of file conflictstore.c.
References assert(), SCIP_ConflictStore::maxstoresize, MIN, NULL, 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 1418 of file conflictstore.c.
References assert(), SCIP_ConflictStore::initstoresize, and NULL.
Referenced by SCIPprintConflictStatistics().
int SCIPconflictstoreGetNConflictsInStore | ( | SCIP_CONFLICTSTORE * | conflictstore | ) |
returns the number of stored conflicts on the conflict pool
conflictstore | conflict store |
Definition at line 1431 of file conflictstore.c.
References assert(), 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 1441 of file conflictstore.c.
References assert(), SCIP_ConflictStore::conflicts, i, 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 1485 of file conflictstore.c.
References assert(), FALSE, i, 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 SCIPconflictstoreGetAvgNnzDualInfProofs | ( | SCIP_CONFLICTSTORE * | conflictstore | ) |
returns the average number of non-zeros over all stored dual ray constraints
conflictstore | conflict store |
Definition at line 1536 of file conflictstore.c.
References assert(), SCIP_ConflictStore::ndualrayconfs, SCIP_ConflictStore::nnzdualrays, NULL, 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 1549 of file conflictstore.c.
References assert(), SCIP_ConflictStore::ndualrayconfs, and NULL.
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 1559 of file conflictstore.c.
References assert(), SCIP_ConflictStore::ndualsolconfs, SCIP_ConflictStore::nnzdualsols, NULL, 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 1573 of file conflictstore.c.
References assert(), SCIP_ConflictStore::ndualsolconfs, and NULL.
Referenced by createAndAddProofcons().