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.

Go to the source code of this file.

Functions

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

Function Documentation

SCIP_Real SCIPhistoryGetVSIDS ( SCIP_HISTORY history,
SCIP_BRANCHDIR  dir 
)

gets the conflict score of the history entry

Parameters
historybranching and inference history
dirbranching direction
SCIP_Real SCIPhistoryGetCutoffSum ( SCIP_HISTORY history,
SCIP_BRANCHDIR  dir 
)

get number of cutoffs counter

Parameters
historybranching and inference history
dirbranching direction (downwards, or upwards)
int SCIPvaluehistoryGetNValues ( SCIP_VALUEHISTORY valuehistory)

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

Parameters
valuehistoryvalue based history
SCIP_HISTORY** SCIPvaluehistoryGetHistories ( SCIP_VALUEHISTORY valuehistory)

return the array containing the histories for the individual (domain) values

Parameters
valuehistoryvalue based history
SCIP_Real* SCIPvaluehistoryGetValues ( SCIP_VALUEHISTORY valuehistory)

return the array containing the (domain) values for which a history exists

Parameters
valuehistoryvalue based history