SCIP_History Struct Reference

Detailed Description

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

Definition at line 35 of file struct_history.h.

#include <struct_history.h>

Data Fields
SCIP_Real	pscostcount [2]
SCIP_Real	pscostsum [2]
SCIP_Real	vsids [2]
SCIP_Real	conflengthsum [2]
SCIP_Real	inferencesum [2]
SCIP_Real	cutoffsum [2]
SCIP_Longint	nactiveconflicts [2]
SCIP_Longint	nbranchings [2]
SCIP_Longint	branchdepthsum [2]

Field Documentation

SCIP_Real SCIP_History::pscostcount[2]

nr of (partial) summands in down/upwards pseudo costs (may be fractional)

Definition at line 37 of file struct_history.h.

Referenced by SCIPhistoryGetPseudocost(), SCIPhistoryGetPseudocostCount(), SCIPhistoryIsPseudocostEmpty(), SCIPhistoryReset(), SCIPhistoryUnite(), and SCIPhistoryUpdatePseudocost().

SCIP_Real SCIP_History::pscostsum[2]

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

Definition at line 38 of file struct_history.h.

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

SCIP_Real SCIP_History::vsids[2]

degree of how often the variable was reason for a conflict

Definition at line 39 of file struct_history.h.

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

SCIP_Real SCIP_History::conflengthsum[2]

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

Definition at line 40 of file struct_history.h.

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

SCIP_Real SCIP_History::inferencesum[2]

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

Definition at line 41 of file struct_history.h.

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

SCIP_Real SCIP_History::cutoffsum[2]

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

Definition at line 42 of file struct_history.h.

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

SCIP_Longint SCIP_History::nactiveconflicts[2]

number of active conflicts for which the variable gave reason

Definition at line 43 of file struct_history.h.

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

SCIP_Longint SCIP_History::nbranchings[2]

nr of times, the variable changed its bounds due to branching

Definition at line 44 of file struct_history.h.

Referenced by SCIPhistoryGetAvgBranchdepth(), SCIPhistoryGetAvgCutoffs(), SCIPhistoryGetAvgInferences(), SCIPhistoryGetNBranchings(), SCIPhistoryIncCutoffSum(), SCIPhistoryIncInferenceSum(), SCIPhistoryIncNBranchings(), SCIPhistoryReset(), and SCIPhistoryUnite().

SCIP_Longint SCIP_History::branchdepthsum[2]

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

Definition at line 45 of file struct_history.h.

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