SCIP_ConflictStore Struct Reference

Detailed Description

storage for conflicts

Definition at line 45 of file struct_conflictstore.h.

#include <struct_conflictstore.h>

Data Fields
SCIP_EVENTHDLR *	eventhdlr
SCIP_CONS **	conflicts
SCIP_CONS **	dualrayconfs
SCIP_CONS **	dualsolconfs
SCIP_CONS **	origconfs
SCIP_Real *	confprimalbnds
SCIP_Real *	dualprimalbnds
SCIP_Real *	scalefactors
SCIP_Bool *	updateside
SCIP_Bool *	drayrelaxonly
SCIP_Bool *	dsolrelaxonly
SCIP_Real	avgswitchlength
SCIP_Real	lastcutoffbound
SCIP_Longint	lastnodenum
SCIP_Longint	ncleanups
SCIP_Longint	nnzdualrays
SCIP_Longint	nnzdualsols
int	conflictsize
int	origconflictsize
int	nconflicts
int	ndualrayconfs
int	ndualsolconfs
int	norigconfs
int	ncbconflicts
int	nconflictsfound
int	cleanupfreq
int	nswitches
int	initstoresize
int	storesize
int	maxstoresize

Field Documentation

eventhdlr

SCIP_EVENTHDLR* SCIP_ConflictStore::eventhdlr

event handler to catch improving solutions

Definition at line 47 of file struct_conflictstore.h.

conflicts

SCIP_CONS** SCIP_ConflictStore::conflicts

array with conflicts

Definition at line 48 of file struct_conflictstore.h.

Referenced by cleanDeletedAndCheckedConflicts(), conflictstoreCleanUpStorage(), conflictstoreEnsureMem(), delPosConflict(), SCIPconflictstoreAddConflict(), SCIPconflictstoreCleanNewIncumbent(), SCIPconflictstoreClear(), and SCIPconflictstoreGetConflicts().

dualrayconfs

SCIP_CONS** SCIP_ConflictStore::dualrayconfs

array with proofs based on dual rays

Definition at line 49 of file struct_conflictstore.h.

Referenced by cleanDeletedAndCheckedDualrayCons(), delPosDualray(), SCIPconflictstoreAddDualraycons(), and SCIPconflictstoreClear().

dualsolconfs

SCIP_CONS** SCIP_ConflictStore::dualsolconfs

array with proofs based on dual solutions

Definition at line 50 of file struct_conflictstore.h.

Referenced by cleanDeletedAndCheckedDualsolCons(), delPosDualsol(), SCIPconflictstoreAddDualsolcons(), SCIPconflictstoreCleanNewIncumbent(), and SCIPconflictstoreClear().

origconfs

SCIP_CONS** SCIP_ConflictStore::origconfs

array of original conflicts added in stage SCIP_STAGE_PROBLEM

Definition at line 51 of file struct_conflictstore.h.

Referenced by conflictstoreAddOrigConflict(), SCIPconflictstoreClear(), and SCIPconflictstoreTransform().

confprimalbnds

SCIP_Real* SCIP_ConflictStore::confprimalbnds

array of primal bounds valid at the time the corresponding bound exceeding conflict was found (-infinity if the conflict based on an infeasible LP)

Definition at line 52 of file struct_conflictstore.h.

Referenced by conflictstoreCleanUpStorage(), conflictstoreEnsureMem(), delPosConflict(), SCIPconflictstoreAddConflict(), and SCIPconflictstoreCleanNewIncumbent().

dualprimalbnds

SCIP_Real* SCIP_ConflictStore::dualprimalbnds

array of primal bounds valid at the time the corresponding dual proof based on a dual solution was found

Definition at line 54 of file struct_conflictstore.h.

Referenced by delPosDualsol(), SCIPconflictstoreAddDualsolcons(), and SCIPconflictstoreCleanNewIncumbent().

scalefactors

SCIP_Real* SCIP_ConflictStore::scalefactors

scaling factor that needs to be considered when updating the side

Definition at line 56 of file struct_conflictstore.h.

Referenced by delPosDualsol(), SCIPconflictstoreAddDualsolcons(), and SCIPconflictstoreCleanNewIncumbent().

updateside

SCIP_Bool* SCIP_ConflictStore::updateside

array to store whether the side should be updated whenever a new incumbent is found

Definition at line 57 of file struct_conflictstore.h.

Referenced by delPosDualsol(), SCIPconflictstoreAddDualsolcons(), SCIPconflictstoreClean(), and SCIPconflictstoreCleanNewIncumbent().

drayrelaxonly

SCIP_Bool* SCIP_ConflictStore::drayrelaxonly

array to store whether the dual proof is valid for the current relaxation only

Definition at line 58 of file struct_conflictstore.h.

Referenced by delPosDualray(), SCIPconflictstoreAddDualraycons(), and SCIPconflictstoreClean().

dsolrelaxonly

SCIP_Bool* SCIP_ConflictStore::dsolrelaxonly

array to store whether the dual proof is valid for the current relaxation only

Definition at line 59 of file struct_conflictstore.h.

Referenced by delPosDualsol(), SCIPconflictstoreAddDualsolcons(), and SCIPconflictstoreClean().

avgswitchlength

SCIP_Real SCIP_ConflictStore::avgswitchlength

average length of switched paths

Definition at line 60 of file struct_conflictstore.h.

lastcutoffbound

SCIP_Real SCIP_ConflictStore::lastcutoffbound

last cutoff bound for which the conflict store was cleaned

Definition at line 61 of file struct_conflictstore.h.

