Detailed Description

bound change information to track bound changes from root node to current node

Definition at line 120 of file struct_var.h.

#include <struct_var.h>

Data Fields
SCIP_Real	oldbound
SCIP_Real	newbound
SCIP_Longint	oldcertificateindex
SCIP_VAR *	var
SCIP_INFERENCEDATA	inferencedata
SCIP_BDCHGIDX	bdchgidx
unsigned int	pos:27
unsigned int	boundchgtype:2
unsigned int	boundtype:1
unsigned int	inferboundtype:1
unsigned int	redundant:1

Field Documentation

◆ oldbound

SCIP_Real SCIP_BdChgInfo::oldbound

old value for bound

Definition at line 122 of file struct_var.h.

Referenced by SCIPbdchginfoGetOldbound(), SCIPbdchginfoIsRedundant(), and updatePseudocost().

◆ newbound

SCIP_Real SCIP_BdChgInfo::newbound

new value for bound

Definition at line 123 of file struct_var.h.

Referenced by SCIPbdchginfoGetNewbound(), SCIPbdchginfoIsRedundant(), SCIPbdchginfoIsTighter(), and updatePseudocost().

◆ oldcertificateindex

SCIP_Longint SCIP_BdChgInfo::oldcertificateindex

certificate line for old bound (-1 if certificate is not used)

Definition at line 124 of file struct_var.h.

◆ var

SCIP_VAR* SCIP_BdChgInfo::var

active variable that changed the bounds

Definition at line 125 of file struct_var.h.

Referenced by conflictAddConflictCons(), SCIPbdchginfoGetRelaxedBound(), SCIPbdchginfoGetVar(), SCIPbdchginfoIsTighter(), and updateStatistics().

◆ inferencedata

SCIP_INFERENCEDATA SCIP_BdChgInfo::inferencedata

data for inferred bound changes

Definition at line 126 of file struct_var.h.

Referenced by reasonRowFromLpRow(), SCIPbdchginfoGetInferCons(), SCIPbdchginfoGetInferInfo(), SCIPbdchginfoGetInferProp(), SCIPbdchginfoGetInferVar(), and SCIPbdchginfoHasInferenceReason().

◆ bdchgidx

SCIP_BDCHGIDX SCIP_BdChgInfo::bdchgidx

bound change index in path from root to current node

Definition at line 127 of file struct_var.h.

Referenced by SCIPbdchginfoGetDepth(), SCIPbdchginfoGetIdx(), SCIPbdchginfoGetPos(), SCIPconflictAddRelaxedBound(), and SCIPvarWasFixedEarlier().

◆ pos

unsigned int SCIP_BdChgInfo::pos

position in the variable domain change array

Definition at line 128 of file struct_var.h.

Referenced by SCIPconflictAddRelaxedBound().

◆ boundchgtype

unsigned int SCIP_BdChgInfo::boundchgtype

bound change type: branching decision or inferred bound change

Definition at line 129 of file struct_var.h.

Referenced by SCIPbdchginfoGetChgtype(), SCIPbdchginfoGetInferBoundtype(), SCIPbdchginfoGetInferCons(), SCIPbdchginfoGetInferInfo(), SCIPbdchginfoGetInferProp(), SCIPbdchginfoGetInferVar(), SCIPbdchginfoHasInferenceReason(), and updatePseudocost().

◆ boundtype

unsigned int SCIP_BdChgInfo::boundtype

type of bound for var: lower or upper bound

Definition at line 130 of file struct_var.h.

Referenced by conflictAddConflictCons(), SCIPbdchginfoGetBoundtype(), SCIPbdchginfoGetRelaxedBound(), and SCIPbdchginfoIsTighter().

◆ inferboundtype

unsigned int SCIP_BdChgInfo::inferboundtype

type of bound for inference var (see inference data): lower or upper bound

Definition at line 131 of file struct_var.h.

Referenced by SCIPbdchginfoGetInferBoundtype().

◆ redundant

unsigned int SCIP_BdChgInfo::redundant

does the bound change info belong to a redundant bound change?

Definition at line 132 of file struct_var.h.

Referenced by SCIPbdchginfoIsRedundant(), and SCIPvarWasFixedEarlier().