pub_cutpool.h File Reference

Detailed Description

public methods for storing cuts in a cut pool

Author

Tobias Achterberg

Definition in file pub_cutpool.h.

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

Go to the source code of this file.

Functions
SCIP_ROW *	SCIPcutGetRow (SCIP_CUT *cut)
int	SCIPcutGetAge (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_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