Detailed Description
constraint handler for structure detection
This constraint handler manages the structure detection process. It will run all registered structure detectors in an iterative refinement scheme. Afterwards some post-processing detectors might be called.
Definition in file cons_decomp.h.
#include "scip/scip.h"
#include "type_detector.h"
#include "type_varclassifier.h"
#include "type_consclassifier.h"
#include "type_scoretype.h"
Go to the source code of this file.
Typedefs | |
typedef struct Partialdecomp_Wrapper | PARTIALDECOMP_WRAPPER |
Functions | |
DEC_CLASSIFIERDATA * | DECconsClassifierGetData (DEC_CONSCLASSIFIER *classifier) |
returns the data of the provided consclassifier More... | |
const char * | DECconsClassifierGetName (DEC_CONSCLASSIFIER *classifier) |
returns the name of the provided classifier More... | |
DEC_CLASSIFIERDATA * | DECvarClassifierGetData (DEC_VARCLASSIFIER *classifier) |
returns the data of the provided varclassifier More... | |
const char * | DECvarClassifierGetName (DEC_VARCLASSIFIER *classifier) |
returns the name of the provided classifier More... | |
char | DECdetectorGetChar (DEC_DETECTOR *detector) |
Gets the character of the detector. More... | |
DEC_DETECTORDATA * | DECdetectorGetData (DEC_DETECTOR *detector) |
returns the data of the provided detector More... | |
const char * | DECdetectorGetName (DEC_DETECTOR *detector) |
returns the name of the provided detector More... | |
SCIP_RETCODE | DECdetectStructure (SCIP *scip, SCIP_RESULT *result) |
interface method to detect the structure including presolving More... | |
DEC_CONSCLASSIFIER * | DECfindConsClassifier (SCIP *scip, const char *name) |
searches for the consclassifier with the given name and returns it or NULL if classifier is not found More... | |
DEC_VARCLASSIFIER * | DECfindVarClassifier (SCIP *scip, const char *name) |
searches for the varclassifier with the given name and returns it or NULL if classifier is not found More... | |
DEC_DETECTOR * | DECfindDetector (SCIP *scip, const char *name) |
searches for the detector with the given name and returns it or NULL if detector is not found More... | |
DEC_DECOMP * | DECgetBestDecomp (SCIP *scip, SCIP_Bool printwarnings) |
Gets the best known decomposition. More... | |
SCIP_RETCODE | DECgetPartialdecToWrite (SCIP *scip, SCIP_Bool transformed, PARTIALDECOMP_WRAPPER *partialdecwrapper) |
Gets the currently considered best partialdec. More... | |
SCIP_Real | DECgetRemainingTime (SCIP *scip) |
returns the remaining time of scip that the decomposition may use More... | |
SCIP_RETCODE | DECincludeConsClassifier (SCIP *scip, const char *name, const char *description, int priority, SCIP_Bool enabled, DEC_CLASSIFIERDATA *classifierdata, DEC_DECL_FREECONSCLASSIFIER((*freeClassifier)), DEC_DECL_CONSCLASSIFY((*classify))) |
includes one constraint classifier More... | |
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)), DEC_DECL_SETPARAMFAST((*setParamFastDetector))) |
includes one detector More... | |
SCIP_RETCODE | DECincludeVarClassifier (SCIP *scip, const char *name, const char *description, int priority, SCIP_Bool enabled, DEC_CLASSIFIERDATA *classifierdata, DEC_DECL_FREEVARCLASSIFIER((*freeClassifier)), DEC_DECL_VARCLASSIFY((*classify))) |
includes one variable classifier More... | |
void | DECprintListOfDetectors (SCIP *scip) |
writes out a list of all detectors More... | |
SCIP_RETCODE | DECwriteAllDecomps (SCIP *scip, char *directory, char *extension, SCIP_Bool original, SCIP_Bool presolved) |
write out all known decompositions More... | |
SCIP_RETCODE | DECwriteSelectedDecomps (SCIP *scip, char *directory, char *extension) |
writes all selected decompositions More... | |
void | GCGconshdlrDecompAddCandidatesNBlocks (SCIP *scip, SCIP_Bool origprob, int candidate) |
adds a candidate for block number and counts how often a candidate is added More... | |
SCIP_RETCODE | GCGconshdlrDecompAddDecomp (SCIP *scip, DEC_DECOMP *decomp, SCIP_Bool select) |
adds the given decomposition structure More... | |
int | GCGconshdlrDecompAddBasicPartialdec (SCIP *scip, SCIP_Bool presolved) |
creates and adds a basic partialdecomp (all cons/vars are assigned to master) More... | |
int | GCGconshdlrDecompAddMatrixPartialdec (SCIP *scip, SCIP_Bool presolved) |
creates a pure matrix partialdecomp (i.e. all cons/vars to one single block) More... | |
SCIP_RETCODE | GCGconshdlrDecompAddPreexistingDecomp (SCIP *scip, DEC_DECOMP *decomp) |
adds a decomp that exists before the detection is called More... | |
SCIP_RETCODE | GCGconshdlrDecompAddScoreTime (SCIP *scip, SCIP_Real time) |
adds given time to total score calculation time More... | |
void | GCGconshdlrDecompAddUserCandidatesNBlocks (SCIP *scip, int candidate) |
adds a candidate for block size given by the user More... | |
SCIP_RETCODE | GCGconshdlrDecompArePricingprobsIdenticalForPartialdecid (SCIP *scip, int partialdecid, int probnr1, int probnr2, SCIP_Bool *identical) |
checks if two pricing problems are identical based on information from detection More... | |
SCIP_RETCODE | GCGconshdlrDecompCalcBendersScore (SCIP *scip, int partialdecid, SCIP_Real *score) |
calculates the benders score of a partialdec More... | |
SCIP_RETCODE | GCGconshdlrDecompCalcBorderAreaScore (SCIP *scip, int partialdecid, SCIP_Real *score) |
calculates the border area score of a partialdec More... | |
void | GCGconshdlrDecompCalcCandidatesNBlocks (SCIP *scip, SCIP_Bool transformed) |
calculates and adds block size candidates using constraint classifications and variable classifications More... | |
SCIP_RETCODE | GCGconshdlrDecompCalcClassicScore (SCIP *scip, int partialdecid, SCIP_Real *score) |
calculates the classic score of a partialdec More... | |
SCIP_RETCODE | GCGconshdlrDecompCalcMaxForeseeingWhiteAggScore (SCIP *scip, int partialdecid, SCIP_Real *score) |
calculates the maxforeseeingwhiteagg score of a partialdec More... | |
SCIP_RETCODE | GCGconshdlrDecompCalcMaxForseeingWhiteScore (SCIP *scip, int partialdecid, SCIP_Real *score) |
calculates the maximum foreseeing white area score of a partialdec More... | |
SCIP_RETCODE | GCGconshdlrDecompCalcMaxWhiteScore (SCIP *scip, int partialdecid, SCIP_Real *score) |
calculates the maximum white area score of a partialdec More... | |
SCIP_RETCODE | GCGconshdlrDecompCalcSetPartForseeingWhiteScore (SCIP *scip, int partialdecid, SCIP_Real *score) |
calculates the setpartitioning maximum foreseeing white area score of a partialdec More... | |
SCIP_RETCODE | GCGconshdlrDecompCalcSetPartForWhiteAggScore (SCIP *scip, int partialdecid, SCIP_Real *score) |
calculates the setpartfwhiteagg score of a partialdec More... | |
SCIP_RETCODE | GCGconshdlrDecompCalcStrongDecompositionScore (SCIP *scip, int partialdecid, SCIP_Real *score) |
calculates the strong decomposition score of a partialdec More... | |
SCIP_Bool | GCGconshdlrDecompCheckConsistency (SCIP *scip) |
check whether partialdecs are consistent More... | |
SCIP_RETCODE | GCGconshdlrDecompClassify (SCIP *scip, SCIP_Bool transformed) |
run classification of vars and cons More... | |
SCIP_RETCODE | GCGconshdlrDecompCreateVarmapForPartialdecId (SCIP *scip, SCIP_HASHMAP **hashorig2pricingvar, int partialdecid, int probnr1, int probnr2, SCIP *scip1, SCIP *scip2, SCIP_HASHMAP *varmap) |
for two identical pricing problems a corresponding varmap is created More... | |
int | GCGconshdlrDecompDecreaseNCallsCreateDecomp (SCIP *scip) |
decreases the counter for created decompositions and returns it More... | |
void | GCGconshdlrDecompDeregisterPartialdecs (SCIP *scip, SCIP_Bool original) |
deregisters partialdecs in the conshdlr More... | |
void | GCGconshdlrDecompFreeDetprobdata (SCIP *scip) |
Frees Detprobdata of the original and transformed/presolved problem. More... | |
void | GCGconshdlrDecompFreeOrigOnExit (SCIP *scip, SCIP_Bool free) |
sets freeing of detection data of original problem during exit to true More... | |
int | GCGconshdlrDecompGetBlockNumberCandidate (SCIP *scip, int index) |
returns block number user candidate with given index More... | |
SCIP_Real | GCGconshdlrDecompGetCompleteDetectionTime (SCIP *scip) |
returns the total detection time More... | |
DEC_DECOMP ** | GCGconshdlrDecompGetDecomps (SCIP *scip) |
returns an array containing all decompositions More... | |
DEC_DETECTOR ** | GCGconshdlrDecompGetDetectors (SCIP *scip) |
Gets an array of all detectors. More... | |
SCIP_RETCODE | GCGconshdlrDecompGetFinishedPartialdecsList (SCIP *scip, int **idlist, int *listlength) |
Gets a list of ids of the current partialdecs that are finished. More... | |
SCIP_RETCODE | GCGconshdlrDecompGetPartialdecsList (SCIP *scip, int **idlist, int *listlength) |
Gets a list of ids of the current partialdecs. More... | |
int | GCGconshdlrDecompGetNBlockNumberCandidates (SCIP *scip) |
returns the number of block candidates given by the user More... | |
int | GCGconshdlrDecompGetNBlocksByPartialdecId (SCIP *scip, int id) |
gets block number of partialdec with given id More... | |
int | GCGconshdlrDecompGetNDecomps (SCIP *scip) |
gets the number of decompositions (= amount of finished partialdecs) More... | |
int | GCGconshdlrDecompGetNDetectors (SCIP *scip) |
Gets the number of all detectors. More... | |
int | GCGconshdlrDecompGetNextPartialdecID (SCIP *scip) |
Gets the next partialdec id managed by cons_decomp. More... | |
int | GCGconshdlrDecompGetNFormerDetectionConssForID (SCIP *scip, int id) |
gets number of active constraints during the detection of the decomp with given id More... | |
int | GCGconshdlrDecompGetNLinkingVarsByPartialdecId (SCIP *scip, int id) |
gets number of linking variables of partialdec with given id More... | |
int | GCGconshdlrDecompGetNMasterConssByPartialdecId (SCIP *scip, int id) |
gets number of master constraints of partialdec with given id More... | |
int | GCGconshdlrDecompGetNMasterVarsByPartialdecId (SCIP *scip, int id) |
gets number of master variables of partialdec with given id More... | |
int | GCGconshdlrDecompGetNOpenConssByPartialdecId (SCIP *scip, int id) |
gets number of open constraints of partialdec with given id More... | |
int | GCGconshdlrDecompGetNOpenVarsByPartialdecId (SCIP *scip, int id) |
gets number of open variables of partialdec with given id More... | |
unsigned int | GCGconshdlrDecompGetNFinishedPartialdecsOrig (SCIP *scip) |
Gets the number of finished partialdecs available for the original problem. More... | |
unsigned int | GCGconshdlrDecompGetNFinishedPartialdecsTransformed (SCIP *scip) |
Gets the number of finished partialdecs available for the transformed problem. More... | |
unsigned int | GCGconshdlrDecompGetNOpenPartialdecsOrig (SCIP *scip) |
Gets the number of open partialdecs available for the original problem. More... | |
unsigned int | GCGconshdlrDecompGetNOpenPartialdecsTransformed (SCIP *scip) |
Gets the number of open partialdecs available for the transformed problem. More... | |
unsigned int | GCGconshdlrDecompGetNPartialdecs (SCIP *scip) |
Gets the number of all partialdecs. More... | |
unsigned int | GCGconshdlrDecompGetNPartialdecsOrig (SCIP *scip) |
Gets the number of partialdecs available for the original problem. More... | |
unsigned int | GCGconshdlrDecompGetNPartialdecsTransformed (SCIP *scip) |
Gets the number of partialdecs available for the transformed problem. More... | |
int | GCGconshdlrDecompGetNStairlinkingVarsByPartialdecId (SCIP *scip, int id) |
gets number of stairlinking variables of partialdec with given id More... | |
SCIP_RETCODE | GCGconshdlrDecompGetPartialdecFromID (SCIP *scip, int partialdecid, PARTIALDECOMP_WRAPPER *pwr) |
Gets wrapped PARTIALDECOMP with given id. More... | |
float | GCGconshdlrDecompGetScoreByPartialdecId (SCIP *scip, int id) |
gets score of partialdec with given id More... | |
SCIP_Real | GCGconshdlrDecompGetScoreTotalTime (SCIP *scip) |
gets total score computation time More... | |
SCORETYPE | GCGconshdlrDecompGetScoretype (SCIP *scip) |
Gets the currently selected scoretype. More... | |
SCIP_RETCODE | GCGconshdlrDecompGetSelectedPartialdecs (SCIP *scip, int **idlist, int *listlength) |
Gets a list of ids of all currently selected partialdecs. More... | |
int | GCGconshdlrDecompIncreaseNCallsCreateDecomp (SCIP *scip) |
counts up the counter for created decompositions and returns it More... | |
SCIP_Bool | GCGconshdlrDecompIsPresolvedByPartialdecId (SCIP *scip, int id) |
gets whether partialdec with given id is presolved More... | |
SCIP_Bool | GCGconshdlrDecompIsSelectedByPartialdecId (SCIP *scip, int id) |
gets whether partialdec with given id is selected More... | |
SCIP_Bool | GCGconshdlrDecompOrigDetprobdataExists (SCIP *scip) |
returns whether or not a detprobdata structure for the original problem exists More... | |
SCIP_Bool | GCGconshdlrDecompOrigPartialdecExists (SCIP *scip) |
returns whether or not an original decompositions exists in the data structures More... | |
SCIP_Bool | GCGconshdlrDecompPresolvedDetprobdataExists (SCIP *scip) |
returns whether or not a detprobdata structure for the presolved problem exists More... | |
SCIP_RETCODE | GCGconshdlrDecompPrintDetectorStatistics (SCIP *scip, FILE *file) |
display statistics about detectors More... | |
SCIP_RETCODE | GCGconshdlrDecompSelectPartialdec (SCIP *scip, int partialdecid, SCIP_Bool select) |
selects/unselects a partialdecomp More... | |
SCIP_RETCODE | GCGconshdlrDecompSetDetection (SCIP *scip, SCIP_PARAMSETTING paramsetting, SCIP_Bool quiet) |
sets detector parameters values More... | |
void | GCGconshdlrDecompSetScoretype (SCIP *scip, SCORETYPE sctype) |
Sets the currently used scoretype. More... | |
SCIP_RETCODE | GCGconshdlrDecompTranslateNBestOrigPartialdecs (SCIP *scip, int n, SCIP_Bool completeGreedily) |
translates n best unpresolved partialdec to a complete presolved one More... | |
SCIP_RETCODE | GCGconshdlrDecompTranslateOrigPartialdecs (SCIP *scip) |
translates unpresolved partialdec to a complete presolved one More... | |
SCIP_Bool | GCGdetectionTookPlace (SCIP *scip, SCIP_Bool original) |
SCIP_RETCODE | SCIPconshdlrDecompRepairConsNames (SCIP *scip) |
SCIP_RETCODE | SCIPincludeConshdlrDecomp (SCIP *scip) |
creates the constraint handler for decomp and includes it in SCIP More... | |
Typedef Documentation
◆ PARTIALDECOMP_WRAPPER
typedef struct Partialdecomp_Wrapper PARTIALDECOMP_WRAPPER |
Definition at line 58 of file cons_decomp.h.
Function Documentation
◆ DECconsClassifierGetData()
DEC_CLASSIFIERDATA* DECconsClassifierGetData | ( | DEC_CONSCLASSIFIER * | classifier | ) |
returns the data of the provided consclassifier
- Returns
- data of the provided consclassifier
- Parameters
-
classifier Classifier data structure
Definition at line 2562 of file cons_decomp.cpp.
References DEC_ConsClassifier::clsdata.
Referenced by DEC_DECL_CONSCLASSIFY(), DEC_DECL_FREECONSCLASSIFIER(), DECconsClassifierGamsdomainAddEntry(), and DECconsClassifierGamssymbolAddEntry().
◆ DECconsClassifierGetName()
const char* DECconsClassifierGetName | ( | DEC_CONSCLASSIFIER * | classifier | ) |
returns the name of the provided classifier
- Returns
- name of the given classifier
- Parameters
-
classifier classifier data structure
Definition at line 2571 of file cons_decomp.cpp.
References DEC_ConsClassifier::name.
Referenced by DEC_DECL_FREECONSCLASSIFIER().
◆ DECvarClassifierGetData()
DEC_CLASSIFIERDATA* DECvarClassifierGetData | ( | DEC_VARCLASSIFIER * | classifier | ) |
returns the data of the provided varclassifier
- Returns
- data of the provided varclassifier
- Parameters
-
classifier Classifier data structure
Definition at line 2580 of file cons_decomp.cpp.
References DEC_VarClassifier::clsdata.
Referenced by DEC_DECL_FREEVARCLASSIFIER(), DEC_DECL_VARCLASSIFY(), DECvarClassifierGamsdomainAddEntry(), and DECvarClassifierGamssymbolAddEntry().
◆ DECvarClassifierGetName()
const char* DECvarClassifierGetName | ( | DEC_VARCLASSIFIER * | classifier | ) |
returns the name of the provided classifier
- Returns
- name of the given classifier
- Parameters
-
classifier classifier data structure
Definition at line 2589 of file cons_decomp.cpp.
References DEC_VarClassifier::name.
Referenced by DEC_DECL_FREEVARCLASSIFIER().
◆ DECdetectorGetChar()
char DECdetectorGetChar | ( | DEC_DETECTOR * | detector | ) |
Gets the character of the detector.
- Returns
- detector character
- Parameters
-
detector pointer to detector
Definition at line 2598 of file cons_decomp.cpp.
References DEC_Detector::decchar.
Referenced by gcg::PARTIALDECOMP::buildDecChainString(), and gcg::GCGdialogShowLegend().
◆ DECdetectorGetData()
DEC_DETECTORDATA* DECdetectorGetData | ( | DEC_DETECTOR * | detector | ) |
returns the data of the provided detector
- Returns
- data of the provided detector
- Parameters
-
detector Detector data structure
Definition at line 2609 of file cons_decomp.cpp.
References DEC_Detector::decdata.
Referenced by DEC_DECL_EXITDETECTOR(), DEC_DECL_FINISHPARTIALDEC(), DEC_DECL_FREEDETECTOR(), DEC_DECL_INITDETECTOR(), and DEC_DECL_PROPAGATEPARTIALDEC().
◆ DECdetectorGetName()
const char* DECdetectorGetName | ( | DEC_DETECTOR * | detector | ) |
returns the name of the provided detector
- Returns
- name of the given detector
- Parameters
-
detector detector data structure
Definition at line 2618 of file cons_decomp.cpp.
References DEC_Detector::name.
Referenced by DEC_DECL_EXITDETECTOR(), DEC_DECL_FREEDETECTOR(), DEC_DECL_INITDETECTOR(), DEC_DECL_SETPARAMAGGRESSIVE(), DEC_DECL_SETPARAMDEFAULT(), DEC_DECL_SETPARAMFAST(), detect(), gcg::PARTIALDECOMP::displayInfo(), gcg::GCGdialogShowLegend(), GCGprintDecompInformation(), writePartialdec(), and writeTexPartialdecStatistics().
◆ DECdetectStructure()
SCIP_RETCODE DECdetectStructure | ( | SCIP * | scip, |
SCIP_RESULT * | result | ||
) |
interface method to detect the structure including presolving
- Returns
- SCIP return code
- Parameters
-
scip SCIP data structure result Result pointer to indicate whether some structure was found
Definition at line 2627 of file cons_decomp.cpp.
References DEC_DECMODE_ORIGINAL, detect(), GCGconshdlrDecompCalcCandidatesNBlocks(), GCGconshdlrDecompClassify(), GCGconshdlrDecompGetCompleteDetectionTime(), GCGgetDecompositionMode(), getConshdlrdata(), and resetDetprobdata().
Referenced by GCGdetect(), and GCGsolve().
◆ DECfindConsClassifier()
DEC_CONSCLASSIFIER* DECfindConsClassifier | ( | SCIP * | scip, |
const char * | name | ||
) |
searches for the consclassifier with the given name and returns it or NULL if classifier is not found
- Returns
- consclassifier pointer or NULL if consclassifier with given name is not found
- Parameters
-
scip SCIP data structure name the name of the searched consclassifier
Definition at line 2806 of file cons_decomp.cpp.
References CONSHDLR_NAME, and DEC_ConsClassifier::name.
Referenced by DEC_DECL_CONSCLASSIFY().
◆ DECfindVarClassifier()
DEC_VARCLASSIFIER* DECfindVarClassifier | ( | SCIP * | scip, |
const char * | name | ||
) |
searches for the varclassifier with the given name and returns it or NULL if classifier is not found
- Returns
- varclassifier pointer or NULL if varclassifier with given name is not found
- Parameters
-
scip SCIP data structure name the name of the searched varclassifier
Definition at line 2837 of file cons_decomp.cpp.
References CONSHDLR_NAME, and DEC_VarClassifier::name.
Referenced by DEC_DECL_VARCLASSIFY().
◆ DECfindDetector()
DEC_DETECTOR* DECfindDetector | ( | SCIP * | scip, |
const char * | name | ||
) |
searches for the detector with the given name and returns it or NULL if detector is not found
- Returns
- detector pointer or NULL if detector with given name is not found
- Parameters
-
scip SCIP data structure name the name of the searched detector
Definition at line 2868 of file cons_decomp.cpp.
References CONSHDLR_NAME, and DEC_Detector::name.
Referenced by DECincludeDetector().
◆ DECgetBestDecomp()
DEC_DECOMP* DECgetBestDecomp | ( | SCIP * | scip, |
SCIP_Bool | printwarnings | ||
) |
Gets the best known decomposition.
- Note
- caller has to free returned DEC_DECOMP
- Returns
- the decomposition if available and NULL otherwise
- Parameters
-
scip SCIP data structure printwarnings should warnings pre printed
Definition at line 2898 of file cons_decomp.cpp.
References createDecompFromPartialdec(), GCGconshdlrDecompChooseCandidatesFromSelected(), getConshdlrdata(), gcg::PARTIALDECOMP::isAssignedToOrigProb(), and gcg::PARTIALDECOMP::isComplete().
Referenced by GCGsolve(), GCGwriteDecompositionData(), initRelaxator(), SCIP_DECL_DIALOGEXEC(), and writeREFFile().
◆ DECgetPartialdecToWrite()
SCIP_RETCODE DECgetPartialdecToWrite | ( | SCIP * | scip, |
SCIP_Bool | transformed, | ||
PARTIALDECOMP_WRAPPER * | partialdecwrapper | ||
) |
Gets the currently considered best partialdec.
If there is a partialdec marked to be returned (e.g. by /DECwriteAllDecomps), it is written. Else, the currently "best" decomp is returned.
- Returns
- partialdec to write if one can be found, or partialdecwrapper->partialdec = NULL otherwise
- Parameters
-
scip SCIP data structure transformed is the problem transformed yet partialdecwrapper partialdec wrapper to output
Definition at line 2967 of file cons_decomp.cpp.
References DECgetPartialdecToWrite(), and Partialdecomp_Wrapper::partialdec.
◆ DECgetRemainingTime()
SCIP_Real DECgetRemainingTime | ( | SCIP * | scip | ) |
returns the remaining time of scip that the decomposition may use
- Returns
- remaining time that the decompositon may use
- Parameters
-
scip SCIP data structure
Definition at line 2979 of file cons_decomp.cpp.
Referenced by callMetis().
◆ DECincludeConsClassifier()
SCIP_RETCODE DECincludeConsClassifier | ( | SCIP * | scip, |
const char * | name, | ||
const char * | description, | ||
int | priority, | ||
SCIP_Bool | enabled, | ||
DEC_CLASSIFIERDATA * | classifierdata, | ||
DEC_DECL_FREECONSCLASSIFIER((*freeClassifier)) | , | ||
DEC_DECL_CONSCLASSIFY((*classify)) | |||
) |
includes one constraint classifier
- Returns
- scip return code
- Parameters
-
scip scip data structure name name of the classifier description describing main idea of this classifier priority priority of the classifier enabled whether the classifier should be enabled by default classifierdata classifierdata the associated classifier data (or NULL)
◆ DECincludeDetector()
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)) | , | ||
DEC_DECL_SETPARAMFAST((*setParamFastDetector)) | |||
) |
includes one detector
- Returns
- scip return code
- Parameters
-
scip scip data structure name name of the detector decchar char that is used in detector chain history for this detector description describing main idea of this detector freqCallRound frequency the detector gets called in detection loop, i.e. it is called in round r if and only if minCallRound <= r <= maxCallRound AND (r - minCallRound) mod freqCallRound == 0 maxCallRound last detection round the detector gets called minCallRound first round the detector gets called (offset in detection loop) freqCallRoundOriginal frequency the detector gets called in detection loop while detecting of the original problem maxCallRoundOriginal last round the detector gets called while detecting of the original problem minCallRoundOriginal first round the detector gets called (offset in detection loop) while detecting of the original problem priority priority of the detector enabled whether the detector should be enabled by default enabledFinishing whether the finishing should be enabled enabledPostprocessing whether the postprocessing should be enabled skip whether the detector should be skipped if others found structure usefulRecall is it useful to call this detector on a descendant of the propagated partialdec detectordata the associated detector data (or NULL)
◆ DECincludeVarClassifier()
SCIP_RETCODE DECincludeVarClassifier | ( | SCIP * | scip, |
const char * | name, | ||
const char * | description, | ||
int | priority, | ||
SCIP_Bool | enabled, | ||
DEC_CLASSIFIERDATA * | classifierdata, | ||
DEC_DECL_FREEVARCLASSIFIER((*freeClassifier)) | , | ||
DEC_DECL_VARCLASSIFY((*classify)) | |||
) |
includes one variable classifier
- Returns
- scip return code
- Parameters
-
scip scip data structure name name of the classifier description description of the classifier priority priority how early classifier is invoked enabled whether the classifier should be enabled by default classifierdata classifierdata the associated classifier data (or NULL)
◆ DECprintListOfDetectors()
void DECprintListOfDetectors | ( | SCIP * | scip | ) |
writes out a list of all detectors
- Parameters
-
scip SCIP data structure
Definition at line 3271 of file cons_decomp.cpp.
References getConshdlrdata().
Referenced by SCIP_DECL_DIALOGEXEC().
◆ DECwriteAllDecomps()
SCIP_RETCODE DECwriteAllDecomps | ( | SCIP * | scip, |
char * | directory, | ||
char * | extension, | ||
SCIP_Bool | original, | ||
SCIP_Bool | presolved | ||
) |
write out all known decompositions
- Returns
- SCIP return code
- Parameters
-
scip SCIP data structure directory directory for decompositions extension the file extension for the export original should decomps for original problem be written presolved should decomps for preoslved problem be written
Definition at line 3297 of file cons_decomp.cpp.
References GCGgetVisualizationFilename(), getConshdlrdata(), getFinishedPartialdecs(), and gcg::PARTIALDECOMP::isAssignedToOrigProb().
Referenced by writeAllDecompositions().
◆ DECwriteSelectedDecomps()
SCIP_RETCODE DECwriteSelectedDecomps | ( | SCIP * | scip, |
char * | directory, | ||
char * | extension | ||
) |
writes all selected decompositions
- Returns
- scip return code
- Parameters
-
scip SCIP data structure directory directory for decompositions extension extension for decompositions
Definition at line 3367 of file cons_decomp.cpp.
References GCGgetVisualizationFilename(), getConshdlrdata(), and getSelectedPartialdecs().
Referenced by writeSelectedDecompositions().
◆ GCGconshdlrDecompAddCandidatesNBlocks()
void GCGconshdlrDecompAddCandidatesNBlocks | ( | SCIP * | scip, |
SCIP_Bool | origprob, | ||
int | candidate | ||
) |
adds a candidate for block number and counts how often a candidate is added
- Parameters
-
scip SCIP data structure origprob which DETPROBDATA that should be modified candidate proposed amount of blocks
Definition at line 3435 of file cons_decomp.cpp.
References gcg::DETPROBDATA::candidatesNBlocks, and getConshdlrdata().
Referenced by GCGconshdlrDecompCalcCandidatesNBlocks(), and reorderPermutations().
◆ GCGconshdlrDecompAddDecomp()
SCIP_RETCODE GCGconshdlrDecompAddDecomp | ( | SCIP * | scip, |
DEC_DECOMP * | decomp, | ||
SCIP_Bool | select | ||
) |
adds the given decomposition structure
- Returns
- scip return code
- Parameters
-
scip SCIP data structure decomp DEC_DECOMP data structure select select the decomposition as candidate
Definition at line 3468 of file cons_decomp.cpp.
References addPartialdec(), createPartialdecFromDecomp(), DecDecomp::presolved, and gcg::PARTIALDECOMP::setSelected().
◆ GCGconshdlrDecompAddBasicPartialdec()
int GCGconshdlrDecompAddBasicPartialdec | ( | SCIP * | scip, |
SCIP_Bool | presolved | ||
) |
creates and adds a basic partialdecomp (all cons/vars are assigned to master)
- Returns
- id of partialdec
- Parameters
-
scip SCIP data structure presolved create basic partialdecomp for presolved if true, otherwise for original
Definition at line 3421 of file cons_decomp.cpp.
References addPartialdec(), gcg::PARTIALDECOMP::assignOpenConssToMaster(), gcg::PARTIALDECOMP::getID(), gcg::PARTIALDECOMP::prepare(), and gcg::PARTIALDECOMP::setNBlocks().
Referenced by initRelaxator().
◆ GCGconshdlrDecompAddMatrixPartialdec()
int GCGconshdlrDecompAddMatrixPartialdec | ( | SCIP * | scip, |
SCIP_Bool | presolved | ||
) |
creates a pure matrix partialdecomp (i.e. all cons/vars to one single block)
matrix is added to list of all partialdecs
- Returns
- id of matrix partialdec
- Parameters
-
scip SCIP data structure presolved create matrix for presolved if true, otherwise for original
Definition at line 3490 of file cons_decomp.cpp.
References gcg::DETPROBDATA::addPartialdecToFinishedUnchecked(), gcg::PARTIALDECOMP::fixConsToBlock(), gcg::PARTIALDECOMP::fixVarToBlock(), GCGconshdlrDecompOrigDetprobdataExists(), GCGconshdlrDecompPresolvedDetprobdataExists(), getConshdlrdata(), gcg::PARTIALDECOMP::getID(), gcg::DETPROBDATA::getNConss(), gcg::DETPROBDATA::getNVars(), resetDetprobdata(), gcg::PARTIALDECOMP::setNBlocks(), and gcg::PARTIALDECOMP::sort().
Referenced by DECgetPartialdecToWrite(), and GCGWriteGpDecompMatrix().
◆ GCGconshdlrDecompAddPreexistingDecomp()
SCIP_RETCODE GCGconshdlrDecompAddPreexistingDecomp | ( | SCIP * | scip, |
DEC_DECOMP * | decomp | ||
) |
adds a decomp that exists before the detection is called
- Note
- this method should only be called if there is no partialdec for this decomposition
- Returns
- scip return code
- Parameters
-
scip SCIP data structure decomp decomposition data structure
Definition at line 3534 of file cons_decomp.cpp.
References createPartialdecFromDecomp(), GCGconshdlrDecompAddPreexisitingPartialDec(), and DecDecomp::presolved.
Referenced by SCIPreadRef().
◆ GCGconshdlrDecompAddScoreTime()
SCIP_RETCODE GCGconshdlrDecompAddScoreTime | ( | SCIP * | scip, |
SCIP_Real | time | ||
) |
adds given time to total score calculation time
- Returns
- scip return code
- Parameters
-
scip SCIP data structure time time to add
Definition at line 3641 of file cons_decomp.cpp.
References getConshdlrdata().
Referenced by calcBlockAreaScore(), GCGconshdlrDecompCalcBendersScore(), GCGconshdlrDecompCalcBorderAreaScore(), GCGconshdlrDecompCalcClassicScore(), GCGconshdlrDecompCalcMaxForeseeingWhiteAggScore(), GCGconshdlrDecompCalcMaxForseeingWhiteScore(), GCGconshdlrDecompCalcMaxWhiteScore(), GCGconshdlrDecompCalcSetPartForseeingWhiteScore(), GCGconshdlrDecompCalcSetPartForWhiteAggScore(), and GCGconshdlrDecompCalcStrongDecompositionScore().
◆ GCGconshdlrDecompAddUserCandidatesNBlocks()
void GCGconshdlrDecompAddUserCandidatesNBlocks | ( | SCIP * | scip, |
int | candidate | ||
) |
adds a candidate for block size given by the user
- Parameters
-
scip SCIP data structure candidate candidate for block size
Definition at line 3652 of file cons_decomp.cpp.
References getConshdlrdata().
Referenced by SCIP_DECL_DIALOGEXEC().
◆ GCGconshdlrDecompArePricingprobsIdenticalForPartialdecid()
SCIP_RETCODE GCGconshdlrDecompArePricingprobsIdenticalForPartialdecid | ( | SCIP * | scip, |
int | partialdecid, | ||
int | probnr1, | ||
int | probnr2, | ||
SCIP_Bool * | identical | ||
) |
checks if two pricing problems are identical based on information from detection
- Returns
- scip return code
- Parameters
-
scip scip scip data structure partialdecid partialdecid id of the partial decompostion for which the pricing problems are checked for identity probnr1 index of first block to check probnr2 index of second block to check identical bool pointer to score the result of the check
Definition at line 3673 of file cons_decomp.cpp.
References gcg::PARTIALDECOMP::aggInfoCalculated(), gcg::PARTIALDECOMP::calcAggregationInformation(), GCGconshdlrDecompGetPartialdecFromID(), gcg::PARTIALDECOMP::getRepForBlock(), and gcg::PARTIALDECOMP::isComplete().
Referenced by pricingprobsAreIdenticalFromDetectionInfo().
◆ GCGconshdlrDecompCalcBendersScore()
SCIP_RETCODE GCGconshdlrDecompCalcBendersScore | ( | SCIP * | scip, |
int | partialdecid, | ||
SCIP_Real * | score | ||
) |
calculates the benders score of a partialdec
in detail: bendersscore = max ( 0., 1 - ( 1 - blockareascore + (1 - borderareascore - bendersareascore ) ) ) with blockareascore = blockarea / totalarea borderareascore = borderarea / totalarea bendersareascore = bendersarea /totalarea with bendersarea = A + B - PENALTY with A = nmasterconshittingonlyblockvars * nblockvarshittngNOmasterconss B = nlinkingvarshittingonlyblockconss * nblockconsshittingonlyblockvars PENALTY = \(\sum_{b=1}^(\text{nblocks}) \sum_{\text{blockvars }bv\text{ of block }b\text{ hitting a master constraint}} \sum_{\text{all blocks }b2 != b} \text{nblockcons}(b2)\)
- Note
- experimental feature
- Returns
- scip return code
- Parameters
-
scip SCIP data structure partialdecid id of partialdec the score is calculated for score score pointer to store the calculated score
Definition at line 3705 of file cons_decomp.cpp.
References calcBlockAreaScore(), GCGconshdlrDecompAddScoreTime(), GCGconshdlrDecompCalcBorderAreaScore(), GCGconshdlrDecompGetPartialdecFromID(), gcg::PARTIALDECOMP::getBorderAreaScore(), gcg::PARTIALDECOMP::getConssForBlock(), gcg::DETPROBDATA::getConssForVar(), gcg::PARTIALDECOMP::getDetprobdata(), gcg::PARTIALDECOMP::getLinkingvars(), gcg::PARTIALDECOMP::getMasterconss(), gcg::PARTIALDECOMP::getNBlocks(), gcg::PARTIALDECOMP::getNConss(), gcg::PARTIALDECOMP::getNConssForBlock(), gcg::DETPROBDATA::getNConssForVar(), gcg::PARTIALDECOMP::getNLinkingvars(), gcg::PARTIALDECOMP::getNMasterconss(), gcg::PARTIALDECOMP::getNVars(), gcg::PARTIALDECOMP::getNVarsForBlock(), gcg::DETPROBDATA::getNVarsForCons(), gcg::PARTIALDECOMP::getVarsForBlock(), gcg::DETPROBDATA::getVarsForCons(), gcg::PARTIALDECOMP::isConsMastercons(), gcg::PARTIALDECOMP::isConsOpencons(), gcg::PARTIALDECOMP::isVarLinkingvar(), gcg::PARTIALDECOMP::isVarMastervar(), gcg::PARTIALDECOMP::isVarOpenvar(), and gcg::PARTIALDECOMP::setBendersScore().
Referenced by gcg::PARTIALDECOMP::getScore().
◆ GCGconshdlrDecompCalcBorderAreaScore()
SCIP_RETCODE GCGconshdlrDecompCalcBorderAreaScore | ( | SCIP * | scip, |
int | partialdecid, | ||
SCIP_Real * | score | ||
) |
calculates the border area score of a partialdec
1 - fraction of border area to complete area
- Returns
- scip return code
- Parameters
-
scip SCIP data structure partialdecid id of partialdec the score is calculated for score score pointer to store the calculated score
Definition at line 3849 of file cons_decomp.cpp.
References GCGconshdlrDecompAddScoreTime(), GCGconshdlrDecompGetPartialdecFromID(), gcg::PARTIALDECOMP::getNConss(), gcg::PARTIALDECOMP::getNLinkingvars(), gcg::PARTIALDECOMP::getNMasterconss(), gcg::PARTIALDECOMP::getNTotalStairlinkingvars(), gcg::PARTIALDECOMP::getNVars(), and gcg::PARTIALDECOMP::setBorderAreaScore().
Referenced by GCGconshdlrDecompCalcBendersScore(), GCGconshdlrDecompCalcMaxWhiteScore(), and gcg::PARTIALDECOMP::getScore().
◆ GCGconshdlrDecompCalcCandidatesNBlocks()
void GCGconshdlrDecompCalcCandidatesNBlocks | ( | SCIP * | scip, |
SCIP_Bool | transformed | ||
) |
calculates and adds block size candidates using constraint classifications and variable classifications
- Parameters
-
scip SCIP data structure transformed whether to find the candidates for the transformed problem, otherwise the original
Definition at line 3882 of file cons_decomp.cpp.
References gcg::DETPROBDATA::conspartitioncollection, gcd(), GCGconshdlrDecompAddCandidatesNBlocks(), getConshdlrdata(), gcg::DETPROBDATA::getNConss(), gcg::DETPROBDATA::getNVars(), gcg::DETPROBDATA::getNVarsForCons(), gcg::DETPROBDATA::isAssignedToOrigProb(), gcg::DETPROBDATA::nblockscandidatescalctime, partition(), and gcg::DETPROBDATA::varpartitioncollection.
Referenced by DECdetectStructure(), and GCGwriteCls().
◆ GCGconshdlrDecompCalcClassicScore()
SCIP_RETCODE GCGconshdlrDecompCalcClassicScore | ( | SCIP * | scip, |
int | partialdecid, | ||
SCIP_Real * | score | ||
) |
calculates the classic score of a partialdec
- Returns
- scip return code
- Parameters
-
scip SCIP data structure partialdecid id of partialdec the score is calculated for score score pointer to store the calculated score
Definition at line 4005 of file cons_decomp.cpp.
References GCGconshdlrDecompAddScoreTime(), GCGconshdlrDecompGetPartialdecFromID(), gcg::PARTIALDECOMP::getConssForBlock(), gcg::PARTIALDECOMP::getDetprobdata(), gcg::PARTIALDECOMP::getNBlocks(), gcg::PARTIALDECOMP::getNConss(), gcg::PARTIALDECOMP::getNConssForBlock(), gcg::PARTIALDECOMP::getNLinkingvars(), gcg::PARTIALDECOMP::getNMasterconss(), gcg::PARTIALDECOMP::getNMastervars(), gcg::PARTIALDECOMP::getNTotalStairlinkingvars(), gcg::PARTIALDECOMP::getNVars(), gcg::DETPROBDATA::getNVarsForCons(), gcg::DETPROBDATA::getVarsForCons(), gcg::PARTIALDECOMP::isVarBlockvarOfBlock(), gcg::PARTIALDECOMP::isVarLinkingvar(), gcg::PARTIALDECOMP::isVarMastervar(), gcg::PARTIALDECOMP::isVarStairlinkingvar(), and gcg::PARTIALDECOMP::setClassicScore().
Referenced by gcg::PARTIALDECOMP::getScore().
◆ GCGconshdlrDecompCalcMaxForeseeingWhiteAggScore()
SCIP_RETCODE GCGconshdlrDecompCalcMaxForeseeingWhiteAggScore | ( | SCIP * | scip, |
int | partialdecid, | ||
SCIP_Real * | score | ||
) |
calculates the maxforeseeingwhiteagg score of a partialdec
maximum foreseeing white area score with respect to aggregatable blocks (i.e. maximize fraction of white area score considering problem with copied linking variables and corresponding master constraints; white area is nonblock and nonborder area, stairlinking variables count as linking)
- Returns
- scip return code
- Parameters
-
scip SCIP data structure partialdecid id of partialdec the score is calculated for score score pointer to store the calculated score
Definition at line 4180 of file cons_decomp.cpp.
References gcg::PARTIALDECOMP::calcAggregationInformation(), GCGconshdlrDecompAddScoreTime(), GCGconshdlrDecompGetPartialdecFromID(), gcg::PARTIALDECOMP::getBlocksForRep(), gcg::PARTIALDECOMP::getConssForBlock(), gcg::PARTIALDECOMP::getDetprobdata(), gcg::PARTIALDECOMP::getLinkingvars(), gcg::PARTIALDECOMP::getNBlocks(), gcg::PARTIALDECOMP::getNConss(), gcg::PARTIALDECOMP::getNConssForBlock(), gcg::PARTIALDECOMP::getNLinkingvars(), gcg::PARTIALDECOMP::getNMasterconss(), gcg::PARTIALDECOMP::getNReps(), gcg::PARTIALDECOMP::getNStairlinkingvars(), gcg::PARTIALDECOMP::getNTotalStairlinkingvars(), gcg::PARTIALDECOMP::getNVars(), gcg::PARTIALDECOMP::getNVarsForBlock(), gcg::DETPROBDATA::getVal(), and gcg::PARTIALDECOMP::setMaxForWhiteAggScore().
Referenced by GCGconshdlrDecompCalcSetPartForWhiteAggScore(), and gcg::PARTIALDECOMP::getScore().
◆ GCGconshdlrDecompCalcMaxForseeingWhiteScore()
SCIP_RETCODE GCGconshdlrDecompCalcMaxForseeingWhiteScore | ( | SCIP * | scip, |
int | partialdecid, | ||
SCIP_Real * | score | ||
) |
calculates the maximum foreseeing white area score of a partialdec
maximum foreseeing white area score (i.e. maximize fraction of white area score considering problem with copied linking variables and corresponding master constraints; white area is nonblock and nonborder area, stairlinking variables count as linking)
- Returns
- scip return code
- Parameters
-
scip SCIP data structure partialdecid id of partialdec the score is calculated for score score pointer to store the calculated score
Definition at line 4280 of file cons_decomp.cpp.
References GCGconshdlrDecompAddScoreTime(), GCGconshdlrDecompGetPartialdecFromID(), gcg::PARTIALDECOMP::getConssForBlock(), gcg::DETPROBDATA::getConssForVar(), gcg::PARTIALDECOMP::getDetprobdata(), gcg::PARTIALDECOMP::getLinkingvars(), gcg::PARTIALDECOMP::getNBlocks(), gcg::PARTIALDECOMP::getNConss(), gcg::PARTIALDECOMP::getNConssForBlock(), gcg::DETPROBDATA::getNConssForVar(), gcg::PARTIALDECOMP::getNLinkingvars(), gcg::PARTIALDECOMP::getNMasterconss(), gcg::PARTIALDECOMP::getNStairlinkingvars(), gcg::PARTIALDECOMP::getNTotalStairlinkingvars(), gcg::PARTIALDECOMP::getNVars(), and gcg::PARTIALDECOMP::getNVarsForBlock().
Referenced by GCGconshdlrDecompCalcSetPartForseeingWhiteScore(), and gcg::PARTIALDECOMP::getScore().
◆ GCGconshdlrDecompCalcMaxWhiteScore()
SCIP_RETCODE GCGconshdlrDecompCalcMaxWhiteScore | ( | SCIP * | scip, |
int | partialdecid, | ||
SCIP_Real * | score | ||
) |
calculates the maximum white area score of a partialdec
score corresponding to the max white measure according to aggregated blocks
- Returns
- scip return code
- Parameters
-
scip SCIP data structure partialdecid id of partialdec the score is calculated for score score pointer to store the calculated score
Definition at line 4397 of file cons_decomp.cpp.
References calcBlockAreaScore(), GCGconshdlrDecompAddScoreTime(), GCGconshdlrDecompCalcBorderAreaScore(), GCGconshdlrDecompGetPartialdecFromID(), gcg::PARTIALDECOMP::getBorderAreaScore(), and gcg::PARTIALDECOMP::setMaxWhiteScore().
Referenced by gcg::PARTIALDECOMP::getScore().
◆ GCGconshdlrDecompCalcSetPartForseeingWhiteScore()
SCIP_RETCODE GCGconshdlrDecompCalcSetPartForseeingWhiteScore | ( | SCIP * | scip, |
int | partialdecid, | ||
SCIP_Real * | score | ||
) |
calculates the setpartitioning maximum foreseeing white area score of a partialdec
setpartitioning maximum foreseeing white area score (i.e. convex combination of maximum foreseeing white area score and a boolean score rewarding a master containing only setppc and cardinality constraints)
- Returns
- scip return code
- Parameters
-
scip SCIP data structure partialdecid id of partialdec the score is calculated for score score pointer to store the calculated score
Definition at line 4437 of file cons_decomp.cpp.
References GCGconshdlrDecompAddScoreTime(), GCGconshdlrDecompCalcMaxForseeingWhiteScore(), GCGconshdlrDecompGetPartialdecFromID(), gcg::PARTIALDECOMP::getMaxForWhiteScore(), gcg::PARTIALDECOMP::getNBlocks(), gcg::PARTIALDECOMP::hasSetppccardMaster(), gcg::PARTIALDECOMP::isTrivial(), and gcg::PARTIALDECOMP::setSetPartForWhiteScore().
Referenced by gcg::PARTIALDECOMP::getScore().
◆ GCGconshdlrDecompCalcSetPartForWhiteAggScore()
SCIP_RETCODE GCGconshdlrDecompCalcSetPartForWhiteAggScore | ( | SCIP * | scip, |
int | partialdecid, | ||
SCIP_Real * | score | ||
) |
calculates the setpartfwhiteagg score of a partialdec
setpartitioning maximum foreseeing white area score with respect to aggregateable (i.e. convex combination of maximum foreseeing white area score and a boolean score rewarding a master containing only setppc and cardinality constraints)
- Returns
- scip return code
- Parameters
-
scip SCIP data structure partialdecid id of partialdec the score is calculated for score score pointer to store the calculated score
Definition at line 4480 of file cons_decomp.cpp.
References GCGconshdlrDecompAddScoreTime(), GCGconshdlrDecompCalcMaxForeseeingWhiteAggScore(), GCGconshdlrDecompGetPartialdecFromID(), gcg::PARTIALDECOMP::getMaxForWhiteAggScore(), gcg::PARTIALDECOMP::getNBlocks(), gcg::PARTIALDECOMP::hasSetppccardMaster(), gcg::PARTIALDECOMP::isTrivial(), and gcg::PARTIALDECOMP::setSetPartForWhiteAggScore().
Referenced by gcg::PARTIALDECOMP::getScore().
◆ GCGconshdlrDecompCalcStrongDecompositionScore()
SCIP_RETCODE GCGconshdlrDecompCalcStrongDecompositionScore | ( | SCIP * | scip, |
int | partialdecid, | ||
SCIP_Real * | score | ||
) |
calculates the strong decomposition score of a partialdec
- Returns
- scip return code
- Parameters
-
scip SCIP data structure partialdecid id of partialdec the score is calculated for score score pointer to store the calculated score
Definition at line 4523 of file cons_decomp.cpp.
References createTestPricingprobConss(), DEFAULT_SCORECOEF_FASTBENEFICIAL, DEFAULT_SCORECOEF_FASTNOTBENEFICIAL, DEFAULT_SCORECOEF_MEDIUMBENEFICIAL, DEFAULT_SCORECOEF_MEDIUMNOTBENEFICIAL, GCGconshdlrDecompAddScoreTime(), GCGconshdlrDecompGetPartialdecFromID(), getConshdlrdata(), gcg::DETPROBDATA::getConssForVar(), gcg::PARTIALDECOMP::getDetprobdata(), getDualvalOptimalLP(), getDualvalRandom(), gcg::PARTIALDECOMP::getNBlocks(), gcg::PARTIALDECOMP::getNConssForBlock(), gcg::DETPROBDATA::getNConssForVar(), gcg::PARTIALDECOMP::getNVarsForBlock(), gcg::DETPROBDATA::getVal(), gcg::DETPROBDATA::getVar(), gcg::PARTIALDECOMP::getVarsForBlock(), gcg::PARTIALDECOMP::isAssignedToOrigProb(), gcg::PARTIALDECOMP::isConsMastercons(), gcg::PARTIALDECOMP::setStrongDecompScore(), and setTestpricingProblemParameters().
Referenced by gcg::PARTIALDECOMP::getScore().
◆ GCGconshdlrDecompCheckConsistency()
SCIP_Bool GCGconshdlrDecompCheckConsistency | ( | SCIP * | scip | ) |
check whether partialdecs are consistent
Checks whether 1) the predecessors of all finished partialdecs in both detprobdatas can be found 2) selected list is synchron with selected information in partialdecs 3) selected exists is synchronized with selected list
- Returns
- true if partialdec information is consistent
- Parameters
-
scip SCIP data structure *
Definition at line 4766 of file cons_decomp.cpp.
References GCGconshdlrDecompGetPartialdecFromID(), gcg::PARTIALDECOMP::getAncestorID(), getConshdlrdata(), gcg::PARTIALDECOMP::getID(), and gcg::PARTIALDECOMP::getNAncestors().
Referenced by GCGconshdlrDecompChooseCandidatesFromSelected(), GCGprintDecompInformation(), and GCGsolve().
◆ GCGconshdlrDecompClassify()
SCIP_RETCODE GCGconshdlrDecompClassify | ( | SCIP * | scip, |
SCIP_Bool | transformed | ||
) |
run classification of vars and cons
- Returns
- scip return code
- Parameters
-
scip SCIP data structure transformed whether to classify the transformed problem, otherwise the original
Definition at line 4898 of file cons_decomp.cpp.
References gcg::DETPROBDATA::classificationtime, getConshdlrdata(), DEC_ConsClassifier::name, DEC_VarClassifier::name, reduceConsclasses(), and reduceVarclasses().
Referenced by DECdetectStructure(), and GCGwriteCls().
◆ GCGconshdlrDecompCreateVarmapForPartialdecId()
SCIP_RETCODE GCGconshdlrDecompCreateVarmapForPartialdecId | ( | SCIP * | scip, |
SCIP_HASHMAP ** | hashorig2pricingvar, | ||
int | partialdecid, | ||
int | probnr1, | ||
int | probnr2, | ||
SCIP * | scip1, | ||
SCIP * | scip2, | ||
SCIP_HASHMAP * | varmap | ||
) |
for two identical pricing problems a corresponding varmap is created
- Parameters
-
scip scip data structure hashorig2pricingvar mapping from orig to pricingvar partialdecid id of the partial decompostion for which the pricing problems are checked for identity probnr1 index of first block probnr2 index of second block scip1 subscip of first block scip2 subscip of second block varmap mapping from orig to pricingvar
- Returns
- scip return code
Definition at line 4960 of file cons_decomp.cpp.
References GCGconshdlrDecompGetPartialdecFromID(), GCGpricingVarGetOriginalVar(), gcg::PARTIALDECOMP::getBlocksForRep(), gcg::PARTIALDECOMP::getDetprobdata(), gcg::DETPROBDATA::getIndexForVar(), gcg::PARTIALDECOMP::getRepForBlock(), gcg::PARTIALDECOMP::getRepVarmap(), gcg::DETPROBDATA::getVar(), gcg::PARTIALDECOMP::getVarProbindexForBlock(), gcg::PARTIALDECOMP::getVarsForBlock(), and gcg::PARTIALDECOMP::isComplete().
Referenced by pricingprobsAreIdenticalFromDetectionInfo().
◆ GCGconshdlrDecompDecreaseNCallsCreateDecomp()
int GCGconshdlrDecompDecreaseNCallsCreateDecomp | ( | SCIP * | scip | ) |
decreases the counter for created decompositions and returns it
- Returns
- number of created decompositions that was recently decreased
- Parameters
-
scip SCIP data structure *
Definition at line 5063 of file cons_decomp.cpp.
References getConshdlrdata().
Referenced by DECdecompFree().
◆ GCGconshdlrDecompDeregisterPartialdecs()
void GCGconshdlrDecompDeregisterPartialdecs | ( | SCIP * | scip, |
SCIP_Bool | original | ||
) |
deregisters partialdecs in the conshdlr
Use this function for deletion of ALL the partialdecs.
- Parameters
-
scip SCIP data structure original iff TRUE the status with respect to the original problem is returned
Definition at line 5076 of file cons_decomp.cpp.
References getConshdlrdata(), and gcg::PARTIALDECOMP::isAssignedToOrigProb().
Referenced by gcg::DETPROBDATA::~DETPROBDATA().
◆ GCGconshdlrDecompFreeDetprobdata()
void GCGconshdlrDecompFreeDetprobdata | ( | SCIP * | scip | ) |
Frees Detprobdata of the original and transformed/presolved problem.
- Note
- Does not free Detprobdata of the original problem if GCGconshdlrDecompFreeOrigOnExit is set to false.
- Parameters
-
scip SCIP data structure
Definition at line 5131 of file cons_decomp.cpp.
References getConshdlrdata().
Referenced by SCIP_DECL_CONSEXIT().
◆ GCGconshdlrDecompFreeOrigOnExit()
void GCGconshdlrDecompFreeOrigOnExit | ( | SCIP * | scip, |
SCIP_Bool | free | ||
) |
sets freeing of detection data of original problem during exit to true
used before calling SCIPfreeTransform(), set to true to revoke presolving (e.g. if unpresolved decomposition is used, and transformation is not successful)
- Parameters
-
scip SCIP data structure free whether to free orig data
Definition at line 5152 of file cons_decomp.cpp.
References getConshdlrdata().
◆ GCGconshdlrDecompGetBlockNumberCandidate()
int GCGconshdlrDecompGetBlockNumberCandidate | ( | SCIP * | scip, |
int | index | ||
) |
returns block number user candidate with given index
- Parameters
-
scip SCIP data structure index index of block number user candidate that should be returned
- Returns
- block number user candidate with given index
Definition at line 5164 of file cons_decomp.cpp.
References getConshdlrdata().
Referenced by gcg::DETPROBDATA::getSortedCandidatesNBlocks().
◆ GCGconshdlrDecompGetCompleteDetectionTime()
SCIP_Real GCGconshdlrDecompGetCompleteDetectionTime | ( | SCIP * | scip | ) |
returns the total detection time
- Parameters
-
scip SCIP data structure
- Returns
- total detection time
Definition at line 5177 of file cons_decomp.cpp.
References getConshdlrdata().
Referenced by DECdetectStructure(), and GCGprintCompleteDetectionTime().
◆ GCGconshdlrDecompGetDecomps()
DEC_DECOMP** GCGconshdlrDecompGetDecomps | ( | SCIP * | scip | ) |
returns an array containing all decompositions
Updates the decomp decomposition structure by converting all finished partialdecs into decompositions and replacing the old list in the conshdlr.
- Returns
- decomposition array
- Parameters
-
scip SCIP data structure
Definition at line 5192 of file cons_decomp.cpp.
References createDecompFromPartialdec(), DECdecompFree(), GCGconshdlrDecompGetNDecomps(), getConshdlrdata(), and sortPartialdecs().
◆ GCGconshdlrDecompGetDetectors()
DEC_DETECTOR** GCGconshdlrDecompGetDetectors | ( | SCIP * | scip | ) |
Gets an array of all detectors.
- Returns
- array of detectors
- Parameters
-
scip SCIP data structure
Definition at line 5238 of file cons_decomp.cpp.
References getConshdlrdata().
Referenced by gcg::GCGdialogShowLegend().
◆ GCGconshdlrDecompGetFinishedPartialdecsList()
SCIP_RETCODE GCGconshdlrDecompGetFinishedPartialdecsList | ( | SCIP * | scip, |
int ** | idlist, | ||
int * | listlength | ||
) |
Gets a list of ids of the current partialdecs that are finished.
- Note
- recommendation: when in doubt plan for as many ids as partialdecs
- See also
- GCGconshdlrDecompGetNPartialdecs
- Returns
- scip return code
- Parameters
-
scip SCIP data structure idlist id list to output to listlength length of output list
Definition at line 5277 of file cons_decomp.cpp.
References getFinishedPartialdecs(), and partialdecVecToIdArray().
Referenced by reportAllDecompositions().
◆ GCGconshdlrDecompGetPartialdecsList()
SCIP_RETCODE GCGconshdlrDecompGetPartialdecsList | ( | SCIP * | scip, |
int ** | idlist, | ||
int * | listlength | ||
) |
Gets a list of ids of the current partialdecs.
- Note
- recommendation: when in doubt plan for as many ids as partialdecs
- See also
- GCGconshdlrDecompGetNPartialdecs
- Returns
- scip return code
- Parameters
-
scip SCIP data structure idlist id list to output to listlength length of output list
Definition at line 5291 of file cons_decomp.cpp.
References getConshdlrdata(), and partialdecVecToIdArray().
◆ GCGconshdlrDecompGetNBlockNumberCandidates()
int GCGconshdlrDecompGetNBlockNumberCandidates | ( | SCIP * | scip | ) |
returns the number of block candidates given by the user
- Returns
- number of block candidates given by the user
- Parameters
-
scip SCIP data structure
Definition at line 5305 of file cons_decomp.cpp.
References getConshdlrdata().
Referenced by gcg::DETPROBDATA::getSortedCandidatesNBlocks().
◆ GCGconshdlrDecompGetNBlocksByPartialdecId()
int GCGconshdlrDecompGetNBlocksByPartialdecId | ( | SCIP * | scip, |
int | id | ||
) |
gets block number of partialdec with given id
- Returns
- block number of partialdec
- Parameters
-
scip SCIP data structure id id of partialdec
Definition at line 5316 of file cons_decomp.cpp.
References GCGconshdlrDecompGetPartialdecFromID(), and gcg::PARTIALDECOMP::getNBlocks().
Referenced by GCGdialogExecExplore().
◆ GCGconshdlrDecompGetNDecomps()
int GCGconshdlrDecompGetNDecomps | ( | SCIP * | scip | ) |
gets the number of decompositions (= amount of finished partialdecs)
- Returns
- number of decompositions
- Parameters
-
scip SCIP data structure
Definition at line 5327 of file cons_decomp.cpp.
References getConshdlrdata().
Referenced by DECgetNDecomps(), GCGconshdlrDecompGetDecomps(), reportAllDecompositions(), writeAllDecompositions(), writeSelectedDecompositions(), and writeTexTitlepage().
◆ GCGconshdlrDecompGetNDetectors()
int GCGconshdlrDecompGetNDetectors | ( | SCIP * | scip | ) |
Gets the number of all detectors.
- Returns
- number of detectors
- Parameters
-
scip SCIP data structure
Definition at line 5348 of file cons_decomp.cpp.
References getConshdlrdata().
Referenced by gcg::GCGdialogShowLegend().
◆ GCGconshdlrDecompGetNextPartialdecID()
int GCGconshdlrDecompGetNextPartialdecID | ( | SCIP * | scip | ) |
Gets the next partialdec id managed by cons_decomp.
- Returns
- the next partialdec id managed by cons_decomp
- Parameters
-
scip SCIP data structure *
Definition at line 5359 of file cons_decomp.cpp.
References GCGconshdlrDecompGetPartialdecFromID(), and getConshdlrdata().
Referenced by gcg::PARTIALDECOMP::PARTIALDECOMP().
◆ GCGconshdlrDecompGetNFormerDetectionConssForID()
int GCGconshdlrDecompGetNFormerDetectionConssForID | ( | SCIP * | scip, |
int | id | ||
) |
gets number of active constraints during the detection of the decomp with given id
Gets the number of constraints that were active while detecting the decomposition originating from the partialdec with the given id, this method is used to decide if the problem has changed since detection, if so the aggregation information needs to be recalculated
- Note
- if the partialdec is not complete the function returns -1
- Returns
- number of constraints that were active while detecting the decomposition
- Parameters
-
scip SCIP data structure id id of the partialdec the information is asked for
Definition at line 5374 of file cons_decomp.cpp.
References getConshdlrdata().
Referenced by checkIdenticalBlocks().
◆ GCGconshdlrDecompGetNLinkingVarsByPartialdecId()
int GCGconshdlrDecompGetNLinkingVarsByPartialdecId | ( | SCIP * | scip, |
int | id | ||
) |
gets number of linking variables of partialdec with given id
- Returns
- number of linking variables of partialdec
- Parameters
-
scip SCIP data structure id id of partialdec
Definition at line 5394 of file cons_decomp.cpp.
References GCGconshdlrDecompGetPartialdecFromID(), and gcg::PARTIALDECOMP::getNLinkingvars().
Referenced by GCGdialogExecExplore().
◆ GCGconshdlrDecompGetNMasterConssByPartialdecId()
int GCGconshdlrDecompGetNMasterConssByPartialdecId | ( | SCIP * | scip, |
int | id | ||
) |
gets number of master constraints of partialdec with given id
- Returns
- number of master constraints of partialdec
- Parameters
-
scip SCIP data structure id id of partialdec
Definition at line 5405 of file cons_decomp.cpp.
References GCGconshdlrDecompGetPartialdecFromID(), and gcg::PARTIALDECOMP::getNMasterconss().
Referenced by GCGdialogExecExplore().
◆ GCGconshdlrDecompGetNMasterVarsByPartialdecId()
int GCGconshdlrDecompGetNMasterVarsByPartialdecId | ( | SCIP * | scip, |
int | id | ||
) |
gets number of master variables of partialdec with given id
- Returns
- number of master variables of partialdec
- Parameters
-
scip SCIP data structure id id of partialdec
Definition at line 5416 of file cons_decomp.cpp.
References GCGconshdlrDecompGetPartialdecFromID(), and gcg::PARTIALDECOMP::getNMastervars().
Referenced by GCGdialogExecExplore().
◆ GCGconshdlrDecompGetNOpenConssByPartialdecId()
int GCGconshdlrDecompGetNOpenConssByPartialdecId | ( | SCIP * | scip, |
int | id | ||
) |
gets number of open constraints of partialdec with given id
- Returns
- total number of open constraints of partialdec
- Parameters
-
scip SCIP data structure id id of partialdec
Definition at line 5427 of file cons_decomp.cpp.
References GCGconshdlrDecompGetPartialdecFromID(), and gcg::PARTIALDECOMP::getNOpenconss().
Referenced by GCGdialogExecExplore().
◆ GCGconshdlrDecompGetNOpenVarsByPartialdecId()
int GCGconshdlrDecompGetNOpenVarsByPartialdecId | ( | SCIP * | scip, |
int | id | ||
) |
gets number of open variables of partialdec with given id
- Returns
- total number of open variables of partialdec
- Parameters
-
scip SCIP data structure id id of partialdec
Definition at line 5438 of file cons_decomp.cpp.
References GCGconshdlrDecompGetPartialdecFromID(), and gcg::PARTIALDECOMP::getNOpenvars().
Referenced by GCGdialogExecExplore().
◆ GCGconshdlrDecompGetNFinishedPartialdecsOrig()
unsigned int GCGconshdlrDecompGetNFinishedPartialdecsOrig | ( | SCIP * | scip | ) |
Gets the number of finished partialdecs available for the original problem.
- Returns
- number of partialdecs
- Parameters
-
scip SCIP data structure
Definition at line 5449 of file cons_decomp.cpp.
References getConshdlrdata().
◆ GCGconshdlrDecompGetNFinishedPartialdecsTransformed()
unsigned int GCGconshdlrDecompGetNFinishedPartialdecsTransformed | ( | SCIP * | scip | ) |
Gets the number of finished partialdecs available for the transformed problem.
- Returns
- number of partialdecs
- Parameters
-
scip SCIP data structure
Definition at line 5463 of file cons_decomp.cpp.
References getConshdlrdata().
Referenced by GCGsolve().
◆ GCGconshdlrDecompGetNOpenPartialdecsOrig()
unsigned int GCGconshdlrDecompGetNOpenPartialdecsOrig | ( | SCIP * | scip | ) |
Gets the number of open partialdecs available for the original problem.
- Returns
- number of partialdecs
- Parameters
-
scip SCIP data structure
Definition at line 5477 of file cons_decomp.cpp.
References getConshdlrdata().
◆ GCGconshdlrDecompGetNOpenPartialdecsTransformed()
unsigned int GCGconshdlrDecompGetNOpenPartialdecsTransformed | ( | SCIP * | scip | ) |
Gets the number of open partialdecs available for the transformed problem.
- Returns
- number of partialdecs
- Parameters
-
scip SCIP data structure
Definition at line 5491 of file cons_decomp.cpp.
References getConshdlrdata().
◆ GCGconshdlrDecompGetNPartialdecs()
unsigned int GCGconshdlrDecompGetNPartialdecs | ( | SCIP * | scip | ) |
Gets the number of all partialdecs.
- Returns
- number of Partialdecs
- Parameters
-
scip SCIP data structure
Definition at line 5505 of file cons_decomp.cpp.
References getConshdlrdata().
Referenced by gcg::GCGdialogSetNEntires(), gcg::updateIdList(), and writeTexTitlepage().
◆ GCGconshdlrDecompGetNPartialdecsOrig()
unsigned int GCGconshdlrDecompGetNPartialdecsOrig | ( | SCIP * | scip | ) |
Gets the number of partialdecs available for the original problem.
- Returns
- number of partialdecs
- Parameters
-
scip SCIP data structure
Definition at line 5516 of file cons_decomp.cpp.
References getConshdlrdata().
◆ GCGconshdlrDecompGetNPartialdecsTransformed()
unsigned int GCGconshdlrDecompGetNPartialdecsTransformed | ( | SCIP * | scip | ) |
Gets the number of partialdecs available for the transformed problem.
- Returns
- number of partialdecs
- Parameters
-
scip SCIP data structure
Definition at line 5530 of file cons_decomp.cpp.
References getConshdlrdata().
◆ GCGconshdlrDecompGetNStairlinkingVarsByPartialdecId()
int GCGconshdlrDecompGetNStairlinkingVarsByPartialdecId | ( | SCIP * | scip, |
int | id | ||
) |
gets number of stairlinking variables of partialdec with given id
- Returns
- total number of stairlinking variables of partialdec
- Parameters
-
scip SCIP data structure id id of partialdec
Definition at line 5544 of file cons_decomp.cpp.
References GCGconshdlrDecompGetPartialdecFromID(), and gcg::PARTIALDECOMP::getNTotalStairlinkingvars().
Referenced by GCGdialogExecExplore().
◆ GCGconshdlrDecompGetPartialdecFromID()
SCIP_RETCODE GCGconshdlrDecompGetPartialdecFromID | ( | SCIP * | scip, |
int | partialdecid, | ||
PARTIALDECOMP_WRAPPER * | pwr | ||
) |
Gets wrapped PARTIALDECOMP with given id.
- Returns
- SCIP return code
- Parameters
-
scip SCIP data structure partialdecid id of PARTIALDECOMP pwr wrapper for output PARTIALDECOMP
Definition at line 5566 of file cons_decomp.cpp.
References GCGconshdlrDecompGetPartialdecFromID(), and Partialdecomp_Wrapper::partialdec.
◆ GCGconshdlrDecompGetScoreByPartialdecId()
float GCGconshdlrDecompGetScoreByPartialdecId | ( | SCIP * | scip, |
int | id | ||
) |
gets score of partialdec with given id
- Returns
- score in respect to current score type
- Parameters
-
scip SCIP data structure id id of partialdec
Definition at line 5581 of file cons_decomp.cpp.
References GCGconshdlrDecompGetPartialdecFromID(), GCGconshdlrDecompGetScoretype(), and gcg::PARTIALDECOMP::getScore().
Referenced by GCGdialogExecExplore().
◆ GCGconshdlrDecompGetScoreTotalTime()
SCIP_Real GCGconshdlrDecompGetScoreTotalTime | ( | SCIP * | scip | ) |
gets total score computation time
- Returns
- total score computation time
- Parameters
-
scip SCIP data structure
Definition at line 5592 of file cons_decomp.cpp.
References getConshdlrdata().
◆ GCGconshdlrDecompGetScoretype()
SCORETYPE GCGconshdlrDecompGetScoretype | ( | SCIP * | scip | ) |
Gets the currently selected scoretype.
- Returns
- the currently selected scoretype
- Parameters
-
scip SCIP data structure
Definition at line 5601 of file cons_decomp.cpp.
References getConshdlrdata().
Referenced by GCGconshdlrDecompChooseCandidatesFromSelected(), GCGconshdlrDecompGetScoreByPartialdecId(), gcg::GCGdialogShowLegend(), gcg::GCGdialogShowMenu(), gcg::GCGdialogSortBy(), GCGwriteTexReport(), gcg::DETPROBDATA::sortFinishedForScore(), writeTexPartialdecStatistics(), and writeTexTitlepage().
◆ GCGconshdlrDecompGetSelectedPartialdecs()
SCIP_RETCODE GCGconshdlrDecompGetSelectedPartialdecs | ( | SCIP * | scip, |
int ** | idlist, | ||
int * | listlength | ||
) |
Gets a list of ids of all currently selected partialdecs.
- Returns
- list of partialdecs
- Parameters
-
scip SCIP data structure idlist id list to output to listlength length of output list
Definition at line 5612 of file cons_decomp.cpp.
References getSelectedPartialdecs().
◆ GCGconshdlrDecompIncreaseNCallsCreateDecomp()
int GCGconshdlrDecompIncreaseNCallsCreateDecomp | ( | SCIP * | scip | ) |
counts up the counter for created decompositions and returns it
- Returns
- number of created decompositions that was recently increased
- Parameters
-
scip SCIP data structure *
Definition at line 5634 of file cons_decomp.cpp.
References getConshdlrdata().
Referenced by DECdecompCreate().
◆ GCGconshdlrDecompIsPresolvedByPartialdecId()
SCIP_Bool GCGconshdlrDecompIsPresolvedByPartialdecId | ( | SCIP * | scip, |
int | id | ||
) |
gets whether partialdec with given id is presolved
- Returns
- true iff partialdec is presolved
- Parameters
-
scip SCIP data structure id id of partialdec
Definition at line 5647 of file cons_decomp.cpp.
References GCGconshdlrDecompGetPartialdecFromID(), and gcg::PARTIALDECOMP::isAssignedToOrigProb().
Referenced by GCGdialogExecExplore().
◆ GCGconshdlrDecompIsSelectedByPartialdecId()
SCIP_Bool GCGconshdlrDecompIsSelectedByPartialdecId | ( | SCIP * | scip, |
int | id | ||
) |
gets whether partialdec with given id is selected
- Returns
- true iff partialdec is selected
- Parameters
-
scip SCIP data structure id id of partialdec
Definition at line 5658 of file cons_decomp.cpp.
References GCGconshdlrDecompGetPartialdecFromID(), and gcg::PARTIALDECOMP::isSelected().
Referenced by GCGdialogExecExplore().
◆ GCGconshdlrDecompOrigDetprobdataExists()
SCIP_Bool GCGconshdlrDecompOrigDetprobdataExists | ( | SCIP * | scip | ) |
returns whether or not a detprobdata structure for the original problem exists
- Returns
- true iff an original detprobdata exists
- Parameters
-
scip SCIP data structure
Definition at line 5669 of file cons_decomp.cpp.
References getConshdlrdata().
Referenced by GCGconshdlrDecompAddMatrixPartialdec(), and GCGconshdlrDecompGetDetprobdataOrig().
◆ GCGconshdlrDecompOrigPartialdecExists()
SCIP_Bool GCGconshdlrDecompOrigPartialdecExists | ( | SCIP * | scip | ) |
returns whether or not an original decompositions exists in the data structures
- Returns
- true iff an origial decomposition exist
- Parameters
-
scip SCIP data structure
Definition at line 5683 of file cons_decomp.cpp.
References getConshdlrdata().
Referenced by GCGsolve().
◆ GCGconshdlrDecompPresolvedDetprobdataExists()
SCIP_Bool GCGconshdlrDecompPresolvedDetprobdataExists | ( | SCIP * | scip | ) |
returns whether or not a detprobdata structure for the presolved problem exists
- Returns
- true iff a presolved detprobdata exists
- Parameters
-
scip SCIP data structure
Definition at line 5697 of file cons_decomp.cpp.
References getConshdlrdata().
Referenced by GCGconshdlrDecompAddMatrixPartialdec(), and GCGconshdlrDecompGetDetprobdataPresolved().
◆ GCGconshdlrDecompPrintDetectorStatistics()
SCIP_RETCODE GCGconshdlrDecompPrintDetectorStatistics | ( | SCIP * | scip, |
FILE * | file | ||
) |
display statistics about detectors
- Returns
- SCIP return code
- Parameters
-
scip SCIP data structure file output file or NULL for standard output
Definition at line 5711 of file cons_decomp.cpp.
References getConshdlrdata().
Referenced by GCGprintStatistics().
◆ GCGconshdlrDecompSelectPartialdec()
SCIP_RETCODE GCGconshdlrDecompSelectPartialdec | ( | SCIP * | scip, |
int | partialdecid, | ||
SCIP_Bool | select | ||
) |
selects/unselects a partialdecomp
- Returns
- SCIP return code
- Parameters
-
scip SCIP data structure partialdecid id of partialdecomp select select/unselect
Definition at line 5749 of file cons_decomp.cpp.
References GCGconshdlrDecompGetPartialdecFromID(), and gcg::PARTIALDECOMP::setSelected().
Referenced by initRelaxator().
◆ GCGconshdlrDecompSetDetection()
SCIP_RETCODE GCGconshdlrDecompSetDetection | ( | SCIP * | scip, |
SCIP_PARAMSETTING | paramsetting, | ||
SCIP_Bool | quiet | ||
) |
sets detector parameters values
sets detector parameters values to
- SCIP_PARAMSETTING_DEFAULT which are the default values of all detector parameters
- SCIP_PARAMSETTING_FAST such that the time spend for detection is decreased
- SCIP_PARAMSETTING_AGGRESSIVE such that the detectors produce more decompositions
- SCIP_PARAMSETTING_OFF which turns off all detection
- Returns
- SCIP return code
- Parameters
-
scip SCIP data structure paramsetting parameter settings quiet should the parameter be set quiet (no output)
Definition at line 5764 of file cons_decomp.cpp.
References getConshdlrdata(), setDetectionAggressive(), setDetectionDefault(), setDetectionFast(), and setDetectionOff().
Referenced by SCIP_DECL_DIALOGEXEC().
◆ GCGconshdlrDecompSetScoretype()
void GCGconshdlrDecompSetScoretype | ( | SCIP * | scip, |
SCORETYPE | sctype | ||
) |
Sets the currently used scoretype.
- Parameters
-
scip SCIP data structure sctype new scoretype
Definition at line 5796 of file cons_decomp.cpp.
References getConshdlrdata().
Referenced by gcg::GCGdialogChangeScore().
◆ GCGconshdlrDecompTranslateNBestOrigPartialdecs()
SCIP_RETCODE GCGconshdlrDecompTranslateNBestOrigPartialdecs | ( | SCIP * | scip, |
int | n, | ||
SCIP_Bool | completeGreedily | ||
) |
translates n best unpresolved partialdec to a complete presolved one
- Parameters
-
scip SCIP data structure n number of partialdecs that should be translated completeGreedily whether or not to complete the decomposition greedily
- Returns
- SCIP return code
Definition at line 5808 of file cons_decomp.cpp.
References addPartialdec(), gcg::PARTIALDECOMP::completeGreedily(), GCGconshdlrDecompChooseCandidatesFromSelected(), getConshdlrdata(), gcg::PARTIALDECOMP::isComplete(), and resetDetprobdata().
◆ GCGconshdlrDecompTranslateOrigPartialdecs()
SCIP_RETCODE GCGconshdlrDecompTranslateOrigPartialdecs | ( | SCIP * | scip | ) |
translates unpresolved partialdec to a complete presolved one
- Parameters
-
scip SCIP data structure
- Returns
- SCIP return code
Definition at line 5858 of file cons_decomp.cpp.
References addPartialdec(), getConshdlrdata(), and resetDetprobdata().
Referenced by GCGpresolve().
◆ GCGdetectionTookPlace()
SCIP_Bool GCGdetectionTookPlace | ( | SCIP * | scip, |
SCIP_Bool | original | ||
) |
Gets whether the detection already took place
- Returns
- true if detection took place, false otherwise
- Parameters
-
scip SCIP data structure original iff TRUE the status with respect to the original problem is returned
Definition at line 5897 of file cons_decomp.cpp.
References getConshdlrdata().
Referenced by GCGdetect(), GCGprintCompleteDetectionStatistics(), and GCGsolve().
◆ SCIPconshdlrDecompRepairConsNames()
SCIP_RETCODE SCIPconshdlrDecompRepairConsNames | ( | SCIP * | scip | ) |
method to eliminate duplicate constraint names and name unnamed constraints
- Returns
- SCIP return code
- Parameters
-
scip SCIP data structure
Definition at line 5909 of file cons_decomp.cpp.
References findGenericConsname(), and getConshdlrdata().
Referenced by GCGtransformProb().
◆ SCIPincludeConshdlrDecomp()
SCIP_RETCODE SCIPincludeConshdlrDecomp | ( | SCIP * | scip | ) |
creates the constraint handler for decomp and includes it in SCIP
- Returns
- scip return code
- Parameters
-
scip SCIP data structure
Definition at line 5969 of file cons_decomp.cpp.
References CONSHDLR_CHECKPRIORITY, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, DEFAULT_AGGREGATIONLIMITNCONSSPERBLOCK, DEFAULT_AGGREGATIONLIMITNVARSPERBLOCK, DEFAULT_ALLOWPARTITIONDUPLICATES, DEFAULT_BENDERSONLYBINMASTER, DEFAULT_BENDERSONLYCONTSUBPR, DEFAULT_BLOCKNUMBERCANDSMEDIANVARSPERCONS, DEFAULT_CLASSIFY, DEFAULT_COEFFACTORORIGVSRANDOM, DEFAULT_DETECTBENDERS, DEFAULT_DUALVALRANDOMMETHOD, DEFAULT_ENABLED, DEFAULT_ENABLEORIGCLASSIFICATION, DEFAULT_ENABLEORIGDETECTION, DEFAULT_MAXDETECTIONROUNDS, DEFAULT_MAXDETECTIONTIME, DEFAULT_MAXNCLASSES, DEFAULT_MAXNCLASSESFORNBLOCKCANDIDATES, DEFAULT_MAXNCLASSESLARGEPROBS, DEFAULT_POSTPROCESS, DEFAULT_STRONGTIMELIMIT, NO_MODIF, and SETPART_FWHITE.
Referenced by SCIPincludeGcgPlugins().