Scippy

SCIP

Solving Constraint Integer Programs

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_Real SCIPhistoryGetVSIDS (SCIP_HISTORY *history, SCIP_BRANCHDIR dir)
 
SCIP_Real SCIPhistoryGetAvgConflictlength (SCIP_HISTORY *history, SCIP_BRANCHDIR dir)
 
SCIP_Real SCIPhistoryGetCutoffSum (SCIP_HISTORY *history, SCIP_BRANCHDIR dir)
 
SCIP_Real SCIPhistoryGetInferenceSum (SCIP_HISTORY *history, SCIP_BRANCHDIR dir)
 
int SCIPvaluehistoryGetNValues (SCIP_VALUEHISTORY *valuehistory)
 
SCIP_HISTORY ** SCIPvaluehistoryGetHistories (SCIP_VALUEHISTORY *valuehistory)
 
SCIP_RealSCIPvaluehistoryGetValues (SCIP_VALUEHISTORY *valuehistory)
 

Function Documentation

◆ SCIPhistoryGetVSIDS()

SCIP_Real SCIPhistoryGetVSIDS ( SCIP_HISTORY history,
SCIP_BRANCHDIR  dir 
)

gets the conflict score of the history entry

Parameters
historybranching and inference history
dirbranching direction

Definition at line 536 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().

◆ SCIPhistoryGetAvgConflictlength()

SCIP_Real SCIPhistoryGetAvgConflictlength ( SCIP_HISTORY history,
SCIP_BRANCHDIR  dir 
)

gets the average conflict length of the history entry

Parameters
historybranching and inference history
dirbranching direction

Definition at line 578 of file history.c.

References SCIP_History::conflengthsum, SCIP_History::nactiveconflicts, NULL, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, and SCIP_Real.

Referenced by SCIPgetAvgConflictlengthScore(), SCIPgetAvgConflictlengthScoreCurrentRun(), SCIPvarGetAvgConflictlength(), and SCIPvarGetAvgConflictlengthCurrentRun().

◆ SCIPhistoryGetCutoffSum()

SCIP_Real SCIPhistoryGetCutoffSum ( SCIP_HISTORY history,
SCIP_BRANCHDIR  dir 
)

get number of cutoffs counter

Parameters
historybranching and inference history
dirbranching direction (downwards, or upwards)

Definition at line 678 of file history.c.

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

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

◆ SCIPhistoryGetInferenceSum()

SCIP_Real SCIPhistoryGetInferenceSum ( SCIP_HISTORY history,
SCIP_BRANCHDIR  dir 
)

get number of inferences counter

Parameters
historybranching and inference history
dirbranching direction (downwards, or upwards)

Definition at line 652 of file history.c.

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

Referenced by SCIPprintBranchingStatistics(), SCIPvarGetInferenceSum(), and SCIPvarGetInferenceSumCurrentRun().

◆ SCIPvaluehistoryGetNValues()

int SCIPvaluehistoryGetNValues ( SCIP_VALUEHISTORY valuehistory)

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

Parameters
valuehistoryvalue 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
valuehistoryvalue 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
valuehistoryvalue based history

Definition at line 383 of file history.c.

References NULL, and SCIP_ValueHistory::values.

Referenced by getValueScore().