Scippy

SCIP

Solving Constraint Integer Programs

All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages

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

Definition at line 359 of file cutpool.c.

References NULL, and SCIP_Cut::row.

Referenced by copyCuts().

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

Definition at line 369 of file cutpool.c.

References SCIP_Cut::age, and NULL.

Referenced by copyCuts().

SCIP_CUT** SCIPcutpoolGetCuts ( SCIP_CUTPOOL * cutpool )

gets array of cuts in the cut pool

Parameters

cutpool cut pool

Definition at line 821 of file cutpool.c.

References SCIP_Cutpool::cuts, and NULL.

Referenced by SCIPgetDelayedPoolCuts(), and SCIPgetPoolCuts().

int SCIPcutpoolGetNCuts ( SCIP_CUTPOOL * cutpool )

get number of cuts in the cut pool

gets number of cuts in the cut pool

Parameters

cutpool cut pool

Definition at line 831 of file cutpool.c.

References SCIP_Cutpool::ncuts, and NULL.

Referenced by SCIPgetNDelayedPoolCuts(), and SCIPgetNPoolCuts().

int SCIPcutpoolGetMaxNCuts ( SCIP_CUTPOOL * cutpool )

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

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

Parameters

cutpool cut pool

Definition at line 841 of file cutpool.c.

References SCIP_Cutpool::maxncuts, and NULL.

Referenced by printSeparatorStatistics().

SCIP_Real SCIPcutpoolGetTime ( SCIP_CUTPOOL * cutpool )

gets time in seconds used for separating cuts from the pool

Parameters

cutpool cut pool

Definition at line 851 of file cutpool.c.

References NULL, SCIP_Cutpool::poolclock, and SCIPclockGetTime().

Referenced by printSeparatorStatistics().

SCIP_Longint SCIPcutpoolGetNCalls ( SCIP_CUTPOOL * cutpool )

get number of times, the cut pool was separated

Parameters

cutpool cut pool

Definition at line 861 of file cutpool.c.

References SCIP_Cutpool::ncalls, and NULL.

Referenced by printSeparatorStatistics().

SCIP_Longint SCIPcutpoolGetNCutsFound ( SCIP_CUTPOOL * cutpool )

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

Parameters

cutpool cut pool

Definition at line 871 of file cutpool.c.

References SCIP_Cutpool::ncutsfound, and NULL.

Referenced by printSeparatorStatistics().