Referenced by SCIPconflictstoreCleanNewIncumbent().

lastnodenum

SCIP_Longint SCIP_ConflictStore::lastnodenum

number of the last seen node

Definition at line 62 of file struct_conflictstore.h.

Referenced by SCIPconflictstoreAddConflict().

ncleanups

SCIP_Longint SCIP_ConflictStore::ncleanups

number of storage cleanups

Definition at line 63 of file struct_conflictstore.h.

Referenced by conflictstoreCleanUpStorage().

nnzdualrays

SCIP_Longint SCIP_ConflictStore::nnzdualrays

number of non-zeros in all stored proofs based on dual rays

Definition at line 64 of file struct_conflictstore.h.

Referenced by delPosDualray(), SCIPconflictstoreAddDualraycons(), and SCIPconflictstoreGetAvgNnzDualInfProofs().

nnzdualsols

SCIP_Longint SCIP_ConflictStore::nnzdualsols

number of non-zeros in all stored proofs based on dual solutions

Definition at line 65 of file struct_conflictstore.h.

Referenced by delPosDualsol(), SCIPconflictstoreAddDualsolcons(), and SCIPconflictstoreGetAvgNnzDualBndProofs().

conflictsize

int SCIP_ConflictStore::conflictsize

size of conflict array (bounded by conflict->maxpoolsize)

Definition at line 66 of file struct_conflictstore.h.

Referenced by conflictstoreCleanUpStorage(), conflictstoreEnsureMem(), and SCIPconflictstoreAddConflict().

origconflictsize

int SCIP_ConflictStore::origconflictsize

size of origconfs array

Definition at line 67 of file struct_conflictstore.h.

Referenced by conflictstoreAddOrigConflict().

nconflicts

int SCIP_ConflictStore::nconflicts

number of stored conflicts

Definition at line 68 of file struct_conflictstore.h.

Referenced by adjustStorageSize(), cleanDeletedAndCheckedConflicts(), conflictstoreCleanUpStorage(), conflictstoreEnsureMem(), delPosConflict(), SCIPconflictstoreAddConflict(), SCIPconflictstoreClean(), SCIPconflictstoreCleanNewIncumbent(), SCIPconflictstoreClear(), SCIPconflictstoreGetConflicts(), and SCIPconflictstoreGetNConflictsInStore().

ndualrayconfs

int SCIP_ConflictStore::ndualrayconfs

number of stored proofs based on dual rays

Definition at line 69 of file struct_conflictstore.h.

Referenced by cleanDeletedAndCheckedDualrayCons(), cleanDeletedAndCheckedDualsolCons(), delPosDualray(), SCIPconflictstoreAddDualraycons(), SCIPconflictstoreClean(), SCIPconflictstoreClear(), SCIPconflictstoreGetAvgNnzDualInfProofs(), and SCIPconflictstoreGetNDualInfProofs().

ndualsolconfs

int SCIP_ConflictStore::ndualsolconfs

number of stored proofs based on dual solutions

Definition at line 70 of file struct_conflictstore.h.

Referenced by cleanDeletedAndCheckedDualsolCons(), delPosDualsol(), SCIPconflictstoreAddDualsolcons(), SCIPconflictstoreClean(), SCIPconflictstoreCleanNewIncumbent(), SCIPconflictstoreClear(), SCIPconflictstoreGetAvgNnzDualBndProofs(), and SCIPconflictstoreGetNDualBndProofs().

norigconfs

int SCIP_ConflictStore::norigconfs

number of original conflicts

Definition at line 71 of file struct_conflictstore.h.

Referenced by conflictstoreAddOrigConflict(), SCIPconflictstoreClear(), and SCIPconflictstoreTransform().

ncbconflicts

int SCIP_ConflictStore::ncbconflicts

number of conflicts depending on cutoff bound

Definition at line 72 of file struct_conflictstore.h.

Referenced by conflictstoreCleanUpStorage(), delPosConflict(), SCIPconflictstoreAddConflict(), and SCIPconflictstoreCleanNewIncumbent().

nconflictsfound

int SCIP_ConflictStore::nconflictsfound

total number of conflicts found so far

Definition at line 73 of file struct_conflictstore.h.

Referenced by SCIPconflictstoreAddConflict().

cleanupfreq

int SCIP_ConflictStore::cleanupfreq

frequency to cleanup the storage if the storage is not full

Definition at line 74 of file struct_conflictstore.h.

nswitches

int SCIP_ConflictStore::nswitches

number of path switches

Definition at line 75 of file struct_conflictstore.h.

initstoresize

int SCIP_ConflictStore::initstoresize

initial size of the storage (different to maxstoresize iff dynamic)

Definition at line 76 of file struct_conflictstore.h.

Referenced by conflictstoreCleanUpStorage(), initConflictstore(), SCIPconflictstoreAddConflict(), and SCIPconflictstoreGetInitPoolSize().

storesize

int SCIP_ConflictStore::storesize

current size of the storage (different to maxstoresize iff dynamic)

Definition at line 77 of file struct_conflictstore.h.

Referenced by adjustStorageSize(), conflictstoreCleanUpStorage(), conflictstoreEnsureMem(), initConflictstore(), and SCIPconflictstoreGetMaxPoolSize().

maxstoresize

int SCIP_ConflictStore::maxstoresize

maximal size of the storage

Definition at line 78 of file struct_conflictstore.h.

Referenced by adjustStorageSize(), conflictstoreCleanUpStorage(), conflictstoreEnsureMem(), initConflictstore(), SCIPconflictstoreAddConflict(), and SCIPconflictstoreGetMaxPoolSize().