Scippy

SCIP

Solving Constraint Integer Programs

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_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

Definition at line 359 of file cutpool.c.

References NULL, and SCIP_Cut::row.

Referenced by copyCuts(), and takeCut().

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 takeCut().

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

See also: SCIPcutGetAge() to get the age of a cut

Parameters

cut cut

Definition at line 383 of file cutpool.c.

References NULL, SCIP_Cut::row, SCIP_Longint, SCIP_Real, SCIProwGetActiveLPCount(), and SCIProwGetNLPsAfterCreation().

Referenced by takeCut().

SCIP_CUT** SCIPcutpoolGetCuts ( SCIP_CUTPOOL * cutpool )

gets array of cuts in the cut pool

Parameters

cutpool cut pool

Definition at line 844 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 854 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 864 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 874 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 884 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 894 of file cutpool.c.

References SCIP_Cutpool::ncutsfound, and NULL.

Referenced by printSeparatorStatistics().