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(), 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(), conflictCreateReconvergenceConss(), conflictsetClear(), conflictsetCopy(), SCIPconflictAnalyzePseudo(), SCIPconflictAnalyzeRemainingBdchgs(), SCIPconflictAnalyzeStrongbranch(), SCIPconflictInit(), SCIPrunBoundHeuristic(), and tightenDualproof().

SCIP