Detailed Description

storage for conflicts

Definition at line 36 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_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 38 of file struct_conflictstore.h.

◆ conflicts

SCIP_CONS** SCIP_ConflictStore::conflicts

array with conflicts

Definition at line 39 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 40 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 41 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 42 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 43 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 45 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 47 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 48 of file struct_conflictstore.h.

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

◆ avgswitchlength

SCIP_Real SCIP_ConflictStore::avgswitchlength

average length of switched paths

Definition at line 49 of file struct_conflictstore.h.

◆ lastcutoffbound

SCIP_Real SCIP_ConflictStore::lastcutoffbound

last cutoff bound for which the conflict store was cleaned

Definition at line 50 of file struct_conflictstore.h.

Referenced by SCIPconflictstoreCleanNewIncumbent().

◆ lastnodenum

SCIP_Longint SCIP_ConflictStore::lastnodenum

number of the last seen node

Definition at line 51 of file struct_conflictstore.h.

Referenced by SCIPconflictstoreAddConflict().

◆ ncleanups

SCIP_Longint SCIP_ConflictStore::ncleanups

number of storage cleanups

Definition at line 52 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 53 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 54 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 55 of file struct_conflictstore.h.

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

◆ origconflictsize

int SCIP_ConflictStore::origconflictsize

size of origconfs array

Definition at line 56 of file struct_conflictstore.h.

Referenced by conflictstoreAddOrigConflict().

◆ nconflicts

int SCIP_ConflictStore::nconflicts

number of stored conflicts

Definition at line 57 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 58 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 59 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 60 of file struct_conflictstore.h.

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

◆ ncbconflicts

int SCIP_ConflictStore::ncbconflicts

number of conflicts depending on cutoff bound

Definition at line 61 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 62 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 63 of file struct_conflictstore.h.

◆ nswitches

int SCIP_ConflictStore::nswitches

number of path switches

Definition at line 64 of file struct_conflictstore.h.

◆ initstoresize

int SCIP_ConflictStore::initstoresize

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

Definition at line 65 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 66 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 67 of file struct_conflictstore.h.

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

SCIP