pub_history.h File Reference

Detailed Description

public methods for branching and inference history structure

Author

Stefan Heinz

Definition in file pub_history.h.

#include "scip/def.h"
#include "scip/type_history.h"

Go to the source code of this file.

Functions
SCIP_EXPORT SCIP_Real	SCIPhistoryGetVSIDS (SCIP_HISTORY *history, SCIP_BRANCHDIR dir)
SCIP_EXPORT SCIP_Real	SCIPhistoryGetCutoffSum (SCIP_HISTORY *history, SCIP_BRANCHDIR dir)
SCIP_EXPORT int	SCIPvaluehistoryGetNValues (SCIP_VALUEHISTORY *valuehistory)
SCIP_EXPORT SCIP_HISTORY **	SCIPvaluehistoryGetHistories (SCIP_VALUEHISTORY *valuehistory)
SCIP_EXPORT SCIP_Real *	SCIPvaluehistoryGetValues (SCIP_VALUEHISTORY *valuehistory)

Function Documentation

SCIPhistoryGetVSIDS()

SCIP_EXPORT SCIP_Real SCIPhistoryGetVSIDS	(	SCIP_HISTORY *	history,
		SCIP_BRANCHDIR	dir
	)

gets the conflict score of the history entry

Parameters

history	branching and inference history
dir	branching direction

Definition at line 520 of file history.c.

References NULL, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, and SCIP_History::vsids.

Referenced by checkValueScore(), SCIPgetAvgConflictScore(), SCIPgetAvgConflictScoreCurrentRun(), SCIPvarGetVSIDS(), SCIPvarGetVSIDS_rec(), SCIPvarGetVSIDSCurrentRun(), and SCIPvarIncVSIDS().

SCIPhistoryGetCutoffSum()

SCIP_EXPORT SCIP_Real SCIPhistoryGetCutoffSum	(	SCIP_HISTORY *	history,
		SCIP_BRANCHDIR	dir
	)

get number of cutoffs counter

Parameters

history	branching and inference history
dir	branching direction (downwards, or upwards)

Definition at line 662 of file history.c.

References SCIP_History::cutoffsum, NULL, SCIP_BRANCHDIR_DOWNWARDS, and SCIP_BRANCHDIR_UPWARDS.

Referenced by checkValueScore(), SCIPprintBranchingStatistics(), SCIPvarGetCutoffSum(), and SCIPvarGetCutoffSumCurrentRun().

SCIPvaluehistoryGetNValues()

SCIP_EXPORT int SCIPvaluehistoryGetNValues

(

SCIP_VALUEHISTORY *

valuehistory

)

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

Parameters

valuehistory

value based history

Definition at line 351 of file history.c.

References NULL, and SCIP_ValueHistory::nvalues.

Referenced by getValueScore().

SCIPvaluehistoryGetHistories()

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

References SCIP_ValueHistory::histories, and NULL.

Referenced by getValueScore().

SCIPvaluehistoryGetValues()

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

References NULL, and SCIP_ValueHistory::values.

Referenced by getValueScore().