SCIP
Solving Constraint Integer Programs
Solving Constraint Integer Programs
set of conflicting bound changes
Definition at line 59 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 |
| SCIP_CONFTYPE | conflicttype |
| SCIP_BDCHGINFO** SCIP_ConflictSet::bdchginfos |
bound change informations of the conflict set
Definition at line 61 of file struct_conflict.h.
Referenced by checkRedundancy(), conflictAddConflictCons(), conflictAddConflictset(), conflictAnalyze(), conflictCreateReconvergenceConss(), conflictResolveBound(), conflictsetAddBound(), conflictsetAddBounds(), conflictsetCalcConflictDepth(), conflictsetCalcInsertDepth(), conflictsetCopy(), conflictsetEnsureBdchginfosMem(), conflictsetIsRedundant(), detectImpliedBounds(), and updateStatistics().
| SCIP_BDCHGINFO* SCIP_ConflictSet::confbdchginfo |
a bound change at the conflict depth
Definition at line 62 of file struct_conflict.h.
| SCIP_Real* SCIP_ConflictSet::relaxedbds |
array of relaxed bounds which are efficient for a valid conflict
Definition at line 63 of file struct_conflict.h.
Referenced by checkRedundancy(), conflictAddConflictCons(), conflictAddConflictset(), conflictAnalyze(), conflictCreateReconvergenceConss(), conflictResolveBound(), conflictsetAddBound(), conflictsetAddBounds(), conflictsetCopy(), conflictsetEnsureBdchginfosMem(), conflictsetIsRedundant(), detectImpliedBounds(), and updateStatistics().
| SCIP_Real SCIP_ConflictSet::confrelaxedbd |
relaxed bound belonging the the bound change at the conflict depth
Definition at line 64 of file struct_conflict.h.
| int* SCIP_ConflictSet::sortvals |
aggregated var index/bound type values for sorting
Definition at line 65 of file struct_conflict.h.
Referenced by conflictsetAddBound(), conflictsetAddBounds(), conflictsetCopy(), conflictsetEnsureBdchginfosMem(), conflictsetIsRedundant(), and detectImpliedBounds().
| int SCIP_ConflictSet::bdchginfossize |
size of bdchginfos array
Definition at line 66 of file struct_conflict.h.
Referenced by conflictsetEnsureBdchginfosMem().
| int SCIP_ConflictSet::nbdchginfos |
number of bound change informations in the conflict set
Definition at line 67 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().
| int SCIP_ConflictSet::validdepth |
depth in the tree where the conflict set is valid
Definition at line 68 of file struct_conflict.h.
Referenced by conflictAddConflictCons(), conflictAddConflictset(), conflictsetCalcConflictDepth(), conflictsetCalcInsertDepth(), conflictsetCalcScore(), conflictsetClear(), conflictsetCopy(), conflictsetIsRedundant(), and SCIPconflictFlushConss().
| int SCIP_ConflictSet::insertdepth |
depth level where constraint should be added
Definition at line 69 of file struct_conflict.h.
Referenced by conflictAddConflictset(), conflictsetCalcConflictDepth(), conflictsetCalcInsertDepth(), conflictsetClear(), conflictsetCopy(), and SCIPconflictFlushConss().
| int SCIP_ConflictSet::conflictdepth |
depth in the tree where the conflict set yields a conflict
Definition at line 70 of file struct_conflict.h.
Referenced by conflictAddConflictCons(), conflictsetCalcConflictDepth(), conflictsetClear(), conflictsetCopy(), and SCIPconflictFlushConss().
| int SCIP_ConflictSet::repropdepth |
depth at which the conflict set triggers a deduction
Definition at line 71 of file struct_conflict.h.
Referenced by conflictsetCalcConflictDepth(), conflictsetCalcScore(), conflictsetClear(), conflictsetCopy(), and SCIPconflictFlushConss().
| unsigned int SCIP_ConflictSet::repropagate |
should the conflict constraint trigger a repropagation?
Definition at line 72 of file struct_conflict.h.
Referenced by conflictAddConflictset(), conflictsetClear(), and SCIPconflictFlushConss().
| unsigned int SCIP_ConflictSet::depthcalced |
are the conflict and repropagation depth calculated?
Definition at line 73 of file struct_conflict.h.
| unsigned int SCIP_ConflictSet::sorted |
is the conflict set sorted
Definition at line 74 of file struct_conflict.h.
| unsigned int SCIP_ConflictSet::usescutoffbound |
is the conflict based on the cutoff bound?
Definition at line 75 of file struct_conflict.h.
Referenced by conflictAddConflictCons(), conflictAnalyzeBoundexceedingLP(), conflictAnalyzeRemainingBdchgs(), conflictCreateReconvergenceConss(), conflictsetClear(), conflictsetCopy(), SCIPconflictAnalyzePseudo(), and SCIPconflictInit().
| SCIP_CONFTYPE SCIP_ConflictSet::conflicttype |
conflict type: unknown, infeasible LP, bound exceeding LP, propagation
Definition at line 76 of file struct_conflict.h.
Referenced by conflictAddConflictCons(), conflictAnalyzeBoundexceedingLP(), conflictAnalyzeInfeasibleLP(), conflictAnalyzeLP(), conflictAnalyzeRemainingBdchgs(), conflictCreateReconvergenceConss(), conflictsetClear(), conflictsetCopy(), runBoundHeuristic(), SCIPconflictAnalyzePseudo(), SCIPconflictAnalyzeStrongbranch(), SCIPconflictInit(), and tightenDualproof().