SCIP
Solving Constraint Integer Programs
Solving Constraint Integer Programs
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 ** | origconfs |
| SCIP_Real * | primalbounds |
| SCIP_Real | avgswitchlength |
| SCIP_Longint | lastnodenum |
| SCIP_Longint | ncleanups |
| SCIP_Longint | nnzdualrays |
| int | conflictsize |
| int | origconflictsize |
| int | nconflicts |
| int | ndualrayconfs |
| int | norigconfs |
| int | ncbconflicts |
| int | nconflictsfound |
| int | cleanupfreq |
| int | nswitches |
| int | initstoresize |
| int | storesize |
| int | maxstoresize |
| SCIP_EVENTHDLR* SCIP_ConflictStore::eventhdlr |
event handler to catch improving solutions
Definition at line 38 of file struct_conflictstore.h.
| SCIP_CONS** SCIP_ConflictStore::conflicts |
array with conflicts
Definition at line 39 of file struct_conflictstore.h.
Referenced by cleanDeletedConflicts(), conflictstoreCleanUpStorage(), conflictstoreEnsureMem(), delPosConflict(), SCIPconflictstoreAddConflict(), SCIPconflictstoreClean(), SCIPconflictstoreCleanNewIncumbent(), and SCIPconflictstoreGetConflicts().
| SCIP_CONS** SCIP_ConflictStore::dualrayconfs |
array with conflicts based on dual rays
Definition at line 40 of file struct_conflictstore.h.
Referenced by delPosDualray(), SCIPconflictstoreAddDualraycons(), and SCIPconflictstoreClean().
| SCIP_CONS** SCIP_ConflictStore::origconfs |
array of original conflicts added in stage SCIP_STAGE_PROBLEM
Definition at line 41 of file struct_conflictstore.h.
Referenced by conflictstoreAddOrigConflict(), SCIPconflictstoreClean(), and SCIPconflictstoreTransform().
| SCIP_Real* SCIP_ConflictStore::primalbounds |
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 42 of file struct_conflictstore.h.
Referenced by conflictstoreCleanUpStorage(), conflictstoreEnsureMem(), delPosConflict(), SCIPconflictstoreAddConflict(), and SCIPconflictstoreCleanNewIncumbent().
| SCIP_Real SCIP_ConflictStore::avgswitchlength |
average length of switched paths
Definition at line 44 of file struct_conflictstore.h.
| SCIP_Longint SCIP_ConflictStore::lastnodenum |
number of the last seen node
Definition at line 45 of file struct_conflictstore.h.
Referenced by SCIPconflictstoreAddConflict().
| SCIP_Longint SCIP_ConflictStore::ncleanups |
number of storage cleanups
Definition at line 46 of file struct_conflictstore.h.
Referenced by conflictstoreCleanUpStorage().
| SCIP_Longint SCIP_ConflictStore::nnzdualrays |
number of non-zeros in all stored dual rays
Definition at line 47 of file struct_conflictstore.h.
Referenced by delPosDualray(), SCIPconflictstoreAddDualraycons(), and SCIPconflictstoreGetAvgNnzDualray().
| int SCIP_ConflictStore::conflictsize |
size of conflict array (bounded by conflict->maxpoolsize)
Definition at line 48 of file struct_conflictstore.h.
Referenced by conflictstoreCleanUpStorage(), conflictstoreEnsureMem(), and SCIPconflictstoreAddConflict().
| int SCIP_ConflictStore::origconflictsize |
size of origconfs array
Definition at line 49 of file struct_conflictstore.h.
Referenced by conflictstoreAddOrigConflict().
| int SCIP_ConflictStore::nconflicts |
number of stored conflicts
Definition at line 50 of file struct_conflictstore.h.
Referenced by adjustStorageSize(), cleanDeletedConflicts(), conflictstoreCleanUpStorage(), conflictstoreEnsureMem(), delPosConflict(), SCIPconflictstoreAddConflict(), SCIPconflictstoreClean(), SCIPconflictstoreCleanNewIncumbent(), SCIPconflictstoreGetConflicts(), and SCIPconflictstoreGetNConflictsInStore().
| int SCIP_ConflictStore::ndualrayconfs |
number of stored dual rays
Definition at line 51 of file struct_conflictstore.h.
Referenced by delPosDualray(), SCIPconflictstoreAddDualraycons(), SCIPconflictstoreClean(), SCIPconflictstoreGetAvgNnzDualray(), and SCIPconflictstoreGetNDualrays().
| int SCIP_ConflictStore::norigconfs |
number of original conflicts
Definition at line 52 of file struct_conflictstore.h.
Referenced by conflictstoreAddOrigConflict(), SCIPconflictstoreClean(), and SCIPconflictstoreTransform().
| int SCIP_ConflictStore::ncbconflicts |
number of conflicts depending on cutoff bound
Definition at line 53 of file struct_conflictstore.h.
Referenced by conflictstoreCleanUpStorage(), delPosConflict(), SCIPconflictstoreAddConflict(), and SCIPconflictstoreCleanNewIncumbent().
| int SCIP_ConflictStore::nconflictsfound |
total number of conflicts found so far
Definition at line 54 of file struct_conflictstore.h.
Referenced by SCIPconflictstoreAddConflict().
| int SCIP_ConflictStore::cleanupfreq |
frequency to cleanup the storage if the storage is not full
Definition at line 55 of file struct_conflictstore.h.
| int SCIP_ConflictStore::nswitches |
number of path switches
Definition at line 56 of file struct_conflictstore.h.
| int SCIP_ConflictStore::initstoresize |
initial size of the storage (different to maxstoresize iff dynamic)
Definition at line 57 of file struct_conflictstore.h.
Referenced by conflictstoreCleanUpStorage(), initConflictstore(), SCIPconflictstoreAddConflict(), and SCIPconflictstoreGetInitPoolSize().
| int SCIP_ConflictStore::storesize |
current size of the storage (different to maxstoresize iff dynamic)
Definition at line 58 of file struct_conflictstore.h.
Referenced by adjustStorageSize(), conflictstoreCleanUpStorage(), conflictstoreEnsureMem(), initConflictstore(), and SCIPconflictstoreGetMaxPoolSize().
| int SCIP_ConflictStore::maxstoresize |
maximal size of the storage
Definition at line 59 of file struct_conflictstore.h.
Referenced by adjustStorageSize(), conflictstoreCleanUpStorage(), conflictstoreEnsureMem(), initConflictstore(), SCIPconflictstoreAddConflict(), and SCIPconflictstoreGetMaxPoolSize().