Detailed Description

detector mastersetpart (set setpartitioning constraints to master)

Author: Martin Bergner

Definition in file dec_mastersetpart.cpp.

#include "dec_mastersetpart.h"
#include "cons_decomp.h"
#include "class_partialdecomp.h"
#include "class_detprobdata.h"
#include "gcg.h"
#include "scip/cons_setppc.h"
#include "scip/scip.h"
#include "scip_misc.h"
#include "scip/clock.h"
#include <iostream>

Go to the source code of this file.

Data Structures
struct	DEC_DetectorData

Macros
#define	DEC_DETECTORNAME "mastersetpart"

#define	DEC_DESC "detector mastersetpart"

#define	DEC_FREQCALLROUND 1

#define	DEC_MAXCALLROUND INT_MAX

#define	DEC_MINCALLROUND 0

#define	DEC_FREQCALLROUNDORIGINAL 1

#define	DEC_MAXCALLROUNDORIGINAL INT_MAX

#define	DEC_MINCALLROUNDORIGINAL 0

#define	DEC_PRIORITY 0

#define	DEC_DECCHAR '?'

#define	DEC_ENABLED TRUE

#define	DEC_ENABLEDFINISHING FALSE

#define	DEC_ENABLEDPOSTPROCESSING FALSE

#define	DEC_SKIP FALSE

#define	DEC_USEFULRECALL FALSE

#define	freeMastersetpart NULL

#define	exitMastersetpart NULL

#define	initMastersetpart NULL

#define	finishPartialdecMastersetpart NULL

#define	detectorPostprocessPartialdecMastersetpart NULL

#define	setParamAggressiveMastersetpart NULL

#define	setParamDefaultMastersetpart NULL

#define	setParamFastMastersetpart NULL

Functions
static	DEC_DECL_PROPAGATEPARTIALDEC (propagatePartialdecMastersetpart)

SCIP_RETCODE	SCIPincludeDetectorMastersetpart (SCIP *scip)

Macro Definition Documentation

◆ DEC_DETECTORNAME

#define DEC_DETECTORNAME "mastersetpart"

name of detector

Definition at line 49 of file dec_mastersetpart.cpp.

◆ DEC_DESC

#define DEC_DESC "detector mastersetpart"

description of detector

Definition at line 50 of file dec_mastersetpart.cpp.

◆ DEC_FREQCALLROUND

#define DEC_FREQCALLROUND 1

frequency the detector gets called in detection loop ,ie it is called in round r if and only if minCallRound <= r <= maxCallRound AND (r - minCallRound) mod freqCallRound == 0

Definition at line 51 of file dec_mastersetpart.cpp.

◆ DEC_MAXCALLROUND

#define DEC_MAXCALLROUND INT_MAX

last round the detector gets called

Definition at line 52 of file dec_mastersetpart.cpp.

◆ DEC_MINCALLROUND

#define DEC_MINCALLROUND 0

first round the detector gets called

Definition at line 53 of file dec_mastersetpart.cpp.

◆ DEC_FREQCALLROUNDORIGINAL

#define DEC_FREQCALLROUNDORIGINAL 1

frequency the detector gets called in detection loop while detecting the original problem

Definition at line 54 of file dec_mastersetpart.cpp.

◆ DEC_MAXCALLROUNDORIGINAL

#define DEC_MAXCALLROUNDORIGINAL INT_MAX

last round the detector gets called while detecting the original problem

Definition at line 55 of file dec_mastersetpart.cpp.

◆ DEC_MINCALLROUNDORIGINAL

#define DEC_MINCALLROUNDORIGINAL 0

first round the detector gets called while detecting the original problem

Definition at line 56 of file dec_mastersetpart.cpp.

◆ DEC_PRIORITY

#define DEC_PRIORITY 0

priority of the constraint handler for separation

Definition at line 57 of file dec_mastersetpart.cpp.

◆ DEC_DECCHAR

#define DEC_DECCHAR '?'

display character of detector

Definition at line 58 of file dec_mastersetpart.cpp.

