SCIP_ConflictSet Struct Reference

Detailed Description

set of conflicting bound changes

Definition at line 58 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

Field Documentation

SCIP_BDCHGINFO** SCIP_ConflictSet::bdchginfos

bound change informations of the conflict set

Definition at line 60 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 61 of file struct_conflict.h.

SCIP_Real* SCIP_ConflictSet::relaxedbds

array of relaxed bounds which are efficient for a valid conflict

Definition at line 62 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 63 of file struct_conflict.h.

int* SCIP_ConflictSet::sortvals

aggregated var index/bound type values for sorting

Definition at line 64 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 65 of file struct_conflict.h.

Referenced by conflictsetEnsureBdchginfosMem().

int SCIP_ConflictSet::nbdchginfos

number of bound change informations in the conflict set

Definition at line 66 of file struct_conflict.h.

Referenced by checkRedundancy(), conflictAddConflictCons(), conflictAddConflictset(), conflictAnalyze(), conflictCreateReconvergenceConss(), conflictResolveBound(), conflictsetAddBound(), conflictsetAddBounds(), conflictsetCalcConflictDepth(), conflictsetCalcInsertDepth(), 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 67 of file struct_conflict.h.

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

int SCIP_ConflictSet::insertdepth

depth level where constraint should be added

Definition at line 68 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 69 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 70 of file struct_conflict.h.

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

unsigned int SCIP_ConflictSet::repropagate

should the conflict constraint trigger a repropagation?

Definition at line 71 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 72 of file struct_conflict.h.

unsigned int SCIP_ConflictSet::sorted

is the conflict set sorted

Definition at line 73 of file struct_conflict.h.