dec_generalmastersetcover.cpp
Go to the documentation of this file.
40 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
57 #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 */
60 #define DEC_FREQCALLROUNDORIGINAL 1 /** frequency the detector gets called in detection loop while detecting the original problem */
61 #define DEC_MAXCALLROUNDORIGINAL 0 /** last round the detector gets called while detecting the original problem */
62 #define DEC_MINCALLROUNDORIGINAL 0 /** first round the detector gets called while detecting the original problem */
68 #define DEC_SKIP FALSE /**< should detector be skipped if other detectors found decompositions */
69 #define DEC_USEFULRECALL FALSE /**< is it useful to call this detector on a descendant of the propagated partialdec */
131 else if(GCGconsGetType(scip, cons) != logicor && GCGconsGetType(scip, cons) != setpacking && GCGconsGetType(scip, cons) != setpartitioning )
187 partialdecdetectiondata->newpartialdecs[0]->addClockTime(SCIPgetClockTime(scip, temporaryClock));
277 DECincludeDetector(scip, DEC_DETECTORNAME, DEC_DECCHAR, DEC_DESC, DEC_FREQCALLROUND, DEC_MAXCALLROUND, DEC_MINCALLROUND,
280 detectordata, freeGeneralmastersetcover, initGeneralmastersetcover, exitGeneralmastersetcover, propagatePartialdecGeneralmastersetcover, finishPartialdecGeneralmastersetcover, detectorPostprocessPartialdecGeneralmastersetcover, setParamAggressiveGeneralmastersetcover, setParamDefaultGeneralmastersetcover, setParamFastGeneralmastersetcover));
#define freeGeneralmastersetcover
Definition: dec_generalmastersetcover.cpp:93
const char * DECdetectorGetName(DEC_DETECTOR *detector)
returns the name of the provided detector
Definition: cons_decomp.cpp:2618
GCG interface methods.
#define initGeneralmastersetcover
Definition: dec_generalmastersetcover.cpp:99
std::vector< int >::const_iterator fixConsToMaster(std::vector< int >::const_iterator itr)
fixes a constraint to the master constraints
Definition: class_partialdecomp.cpp:4938
void addDetectorChainInfo(const char *decinfo)
add information about the detector chain
Definition: class_partialdecomp.cpp:315
std::vector< int > & getOpenconssVec()
Gets a vector containing constraint ids not assigned yet as vector.
Definition: class_partialdecomp.cpp:4253
constraint handler for structure detection
#define DEC_ENABLEDPOSTPROCESSING
Definition: dec_generalmastersetcover.cpp:67
#define finishPartialdecGeneralmastersetcover
Definition: dec_generalmastersetcover.cpp:197
SCIP_RETCODE GCGconsGetVars(SCIP *scip, SCIP_CONS *cons, SCIP_VAR **vars, int nvars)
Definition: scip_misc.c:490
various SCIP helper methods
static DEC_DECL_SETPARAMAGGRESSIVE(setParamAggressiveGeneralmastersetcover)
Definition: dec_generalmastersetcover.cpp:201
static DEC_DECL_SETPARAMDEFAULT(setParamDefaultGeneralmastersetcover)
Definition: dec_generalmastersetcover.cpp:230
#define DEC_MAXCALLROUNDORIGINAL
Definition: dec_generalmastersetcover.cpp:61
bool sort()
sorts the vars and conss data structures by their indices
Definition: class_partialdecomp.cpp:5445
generalmastersetcover detector
SCIP_RETCODE GCGconsGetVals(SCIP *scip, SCIP_CONS *cons, SCIP_Real *vals, int nvals)
Definition: scip_misc.c:621
#define DEC_FREQCALLROUNDORIGINAL
Definition: dec_generalmastersetcover.cpp:60
static DEC_DECL_PROPAGATEPARTIALDEC(propagatePartialdecGeneralmastersetcover)
Definition: dec_generalmastersetcover.cpp:101
SCIP_RETCODE SCIPincludeDetectorGeneralmastersetcover(SCIP *scip)
Definition: dec_generalmastersetcover.cpp:268
SCIP_RETCODE DECincludeDetector(SCIP *scip, const char *name, const char decchar, const char *description, int freqCallRound, int maxCallRound, int minCallRound, int freqCallRoundOriginal, int maxCallRoundOriginal, int minCallRoundOriginal, int priority, SCIP_Bool enabled, SCIP_Bool enabledFinishing, SCIP_Bool enabledPostprocessing, SCIP_Bool skip, SCIP_Bool usefulRecall, DEC_DETECTORDATA *detectordata, DEC_DECL_FREEDETECTOR((*freeDetector)), DEC_DECL_INITDETECTOR((*initDetector)), DEC_DECL_EXITDETECTOR((*exitDetector)), DEC_DECL_PROPAGATEPARTIALDEC((*propagatePartialdecDetector)), DEC_DECL_FINISHPARTIALDEC((*finishPartialdecDetector)), DEC_DECL_POSTPROCESSPARTIALDEC((*postprocessPartialdecDetector)), DEC_DECL_SETPARAMAGGRESSIVE((*setParamAggressiveDetector)), DEC_DECL_SETPARAMDEFAULT((*setParamDefaultDetector)),)
Definition: cons_decomp.cpp:3041
Definition: dec_compgreedily.cpp:73
class storing (potentially incomplete) decompositions
static DEC_DECL_SETPARAMFAST(setParamFastGeneralmastersetcover)
Definition: dec_generalmastersetcover.cpp:246
#define exitGeneralmastersetcover
Definition: dec_generalmastersetcover.cpp:96
#define detectorPostprocessPartialdecGeneralmastersetcover
Definition: dec_generalmastersetcover.cpp:198
class storing partialdecs and the problem matrix
#define DEC_MINCALLROUNDORIGINAL
Definition: dec_generalmastersetcover.cpp:62