◆ DEC_ENABLED

#define DEC_ENABLED TRUE

should the detection be enabled

Definition at line 59 of file dec_mastersetpart.cpp.

◆ DEC_ENABLEDFINISHING

#define DEC_ENABLEDFINISHING FALSE

should the finishing be enabled

Definition at line 60 of file dec_mastersetpart.cpp.

◆ DEC_ENABLEDPOSTPROCESSING

#define DEC_ENABLEDPOSTPROCESSING FALSE

should the postprocessing be enabled

Definition at line 61 of file dec_mastersetpart.cpp.

◆ DEC_SKIP

#define DEC_SKIP FALSE

should detector be skipped if other detectors found decompositions

Definition at line 62 of file dec_mastersetpart.cpp.

◆ DEC_USEFULRECALL

#define DEC_USEFULRECALL FALSE

is it useful to call this detector on a descendant of the propagated partialdec

Definition at line 63 of file dec_mastersetpart.cpp.

◆ freeMastersetpart

#define freeMastersetpart NULL

destructor of detector to free user data (called when GCG is exiting)

Definition at line 86 of file dec_mastersetpart.cpp.

◆ exitMastersetpart

#define exitMastersetpart NULL

destructor of detector to free detector data (called before the solving process begins)

Definition at line 89 of file dec_mastersetpart.cpp.

◆ initMastersetpart

#define initMastersetpart NULL

detection initialization function of detector (called before solving is about to begin)

Definition at line 92 of file dec_mastersetpart.cpp.

◆ finishPartialdecMastersetpart

#define finishPartialdecMastersetpart NULL

Definition at line 140 of file dec_mastersetpart.cpp.

◆ detectorPostprocessPartialdecMastersetpart

#define detectorPostprocessPartialdecMastersetpart NULL

Definition at line 142 of file dec_mastersetpart.cpp.

◆ setParamAggressiveMastersetpart

#define setParamAggressiveMastersetpart NULL

Definition at line 144 of file dec_mastersetpart.cpp.

◆ setParamDefaultMastersetpart

#define setParamDefaultMastersetpart NULL

Definition at line 145 of file dec_mastersetpart.cpp.

◆ setParamFastMastersetpart

#define setParamFastMastersetpart NULL

Definition at line 146 of file dec_mastersetpart.cpp.

Function Documentation

◆ DEC_DECL_PROPAGATEPARTIALDEC()

static DEC_DECL_PROPAGATEPARTIALDEC ( propagatePartialdecMastersetpart )

static

Definition at line 95 of file dec_mastersetpart.cpp.

References gcg::PARTIALDECOMP::addClockTime(), DEC_DETECTORNAME, gcg::PARTIALDECOMP::fixConsToMaster(), GCGconsGetType(), gcg::PARTIALDECOMP::getOpenconssVec(), setpartitioning, and gcg::PARTIALDECOMP::sort().

◆ SCIPincludeDetectorMastersetpart()

SCIP_RETCODE SCIPincludeDetectorMastersetpart ( SCIP * scip )

creates the handler for mastersetpart detector and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 154 of file dec_mastersetpart.cpp.

References DEC_DECCHAR, DEC_DESC, DEC_DETECTORNAME, DEC_ENABLED, DEC_ENABLEDFINISHING, DEC_ENABLEDPOSTPROCESSING, DEC_FREQCALLROUND, DEC_FREQCALLROUNDORIGINAL, DEC_MAXCALLROUND, DEC_MAXCALLROUNDORIGINAL, DEC_MINCALLROUND, DEC_MINCALLROUNDORIGINAL, DEC_PRIORITY, DEC_SKIP, DEC_USEFULRECALL, DECincludeDetector(), detectorPostprocessPartialdecMastersetpart, exitMastersetpart, finishPartialdecMastersetpart, freeMastersetpart, initMastersetpart, setParamAggressiveMastersetpart, setParamDefaultMastersetpart, and setParamFastMastersetpart.

Referenced by SCIPincludeGcgPlugins().

GCG