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 | |
int | SCIPvaluehistoryGetNValues (SCIP_VALUEHISTORY *valuehistory) |
SCIP_HISTORY ** | SCIPvaluehistoryGetHistories (SCIP_VALUEHISTORY *valuehistory) |
SCIP_Real * | SCIPvaluehistoryGetValues (SCIP_VALUEHISTORY *valuehistory) |
SCIP_RETCODE SCIPvaluehistoryCreate | ( | SCIP_VALUEHISTORY ** | valuehistory, |
BMS_BLKMEM * | blkmem | ||
) |
creates an empty value history
valuehistory | pointer to store the value based branching and inference histories |
blkmem | block memory |
Definition at line 228 of file history.c.
References BMSallocBlockMemory, BMSallocBlockMemoryArray, SCIP_ALLOC, and SCIP_OKAY.
Referenced by findValuehistoryEntry().
void SCIPvaluehistoryFree | ( | SCIP_VALUEHISTORY ** | valuehistory, |
BMS_BLKMEM * | blkmem | ||
) |
frees a value history
valuehistory | pointer to value based history |
blkmem | block memory |
Definition at line 247 of file history.c.
References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, and SCIPhistoryFree().
Referenced by varFree().
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
valuehistory | value based history |
blkmem | block memory |
set | global SCIP settings |
value | domain value of interest |
history | pointer to store the history for the given domain value |
Definition at line 269 of file history.c.
References BMSreallocBlockMemoryArray, SCIP_ValueHistory::histories, SCIP_ValueHistory::nvalues, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPhistoryCreate(), SCIPsetCalcMemGrowSize(), SCIPsortedvecFindReal(), SCIPsortedvecInsertRealPtr(), SCIP_ValueHistory::sizevalues, and SCIP_ValueHistory::values.
Referenced by findValuehistoryEntry().
void SCIPvaluehistoryScaleVSIDS | ( | SCIP_VALUEHISTORY * | valuehistory, |
SCIP_Real | scalar | ||
) |
scales the conflict score values with the given scalar for each value history entry
valuehistory | value based history |
scalar | scalar to multiply the conflict scores with |
Definition at line 314 of file history.c.
References SCIP_ValueHistory::histories, SCIP_ValueHistory::nvalues, and SCIPhistoryScaleVSIDS().
Referenced by SCIPvarScaleVSIDS().
int SCIPvaluehistoryGetNValues | ( | SCIP_VALUEHISTORY * | valuehistory | ) |
return the number of (domain) values for which a history exists
valuehistory | value based history |
Definition at line 348 of file history.c.
References SCIP_ValueHistory::nvalues.
Referenced by getValueScore().
SCIP_HISTORY** SCIPvaluehistoryGetHistories | ( | SCIP_VALUEHISTORY * | valuehistory | ) |
return the array containing the histories for the individual (domain) values
valuehistory | value based history |
Definition at line 358 of file history.c.
References SCIP_ValueHistory::histories.
Referenced by getValueScore().
SCIP_Real* SCIPvaluehistoryGetValues | ( | SCIP_VALUEHISTORY * | valuehistory | ) |
return the array containing the (domain) values for which a history exists
valuehistory | value based history |
Definition at line 368 of file history.c.
References SCIP_ValueHistory::values.
Referenced by getValueScore().