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 35 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_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(), SCIPhistoryGetPseudocostVariance(), SCIPhistoryIsPseudocostEmpty(), SCIPhistoryReset(), SCIPhistoryUnite(), and SCIPhistoryUpdatePseudocost().

SCIP_Real SCIP_History::pscostweightedmean[2]

weighted mean 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::pscostvariance[2]

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

Definition at line 39 of file struct_history.h.

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

SCIP_Real SCIP_History::vsids[2]

degree of how often the variable was reason for a conflict

Definition at line 40 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 41 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 42 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 43 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 44 of file struct_history.h.

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

SCIP_Longint SCIP_History::branchdepthsum[2]

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

Definition at line 46 of file struct_history.h.

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