Scippy

    SCIP

    Solving Constraint Integer Programs

    Data Fields
    SCIP_ConflictSet Struct Reference

    Detailed Description

    set of conflicting bound changes

    Definition at line 68 of file struct_conflict.h.

    #include <struct_conflict.h>

    Data Fields

    SCIP_BDCHGINFO ** bdchginfos
     
    SCIP_BDCHGINFO * confbdchginfo
     
    SCIP_Real * relaxedbds
     
    SCIP_Real confrelaxedbd
     
    int * sortvals
     
    int bdchginfossize
     
    int nbdchginfos
     
    int validdepth
     
    int insertdepth
     
    int conflictdepth
     
    int repropdepth
     
    unsigned int repropagate:1
     
    unsigned int depthcalced:1
     
    unsigned int sorted:1
     
    unsigned int usescutoffbound:1
     
    unsigned int hasrelaxonlyvar:1
     
    SCIP_CONFTYPE conflicttype
     

    Field Documentation

    ◆ bdchginfos

    SCIP_BDCHGINFO** SCIP_ConflictSet::bdchginfos

    bound change informations of the conflict set

    Definition at line 70 of file struct_conflict.h.

    Referenced by checkRedundancy(), conflictAddConflictCons(), conflictAddConflictset(), conflictAnalyze(), conflictCreateReconvergenceConss(), conflictResolveBound(), conflictsetAddBound(), conflictsetAddBounds(), conflictsetCalcConflictDepth(), conflictsetCalcInsertDepth(), conflictsetCopy(), conflictsetEnsureBdchginfosMem(), conflictsetIsRedundant(), detectImpliedBounds(), and updateStatistics().

    ◆ confbdchginfo

    SCIP_BDCHGINFO* SCIP_ConflictSet::confbdchginfo

    a bound change at the conflict depth

    Definition at line 71 of file struct_conflict.h.

    ◆ relaxedbds

    SCIP_Real* SCIP_ConflictSet::relaxedbds

    array of relaxed bounds which are efficient for a valid conflict

    Definition at line 72 of file struct_conflict.h.

    Referenced by checkRedundancy(), conflictAddConflictCons(), conflictAddConflictset(), conflictAnalyze(), conflictCreateReconvergenceConss(), conflictResolveBound(), conflictsetAddBound(), conflictsetAddBounds(), conflictsetCopy(), conflictsetEnsureBdchginfosMem(), detectImpliedBounds(), and updateStatistics().

    ◆ confrelaxedbd

    SCIP_Real SCIP_ConflictSet::confrelaxedbd

    relaxed bound belonging the the bound change at the conflict depth

    Definition at line 73 of file struct_conflict.h.

    ◆ sortvals

    int* SCIP_ConflictSet::sortvals

    aggregated var index/bound type values for sorting

    Definition at line 74 of file struct_conflict.h.

    Referenced by conflictsetAddBound(), conflictsetAddBounds(), conflictsetCopy(), conflictsetEnsureBdchginfosMem(), conflictsetIsRedundant(), and detectImpliedBounds().

    ◆ bdchginfossize

    int SCIP_ConflictSet::bdchginfossize

    size of bdchginfos array

    Definition at line 75 of file struct_conflict.h.

    Referenced by conflictsetEnsureBdchginfosMem().

    ◆ nbdchginfos

    int SCIP_ConflictSet::nbdchginfos

    number of bound change informations in the conflict set

    Definition at line 76 of file struct_conflict.h.

    Referenced by checkRedundancy(), conflictAddConflictCons(), conflictAddConflictset(), conflictAnalyze(), conflictCreateReconvergenceConss(), conflictResolveBound(), conflictsetAddBound(), conflictsetAddBounds(), conflictsetCalcConflictDepth(), conflictsetCalcInsertDepth(), conflictsetCalcScore(), conflictsetClear(), conflictsetCopy(), conflictsetIsRedundant(), detectImpliedBounds(), SCIPconflictAnalyze(), SCIPconflictFlushConss(), and updateStatistics().

    ◆ validdepth

    int SCIP_ConflictSet::validdepth

    depth in the tree where the conflict set is valid

    Definition at line 77 of file struct_conflict.h.

    Referenced by conflictAddConflictCons(), conflictAddConflictset(), conflictsetCalcConflictDepth(), conflictsetCalcInsertDepth(), conflictsetCalcScore(), conflictsetClear(), conflictsetCopy(), conflictsetIsRedundant(), and SCIPconflictFlushConss().

    ◆ insertdepth

    int SCIP_ConflictSet::insertdepth

    depth level where constraint should be added

    Definition at line 78 of file struct_conflict.h.

    Referenced by conflictAddConflictset(), conflictsetCalcConflictDepth(), conflictsetCalcInsertDepth(), conflictsetClear(), conflictsetCopy(), and SCIPconflictFlushConss().

    ◆ conflictdepth

    int SCIP_ConflictSet::conflictdepth

    depth in the tree where the conflict set yields a conflict

    Definition at line 79 of file struct_conflict.h.

    Referenced by conflictAddConflictCons(), conflictsetCalcConflictDepth(), conflictsetClear(), conflictsetCopy(), and SCIPconflictFlushConss().

    ◆ repropdepth

    int SCIP_ConflictSet::repropdepth

    depth at which the conflict set triggers a deduction

    Definition at line 80 of file struct_conflict.h.

    Referenced by conflictsetCalcConflictDepth(), conflictsetCalcScore(), conflictsetClear(), conflictsetCopy(), and SCIPconflictFlushConss().

    ◆ repropagate

    unsigned int SCIP_ConflictSet::repropagate

    should the conflict constraint trigger a repropagation?

    Definition at line 81 of file struct_conflict.h.

    Referenced by conflictAddConflictset(), conflictsetClear(), and SCIPconflictFlushConss().

    ◆ depthcalced

    unsigned int SCIP_ConflictSet::depthcalced

    are the conflict and repropagation depth calculated?

    Definition at line 82 of file struct_conflict.h.

    ◆ sorted

    unsigned int SCIP_ConflictSet::sorted

    is the conflict set sorted

    Definition at line 83 of file struct_conflict.h.

    ◆ usescutoffbound

    unsigned int SCIP_ConflictSet::usescutoffbound

    is the conflict based on the cutoff bound?

    Definition at line 84 of file struct_conflict.h.

    Referenced by conflictAddConflictCons(), conflictAnalyzeBoundexceedingLP(), conflictCreateReconvergenceConss(), conflictsetClear(), conflictsetCopy(), SCIPconflictAnalyzePseudo(), SCIPconflictAnalyzeRemainingBdchgs(), SCIPconflictInit(), and SCIPrunBoundHeuristic().

    ◆ hasrelaxonlyvar

    unsigned int SCIP_ConflictSet::hasrelaxonlyvar

    is one of the bound change informations using a relaxation-only variable

    Definition at line 85 of file struct_conflict.h.

    Referenced by conflictAddConflictCons(), conflictsetAddBound(), conflictsetAddBounds(), conflictsetClear(), and conflictsetCopy().

    ◆ conflicttype

    SCIP_CONFTYPE SCIP_ConflictSet::conflicttype

    conflict type: unknown, infeasible LP, bound exceeding LP, propagation

    Definition at line 86 of file struct_conflict.h.

    Referenced by conflictAddConflictCons(), conflictAnalyze(), conflictAnalyzeBoundexceedingLP(), conflictAnalyzeInfeasibleLP(), conflictAnalyzeLP(), conflictCreateReconvergenceConss(), conflictsetClear(), conflictsetCopy(), SCIPconflictAnalyzePseudo(), SCIPconflictAnalyzeRemainingBdchgs(), SCIPconflictAnalyzeStrongbranch(), SCIPconflictInit(), SCIPrunBoundHeuristic(), and tightenDualproof().