Detailed Description

public methods for storing cuts in a cut pool

Definition in file pub_cutpool.h.

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

Functions
SCIP_ROW *	SCIPcutGetRow (SCIP_CUT *cut)

int	SCIPcutGetAge (SCIP_CUT *cut)

SCIP_Real	SCIPcutGetLPActivityQuot (SCIP_CUT *cut)

SCIP_CUT **	SCIPcutpoolGetCuts (SCIP_CUTPOOL *cutpool)

int	SCIPcutpoolGetNCuts (SCIP_CUTPOOL *cutpool)

int	SCIPcutpoolGetMaxNCuts (SCIP_CUTPOOL *cutpool)

SCIP_Real	SCIPcutpoolGetTime (SCIP_CUTPOOL *cutpool)

SCIP_Longint	SCIPcutpoolGetNCalls (SCIP_CUTPOOL *cutpool)

SCIP_Longint	SCIPcutpoolGetNCutsFound (SCIP_CUTPOOL *cutpool)

Function Documentation

SCIP_ROW* SCIPcutGetRow ( SCIP_CUT * cut )

gets the row of the cut

Parameters

cut cut

int SCIPcutGetAge ( SCIP_CUT * cut )

gets the age of the cut: the number of consecutive cut pool separation rounds where the cut was neither in the LP nor violated

Parameters

cut cut

SCIP_Real SCIPcutGetLPActivityQuot ( SCIP_CUT * cut )

returns the ratio of LPs where the row belonging to this cut was active in an LP solution, i.e. where the age of its row has not been increased

Parameters

cut cut

SCIP_CUT** SCIPcutpoolGetCuts ( SCIP_CUTPOOL * cutpool )

gets array of cuts in the cut pool

Parameters

cutpool cut pool

int SCIPcutpoolGetNCuts ( SCIP_CUTPOOL * cutpool )

get number of cuts in the cut pool

Parameters

cutpool cut pool

int SCIPcutpoolGetMaxNCuts ( SCIP_CUTPOOL * cutpool )

get maximum number of cuts that were stored in the cut pool at the same time

Parameters

cutpool cut pool

SCIP_Real SCIPcutpoolGetTime ( SCIP_CUTPOOL * cutpool )

gets time in seconds used for separating cuts from the pool

Parameters

cutpool cut pool

SCIP_Longint SCIPcutpoolGetNCalls ( SCIP_CUTPOOL * cutpool )

get number of times, the cut pool was separated

Parameters

cutpool cut pool

SCIP_Longint SCIPcutpoolGetNCutsFound ( SCIP_CUTPOOL * cutpool )

get total number of cuts that were separated from the cut pool

Parameters

cutpool cut pool