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_Real *	SCIPvaluehistoryGetValues (SCIP_VALUEHISTORY *valuehistory)

Function Documentation

SCIPvaluehistoryCreate()

SCIP_RETCODE SCIPvaluehistoryCreate	(	SCIP_VALUEHISTORY **	valuehistory,
		BMS_BLKMEM *	blkmem
	)

creates an empty value history

Parameters

valuehistory	pointer to store the value based branching and inference histories
blkmem	block memory

Definition at line 243 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

valuehistory	pointer to value based history
blkmem	block memory

Definition at line 262 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

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 284 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

valuehistory	value based history
scalar	scalar to multiply the conflict scores with

Definition at line 329 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

valuehistory

value based history

Definition at line 363 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

valuehistory

value based history

Definition at line 373 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

valuehistory

value based history

Definition at line 383 of file history.c.

References NULL, and SCIP_ValueHistory::values.

Referenced by getValueScore().