Scippy

SCIP

Solving Constraint Integer Programs

Value Based History

Detailed Description

Value based history methods.

Functions

SCIP_RETCODE SCIPvaluehistoryCreate (SCIP_VALUEHISTORY **valuehistory, BMS_BLKMEM *blkmem)
 
void SCIPvaluehistoryFree (SCIP_VALUEHISTORY **valuehistory, BMS_BLKMEM *blkmem)
 
SCIP_RETCODE SCIPvaluehistoryFind (SCIP_VALUEHISTORY *valuehistory, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_Real value, SCIP_HISTORY **history)
 
void SCIPvaluehistoryScaleVSIDS (SCIP_VALUEHISTORY *valuehistory, SCIP_Real scalar)
 

Value based history

Value based history methods

int SCIPvaluehistoryGetNValues (SCIP_VALUEHISTORY *valuehistory)
 
SCIP_HISTORY ** SCIPvaluehistoryGetHistories (SCIP_VALUEHISTORY *valuehistory)
 
SCIP_RealSCIPvaluehistoryGetValues (SCIP_VALUEHISTORY *valuehistory)
 

Function Documentation

◆ SCIPvaluehistoryCreate()

SCIP_RETCODE SCIPvaluehistoryCreate ( SCIP_VALUEHISTORY **  valuehistory,
BMS_BLKMEM blkmem 
)

creates an empty value history

Parameters
valuehistorypointer to store the value based branching and inference histories
blkmemblock memory

Definition at line 227 of file history.c.

References BMSallocBlockMemory, BMSallocBlockMemoryArray, NULL, SCIP_ALLOC, and SCIP_OKAY.

Referenced by findValuehistoryEntry().

◆ SCIPvaluehistoryFree()

void SCIPvaluehistoryFree ( SCIP_VALUEHISTORY **  valuehistory,
BMS_BLKMEM blkmem 
)

frees a value history

Parameters
valuehistorypointer to value based history
blkmemblock memory

Definition at line 246 of file history.c.

References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, NULL, and SCIPhistoryFree().

Referenced by varFree().

◆ SCIPvaluehistoryFind()

SCIP_RETCODE SCIPvaluehistoryFind ( SCIP_VALUEHISTORY valuehistory,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_Real  value,
SCIP_HISTORY **  history 
)

finds for the given domain value the history if it does not exist yet it will be created

Parameters
valuehistoryvalue based history
blkmemblock memory
setglobal SCIP settings
valuedomain value of interest
historypointer to store the history for the given domain value

Definition at line 268 of file history.c.

References BMSreallocBlockMemoryArray, SCIP_ValueHistory::histories, NULL, SCIP_ValueHistory::nvalues, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPhistoryCreate(), SCIPsetCalcMemGrowSize(), SCIPsortedvecFindReal(), SCIPsortedvecInsertRealPtr(), SCIP_ValueHistory::sizevalues, and SCIP_ValueHistory::values.

Referenced by findValuehistoryEntry().

◆ SCIPvaluehistoryScaleVSIDS()

void SCIPvaluehistoryScaleVSIDS ( SCIP_VALUEHISTORY valuehistory,
SCIP_Real  scalar 
)

scales the conflict score values with the given scalar for each value history entry

Parameters
valuehistoryvalue based history
scalarscalar to multiply the conflict scores with

Definition at line 313 of file history.c.

References SCIP_ValueHistory::histories, NULL, SCIP_ValueHistory::nvalues, and SCIPhistoryScaleVSIDS().

Referenced by SCIPvarScaleVSIDS().

◆ SCIPvaluehistoryGetNValues()

int SCIPvaluehistoryGetNValues ( SCIP_VALUEHISTORY valuehistory)

return the number of (domain) values for which a history exists

Parameters
valuehistoryvalue based history

Definition at line 347 of file history.c.

References NULL, and SCIP_ValueHistory::nvalues.

Referenced by getValueScore().

◆ SCIPvaluehistoryGetHistories()

SCIP_HISTORY** SCIPvaluehistoryGetHistories ( SCIP_VALUEHISTORY valuehistory)

return the array containing the histories for the individual (domain) values

Parameters
valuehistoryvalue based history

Definition at line 357 of file history.c.

References SCIP_ValueHistory::histories, and NULL.

Referenced by getValueScore().

◆ SCIPvaluehistoryGetValues()

SCIP_Real* SCIPvaluehistoryGetValues ( SCIP_VALUEHISTORY valuehistory)

return the array containing the (domain) values for which a history exists

Parameters
valuehistoryvalue based history

Definition at line 367 of file history.c.

References NULL, and SCIP_ValueHistory::values.

Referenced by getValueScore().