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(), conflictsetIsRedundant(), 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(), conflictAnalyzeRemainingBdchgs(), conflictCreateReconvergenceConss(), conflictsetClear(), conflictsetCopy(), SCIPconflictAnalyzePseudo(), and SCIPconflictInit().
◆ 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(), conflictAnalyzeRemainingBdchgs(), conflictCreateReconvergenceConss(), conflictsetClear(), conflictsetCopy(), runBoundHeuristic(), SCIPconflictAnalyzePseudo(), SCIPconflictAnalyzeStrongbranch(), SCIPconflictInit(), and tightenDualproof().