Scippy

SCIP

Solving Constraint Integer Programs

SCIP_History Struct Reference

Detailed Description

branching and inference history information for single variable independent of the domain value

Definition at line 36 of file struct_history.h.

#include <struct_history.h>

Data Fields

SCIP_Real pscostcount [2]
 
SCIP_Real pscostweightedmean [2]
 
SCIP_Real pscostvariance [2]
 
SCIP_Real vsids [2]
 
SCIP_Real conflengthsum [2]
 
SCIP_Real inferencesum [2]
 
SCIP_Real cutoffsum [2]
 
SCIP_Real ratio
 
SCIP_Real balance
 
SCIP_Bool ratiovalid
 
SCIP_Longint nactiveconflicts [2]
 
SCIP_Longint nbranchings [2]
 
SCIP_Longint branchdepthsum [2]
 

Field Documentation

◆ pscostcount

SCIP_Real SCIP_History::pscostcount[2]

◆ pscostweightedmean

SCIP_Real SCIP_History::pscostweightedmean[2]

weighted mean of (partial) pseudo cost values for down/upwards branching

Definition at line 39 of file struct_history.h.

Referenced by SCIPhistoryGetPseudocost(), SCIPhistoryReset(), SCIPhistoryUnite(), SCIPhistoryUpdatePseudocost(), and SCIPreoptMergeVarHistory().

◆ pscostvariance

SCIP_Real SCIP_History::pscostvariance[2]

weighted variance of (partial) pseudo cost history for down/upwards branching

Definition at line 40 of file struct_history.h.

Referenced by SCIPhistoryGetPseudocostVariance(), SCIPhistoryReset(), SCIPhistoryUnite(), SCIPhistoryUpdatePseudocost(), and SCIPreoptMergeVarHistory().

◆ vsids

SCIP_Real SCIP_History::vsids[2]

degree of how often the variable was reason for a conflict

Definition at line 41 of file struct_history.h.

Referenced by SCIPhistoryGetVSIDS(), SCIPhistoryIncVSIDS(), SCIPhistoryReset(), SCIPhistoryScaleVSIDS(), and SCIPhistoryUnite().

◆ conflengthsum

SCIP_Real SCIP_History::conflengthsum[2]

overall length of all active conflicts for which the variable gave reason

Definition at line 42 of file struct_history.h.

Referenced by SCIPhistoryGetAvgConflictlength(), SCIPhistoryIncNActiveConflicts(), SCIPhistoryReset(), and SCIPhistoryUnite().

◆ inferencesum

SCIP_Real SCIP_History::inferencesum[2]

degree of how often branching on the variable lead to inference of another bound

Definition at line 43 of file struct_history.h.

Referenced by SCIPhistoryGetAvgInferences(), SCIPhistoryGetInferenceSum(), SCIPhistoryIncInferenceSum(), SCIPhistoryReset(), and SCIPhistoryUnite().

◆ cutoffsum

SCIP_Real SCIP_History::cutoffsum[2]

degree of how often branching on the variable lead to an infeasible sub problem

Definition at line 44 of file struct_history.h.

Referenced by SCIPhistoryGetAvgCutoffs(), SCIPhistoryGetCutoffSum(), SCIPhistoryIncCutoffSum(), SCIPhistoryReset(), and SCIPhistoryUnite().

◆ ratio

SCIP_Real SCIP_History::ratio

Most recently computed value of the unpowered ratio (phi^l) in the Treemodel rules

Definition at line 45 of file struct_history.h.

Referenced by SCIPhistoryGetLastRatio(), SCIPhistoryReset(), and SCIPhistorySetRatioHistory().

◆ balance

SCIP_Real SCIP_History::balance

Most recently value of r/l used to compute a ratio in the Treemodel rules

Definition at line 46 of file struct_history.h.

Referenced by SCIPhistoryGetLastBalance(), SCIPhistoryReset(), and SCIPhistorySetRatioHistory().

◆ ratiovalid

SCIP_Bool SCIP_History::ratiovalid

Whether the ratio value is valid for the Treemodel rules

Definition at line 47 of file struct_history.h.

Referenced by SCIPhistoryGetLastBalance(), SCIPhistoryGetLastRatio(), SCIPhistoryIsRatioValid(), SCIPhistoryReset(), and SCIPhistorySetRatioHistory().

◆ nactiveconflicts

SCIP_Longint SCIP_History::nactiveconflicts[2]

number of active conflicts for which the variable gave reason

Definition at line 48 of file struct_history.h.

Referenced by SCIPhistoryGetAvgConflictlength(), SCIPhistoryGetNActiveConflicts(), SCIPhistoryIncNActiveConflicts(), SCIPhistoryReset(), and SCIPhistoryUnite().

◆ nbranchings

◆ branchdepthsum

SCIP_Longint SCIP_History::branchdepthsum[2]

sum of depth levels, at which the branching bound changes took place

Definition at line 50 of file struct_history.h.

Referenced by SCIPhistoryGetAvgBranchdepth(), SCIPhistoryIncNBranchings(), SCIPhistoryReset(), and SCIPhistoryUnite().