Scippy

SCIP

Solving Constraint Integer Programs

All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages

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

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 194 of file history.c.

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

Referenced by findValuehistoryEntry().

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 213 of file history.c.

References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, NULL, 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

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 235 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().

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 280 of file history.c.

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

Referenced by SCIPvarScaleVSIDS().

int SCIPvaluehistoryGetNValues ( SCIP_VALUEHISTORY * valuehistory )

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

Parameters

valuehistory value based history

Definition at line 314 of file history.c.

References NULL, and SCIP_ValueHistory::nvalues.

Referenced by getValueScore().

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 324 of file history.c.

References SCIP_ValueHistory::histories, and NULL.

Referenced by getValueScore().

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 334 of file history.c.

References NULL, and SCIP_ValueHistory::values.

Referenced by getValueScore().