dcmp.c File Reference

Detailed Description

internal methods for decompositions and the decomposition store

Author

Gregor Hendel

Definition in file dcmp.c.

#include <assert.h>
#include "scip/dcmp.h"
#include "scip/mem.h"
#include "scip/pub_cons.h"
#include "scip/pub_dcmp.h"
#include "scip/pub_message.h"
#include "scip/pub_misc.h"
#include "scip/pub_var.h"
#include "scip/scip_cons.h"
#include "scip/scip_dcmp.h"
#include "scip/scip_mem.h"
#include "scip/scip_prob.h"
#include "scip/scip_var.h"
#include "scip/scip_general.h"
#include "scip/scip_datastructures.h"
#include "scip/scip_message.h"
#include "scip/struct_dcmp.h"
#include "scip/struct_scip.h"

Go to the source code of this file.

Macros
#define	INIT_MAP_SIZE   2000

Functions
SCIP_RETCODE	SCIPdecompCreate (SCIP_DECOMP **decomp, BMS_BLKMEM *blkmem, int nblocks, SCIP_Bool original, SCIP_Bool benderslabels)
void	SCIPdecompFree (SCIP_DECOMP **decomp, BMS_BLKMEM *blkmem)
SCIP_RETCODE	SCIPdecompSetVarsLabels (SCIP_DECOMP *decomp, SCIP_VAR **vars, int *labels, int nvars)
void	SCIPdecompGetVarsLabels (SCIP_DECOMP *decomp, SCIP_VAR **vars, int *labels, int nvars)
SCIP_RETCODE	SCIPdecompSetConsLabels (SCIP_DECOMP *decomp, SCIP_CONS **conss, int *labels, int nconss)
void	SCIPdecompGetConsLabels (SCIP_DECOMP *decomp, SCIP_CONS **conss, int *labels, int nconss)
SCIP_RETCODE	SCIPdecompClear (SCIP_DECOMP *decomp, SCIP_Bool clearvarlabels, SCIP_Bool clearconslabels)
SCIP_Bool	SCIPdecompIsOriginal (SCIP_DECOMP *decomp)
void	SCIPdecompSetUseBendersLabels (SCIP_DECOMP *decomp, SCIP_Bool benderslabels)
SCIP_Bool	SCIPdecompUseBendersLabels (SCIP_DECOMP *decomp)
int	SCIPdecompGetNBlocks (SCIP_DECOMP *decomp)
SCIP_Real	SCIPdecompGetAreaScore (SCIP_DECOMP *decomp)
SCIP_Real	SCIPdecompGetModularity (SCIP_DECOMP *decomp)
SCIP_RETCODE	SCIPdecompGetVarsSize (SCIP_DECOMP *decomp, int *varssize, int nlabels)
SCIP_RETCODE	SCIPdecompGetConssSize (SCIP_DECOMP *decomp, int *consssize, int nlabels)
int	SCIPdecompGetNBorderVars (SCIP_DECOMP *decomp)
int	SCIPdecompGetNBorderConss (SCIP_DECOMP *decomp)
int	SCIPdecompGetNBlockGraphEdges (SCIP_DECOMP *decomp)
int	SCIPdecompGetNBlockGraphComponents (SCIP_DECOMP *decomp)
int	SCIPdecompGetNBlockGraphArticulations (SCIP_DECOMP *decomp)
int	SCIPdecompGetBlockGraphMaxDegree (SCIP_DECOMP *decomp)
int	SCIPdecompGetBlockGraphMinDegree (SCIP_DECOMP *decomp)
char *	SCIPdecompPrintStats (SCIP_DECOMP *decomp, char *strbuf)
SCIP_RETCODE	SCIPdecompstoreCreate (SCIP_DECOMPSTORE **decompstore, BMS_BLKMEM *blkmem, int nslots)
static void	freeDecompositions (BMS_BLKMEM *blkmem, SCIP_DECOMP **decomps, int *ndecomps)
void	SCIPexitSolveDecompstore (SCIP *scip)
void	SCIPdecompstoreFree (SCIP_DECOMPSTORE **decompstore, BMS_BLKMEM *blkmem)
SCIP_RETCODE	SCIPdecompstoreAdd (SCIP_DECOMPSTORE *decompstore, SCIP_DECOMP *decomp)
SCIP_DECOMP **	SCIPdecompstoreGetDecomps (SCIP_DECOMPSTORE *decompstore)
int	SCIPdecompstoreGetNDecomps (SCIP_DECOMPSTORE *decompstore)
SCIP_DECOMP **	SCIPdecompstoreGetOrigDecomps (SCIP_DECOMPSTORE *decompstore)
int	SCIPdecompstoreGetNOrigDecomps (SCIP_DECOMPSTORE *decompstore)
SCIP_RETCODE	SCIPtransformDecompstore (SCIP *scip)

Macro Definition Documentation

INIT_MAP_SIZE

#define INIT_MAP_SIZE   2000

Definition at line 54 of file dcmp.c.

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 500 of file dcmp.c.

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

Referenced by copyProb(), and SCIPcreateProb().

freeDecompositions()

static void freeDecompositions ( BMS_BLKMEM *  blkmem, SCIP_DECOMP **  decomps, int *  ndecomps  )

static

frees array of decompositions

Parameters

blkmem	block memory data structure
decomps	decomposition array
ndecomps	pointer for initial number of decompositions, will be set to 0

Definition at line 524 of file dcmp.c.

References NULL, and SCIPdecompFree().

Referenced by SCIPdecompstoreFree(), and SCIPexitSolveDecompstore().

SCIPexitSolveDecompstore()

void SCIPexitSolveDecompstore

(

SCIP *

scip

)

frees all decompositions in transformed space

Parameters

scip	SCIP data structure

Definition at line 543 of file dcmp.c.

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

Referenced by freeSolve().

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 555 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 575 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().

SCIPdecompstoreGetDecomps()

SCIP_DECOMP ** SCIPdecompstoreGetDecomps

(

SCIP_DECOMPSTORE *

decompstore

)

gets decompositions from storage

Parameters

decompstore

decomposition storage

Definition at line 611 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 621 of file dcmp.c.

References SCIP_DecompStore::ndecomps, and NULL.

Referenced by SCIPgetDecomps().

SCIPdecompstoreGetOrigDecomps()

SCIP_DECOMP ** SCIPdecompstoreGetOrigDecomps

(

SCIP_DECOMPSTORE *

decompstore

)

gets decompositions from storage

Parameters

decompstore

decomposition storage

Definition at line 630 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 storage

Parameters

decompstore

decomposition storage

Definition at line 640 of file dcmp.c.

References SCIP_DecompStore::norigdecomps, and NULL.

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

SCIPtransformDecompstore()

SCIP_RETCODE SCIPtransformDecompstore

(

SCIP *

scip

)

transforms all available original decompositions into transformed space

Parameters

scip	SCIP data structure

Definition at line 649 of file dcmp.c.

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