Scippy

SCIP

Solving Constraint Integer Programs

SCIP_ValueHistory Struct Reference

Detailed Description

branching and inference history information for single variable dependent on the domain value

Definition at line 50 of file struct_history.h.

#include <struct_history.h>

Data Fields

SCIP_HISTORY ** histories
 
SCIP_Realvalues
 
int nvalues
 
int sizevalues
 

Field Documentation

SCIP_HISTORY** SCIP_ValueHistory::histories

branching and inference history information for individual domain values

Definition at line 52 of file struct_history.h.

Referenced by SCIPvaluehistoryFind(), SCIPvaluehistoryGetHistories(), and SCIPvaluehistoryScaleVSIDS().

SCIP_Real* SCIP_ValueHistory::values

(sorted) array containing the domain values

Definition at line 53 of file struct_history.h.

Referenced by SCIPvaluehistoryFind(), and SCIPvaluehistoryGetValues().

int SCIP_ValueHistory::nvalues

number of different domain values

Definition at line 54 of file struct_history.h.

Referenced by SCIPvaluehistoryFind(), SCIPvaluehistoryGetNValues(), and SCIPvaluehistoryScaleVSIDS().

int SCIP_ValueHistory::sizevalues

size of the both arrays

Definition at line 55 of file struct_history.h.

Referenced by SCIPvaluehistoryFind().