Scippy

SCIP

Solving Constraint Integer Programs

SCIP_ConflictSet Struct Reference

Detailed Description

set of conflicting bound changes

Definition at line 59 of file struct_conflict.h.

#include <struct_conflict.h>

Data Fields

SCIP_BDCHGINFO ** bdchginfos
 
SCIP_BDCHGINFOconfbdchginfo
 
SCIP_Realrelaxedbds
 
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
 

Field Documentation

◆ bdchginfos

◆ confbdchginfo

SCIP_BDCHGINFO* SCIP_ConflictSet::confbdchginfo

a bound change at the conflict depth

Definition at line 62 of file struct_conflict.h.

◆ relaxedbds

◆ confrelaxedbd

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.

◆ sortvals

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().

◆ bdchginfossize

int SCIP_ConflictSet::bdchginfossize

size of bdchginfos array

Definition at line 66 of file struct_conflict.h.

Referenced by conflictsetEnsureBdchginfosMem().

◆ nbdchginfos

◆ validdepth

◆ insertdepth

int SCIP_ConflictSet::insertdepth

◆ conflictdepth

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().

◆ repropdepth

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().

◆ repropagate

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().

◆ depthcalced

unsigned int SCIP_ConflictSet::depthcalced

are the conflict and repropagation depth calculated?

Definition at line 73 of file struct_conflict.h.

◆ sorted

unsigned int SCIP_ConflictSet::sorted

is the conflict set sorted

Definition at line 74 of file struct_conflict.h.

◆ usescutoffbound

unsigned int SCIP_ConflictSet::usescutoffbound

◆ conflicttype