Scippy

    SCIP

    Solving Constraint Integer Programs

    Data Fields
    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(), SCIPconflictstoreGetConflicts(), and SCIPconflictstoreUpgradeConflict().

    ◆ 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(), delPosConflict(), SCIPconflictstoreAddConflict(), SCIPconflictstoreClean(), SCIPconflictstoreCleanNewIncumbent(), SCIPconflictstoreClear(), SCIPconflictstoreGetConflicts(), SCIPconflictstoreGetNConflictsInStore(), and SCIPconflictstoreUpgradeConflict().

    ◆ 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().