Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

internal methods for decompositions and the decomposition store

Author: Gregor Hendel

Definition in file dcmp.h.

#include "scip/type_dcmp.h"
#include "scip/type_var.h"
#include "scip/type_cons.h"
#include "blockmemshell/memory.h"

Go to the source code of this file.

Macros
#define	SCIP_DECOMPSTORE_CAPA 10

Functions
SCIP_RETCODE	SCIPdecompstoreCreate (SCIP_DECOMPSTORE *decompstore, BMS_BLKMEM blkmem, int nslots)

void	SCIPdecompstoreFree (SCIP_DECOMPSTORE *decompstore, BMS_BLKMEM blkmem)

SCIP_RETCODE	SCIPdecompstoreAdd (SCIP_DECOMPSTORE decompstore, SCIP_DECOMP decomp)

SCIP_RETCODE	SCIPtransformDecompstore (SCIP *scip)

void	SCIPexitSolveDecompstore (SCIP *scip)

SCIP_DECOMP **	SCIPdecompstoreGetDecomps (SCIP_DECOMPSTORE *decompstore)

int	SCIPdecompstoreGetNDecomps (SCIP_DECOMPSTORE *decompstore)

SCIP_DECOMP **	SCIPdecompstoreGetOrigDecomps (SCIP_DECOMPSTORE *decompstore)

int	SCIPdecompstoreGetNOrigDecomps (SCIP_DECOMPSTORE *decompstore)

Macro Definition Documentation

◆ SCIP_DECOMPSTORE_CAPA

#define SCIP_DECOMPSTORE_CAPA 10

hardcoded maximum capacity of decomposition store

Definition at line 39 of file dcmp.h.

Referenced by copyProb(), and SCIPcreateProb().

Function Documentation

◆ SCIPdecompstoreCreate()

SCIP_RETCODE SCIPdecompstoreCreate	(	SCIP_DECOMPSTORE **	decompstore,
		BMS_BLKMEM *	blkmem,
		int	nslots
	)

creates a decomposition storage

Parameters

decompstore	pointer to store decomposition storage
blkmem	block memory data structure
nslots	maximum number of decomposition slots in storage

Definition at line 490 of file dcmp.c.

References BMSallocBlockMemory, BMSallocBlockMemoryArray, NULL, SCIP_ALLOC, and SCIP_OKAY.

Referenced by copyProb(), and SCIPcreateProb().

◆ SCIPdecompstoreFree()

void SCIPdecompstoreFree	(	SCIP_DECOMPSTORE **	decompstore,
		BMS_BLKMEM *	blkmem
	)

frees a decomposition storage

Parameters

decompstore	pointer to store decomposition storage
blkmem	block memory data structure

Definition at line 545 of file dcmp.c.

References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, freeDecompositions(), and NULL.

Referenced by SCIPfreeProb().

◆ SCIPdecompstoreAdd()

SCIP_RETCODE SCIPdecompstoreAdd	(	SCIP_DECOMPSTORE *	decompstore,
		SCIP_DECOMP *	decomp
	)

adds decomposition to storage

Parameters

decompstore	decomposition storage
decomp	decomposition to add

Definition at line 565 of file dcmp.c.

References SCIP_DecompStore::decomps, SCIP_DecompStore::decompssize, SCIP_DecompStore::ndecomps, SCIP_DecompStore::norigdecomps, NULL, SCIP_DecompStore::origdecomps, SCIP_ERROR, SCIP_OKAY, SCIPdecompIsOriginal(), and SCIPerrorMessage.

Referenced by SCIPaddDecomp(), and SCIPtransformDecompstore().

◆ SCIPtransformDecompstore()

SCIP_RETCODE SCIPtransformDecompstore ( SCIP * scip )

transforms all available original decompositions into transformed space

Parameters

scip	SCIP data structure

Definition at line 639 of file dcmp.c.

References Scip::decompstore, FALSE, SCIP_DecompStore::ndecomps, SCIP_DecompStore::norigdecomps, NULL, SCIP_DecompStore::origdecomps, SCIP_Bool, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIP_STAGE_PRESOLVED, SCIP_VERBLEVEL_HIGH, SCIPallocBufferArray, SCIPcomputeDecompConsLabels(), SCIPcomputeDecompStats(), SCIPcomputeDecompVarsLabels(), SCIPcreateDecomp(), SCIPdecompClear(), SCIPdecompGetNBlocks(), SCIPdecompGetVarsLabels(), SCIPdecompPrintStats(), SCIPdecompSetVarsLabels(), SCIPdecompstoreAdd(), SCIPdecompUseBendersLabels(), SCIPfreeBufferArray, SCIPgetConss(), SCIPgetNConss(), SCIPgetNVars(), SCIPgetStage(), SCIPgetVars(), SCIPvarGetOrigvarSum(), SCIPverbMessage(), and TRUE.

Referenced by initSolve().

◆ SCIPexitSolveDecompstore()

void SCIPexitSolveDecompstore ( SCIP * scip )

frees all decompositions in transformed space

Parameters

scip	SCIP data structure

Definition at line 533 of file dcmp.c.

References SCIP_DecompStore::decomps, Scip::decompstore, freeDecompositions(), SCIP_DecompStore::ndecomps, NULL, and SCIPblkmem().

Referenced by freeSolve().

◆ SCIPdecompstoreGetDecomps()

SCIP_DECOMP** SCIPdecompstoreGetDecomps ( SCIP_DECOMPSTORE * decompstore )

gets decompositions from storage

Parameters

decompstore decomposition storage

Definition at line 601 of file dcmp.c.

References SCIP_DecompStore::decomps, and NULL.

Referenced by SCIPgetDecomps().

◆ SCIPdecompstoreGetNDecomps()

int SCIPdecompstoreGetNDecomps ( SCIP_DECOMPSTORE * decompstore )

gets number of decompositions in storage

Parameters

decompstore decomposition storage

Definition at line 611 of file dcmp.c.

References SCIP_DecompStore::ndecomps, and NULL.

Referenced by SCIPgetDecomps().

◆ SCIPdecompstoreGetOrigDecomps()

SCIP_DECOMP** SCIPdecompstoreGetOrigDecomps ( SCIP_DECOMPSTORE * decompstore )

gets decompositions in original space from storage

gets decompositions from storage

Parameters

decompstore decomposition storage

Definition at line 620 of file dcmp.c.

References NULL, and SCIP_DecompStore::origdecomps.

Referenced by SCIPapplyBendersDecomposition(), and SCIPgetDecomps().

◆ SCIPdecompstoreGetNOrigDecomps()

int SCIPdecompstoreGetNOrigDecomps ( SCIP_DECOMPSTORE * decompstore )

gets number of decompositions in original space in storage

gets number of decompositions in storage

Parameters

decompstore decomposition storage

Definition at line 630 of file dcmp.c.

References SCIP_DecompStore::norigdecomps, and NULL.

Referenced by SCIPapplyBendersDecomposition(), SCIPgetDecomps(), and SCIPsolve().