SCIP_ConshdlrData Struct Reference

Detailed Description

constraint handler data

Definition at line 174 of file cons_decomp.cpp.

Public Attributes

DEC_DECOMPuseddecomp
 
DEC_DECOMP ** decdecomps
 
DEC_DETECTOR ** detectors
 
int * priorities
 
int ndetectors
 
SCIP_CLOCK * detectorclock
 
SCIP_CLOCK * completedetectionclock
 
SCIP_Bool hasrun
 
int ndecomps
 
int sizedecomps
 
int sizeincompleteseeeds
 
int maxndetectionrounds
 
int strongdetectiondualvalrandommethod
 
SCIP_Real coeffactororigvsrandom
 
int maxnclassesfornblockcandidates
 
int maxnclassesperclassifier
 
int maxnclassesperclassifierforlargeprobs
 
int weightinggpresolvedoriginaldecomps
 
int aggregationlimitnconssperblock
 
int aggregationlimitnvarsperblock
 
SCIP_Bool createbasicdecomp
 
SCIP_Bool allowclassifierduplicates
 
SCIP_Bool conssadjcalculated
 
SCIP_Bool enableorigdetection
 
SCIP_Bool enableorigclassification
 
SCIP_Bool conssclassnnonzenabled
 
SCIP_Bool conssclassnnonzenabledorig
 
SCIP_Bool conssclassnconstypeenabled
 
SCIP_Bool conssclassnconstypeenabledorig
 
SCIP_Bool conssclassnmiplibconstypeenabled
 
SCIP_Bool conssclassnmiplibconstypeenabledorig
 
SCIP_Bool consnamenonumbersenabled
 
SCIP_Bool consnamenonumbersenabledorig
 
SCIP_Bool conssclasslevenshteinabled
 
SCIP_Bool conssclasslevenshteinenabledorig
 
SCIP_Bool varclassvartypesenabled
 
SCIP_Bool varclassvartypesenabledorig
 
SCIP_Bool bendersonlycontsubpr
 
SCIP_Bool bendersonlybinmaster
 
SCIP_Bool detectbenders
 
SCIP_Bool varclassobjvalsenabled
 
SCIP_Bool varclassobjvalsenabledorig
 
SCIP_Bool varclassobjvalsignsenabled
 
SCIP_Bool varclassobjvalsignsenabledorig
 
SCIP_Bool onlylegacymode
 
SCIP_Bool legacymodeenabled
 
SCIP_Bool stairlinkingheur
 
SCIP_Bool writemiplib2017features
 
SCIP_Bool writemiplib2017plotsanddecs
 
SCIP_Bool writemiplib2017shortbasefeatures
 
char * writemiplib2017featurefilepath
 
char * writemiplib2017matrixfilepath
 
char * writemiplib2017decompfilepath
 
int ** candidatesNBlocks
 
int * nCandidates
 
int ncallscreatedecomp
 
gcg::Seeedpoolseeedpool
 
gcg::Seeedpoolseeedpoolunpresolved
 
SeeedPtrallrelevantfinishedseeeds
 
SeeedPtrincompleteseeeds
 
int nallrelevantseeeds
 
int nincompleteseeeds
 
SeeedPtr curruserseeed
 
SeeedPtr lastuserseeed
 
SCIP_Bool unpresolveduserseeedadded
 
int startidvisu
 
int selectvisulength
 
std::vector< SeeedPtr > * listall
 
std::vector< int > * selected
 
SCIP_Bool selectedexists
 
int seeedcounter
 
std::vector< std::pair< SeeedPtr, SCIP_Real > > * candidates
 
int currscoretype
 
SCIP_Bool nonfinalfreetransform
 
std::vector< int > * userblocknrcandidates
 
SeeedPtr seeedtowrite
 
SCIP_BRANCHRULE ** branchrules
 
int nbranchrules
 
SCIP_CONS ** stack
 
int nstack
 
int maxstacksize
 
SCIP_VAR ** pendingvars
 
SCIP_BOUNDTYPE * pendingbndtypes
 
SCIP_Real * pendingnewbnds
 
SCIP_Real * pendingoldbnds
 
int npendingbnds
 
SCIP_Bool pendingbndsactivated
 
int maxpendingbnds
 
SCIP_Bool enforceproper
 
SCIP_CONS * rootcons
 

Member Data Documentation

int SCIP_ConshdlrData::aggregationlimitnconssperblock

if this limit on the number of constraints of a block is exceeded the aggregation information for this block is not calculated

Definition at line 194 of file cons_decomp.cpp.

int SCIP_ConshdlrData::aggregationlimitnvarsperblock

if this limit on the number of variables of a block is exceeded the aggregation information for this block is not calculated

Definition at line 195 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::allowclassifierduplicates

indicates whether classifier duplicates are allowed (for statistical reasons)

Definition at line 197 of file cons_decomp.cpp.

SeeedPtr* SCIP_ConshdlrData::allrelevantfinishedseeeds

collection of all relevant seeeds ( i.e. all seeeds w.r.t. copies )

Definition at line 239 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::bendersonlybinmaster

indicates whether only decomposition with only binary variables in the master should be searched

Definition at line 214 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::bendersonlycontsubpr

indicates whether only decomposition with only continiuous variables in the subproblems should be searched

Definition at line 213 of file cons_decomp.cpp.

SCIP_BRANCHRULE** SCIP_ConshdlrData::branchrules

stack for storing active branchrules

Definition at line 63 of file cons_integralorig.c.

std::vector<std::pair<SeeedPtr, SCIP_Real> >* SCIP_ConshdlrData::candidates

vector containing the pairs of candidate list of decomps (to visualize, write, consider for family tree, consider for solving etc.) sorted according to

Definition at line 258 of file cons_decomp.cpp.

int** SCIP_ConshdlrData::candidatesNBlocks

pointer to store candidates for number of blocks calculated by the seeedpool(s)

Definition at line 231 of file cons_decomp.cpp.

Referenced by DECdetectStructure().

SCIP_Real SCIP_ConshdlrData::coeffactororigvsrandom

convex coefficient for orig dual val (1-this coef is facor for random dual value)

Definition at line 189 of file cons_decomp.cpp.

SCIP_CLOCK* SCIP_ConshdlrData::completedetectionclock

clock to measure detection time

Definition at line 182 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::consnamenonumbersenabled

indicates whether constraint classifier for constraint names (remove digits; check for identity) is enabled

Definition at line 207 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::consnamenonumbersenabledorig

indicates whether constraint classifier for constraint names (remove digits; check for identity) is enabled for the original problem

Definition at line 208 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::conssadjcalculated

indicates whether conss adjacency datastructures should be calculated, this might slow down initlization, but accelareting refinement methods

Definition at line 198 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::conssclasslevenshteinabled

indicates whether constraint classifier for constraint names (according to levenshtein distance graph) is enabled

Definition at line 209 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::conssclasslevenshteinenabledorig

indicates whether constraint classifier for constraint names (according to levenshtein distance graph) is enabled for the original problem

Definition at line 210 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::conssclassnconstypeenabled

indicates whether constraint classifier for scipconstype is enabled

Definition at line 203 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::conssclassnconstypeenabledorig

indicates whether constraint classifier for scipconstype is enabled for the original problem

Definition at line 204 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::conssclassnmiplibconstypeenabled

indicates whether constraint classifier for miplib constype is enabled

Definition at line 205 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::conssclassnmiplibconstypeenabledorig

indicates whether constraint classifier for miplib constype is enabled for the original problem

Definition at line 206 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::conssclassnnonzenabled

indicates whether constraint classifier for nonzero entries is enabled

Definition at line 201 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::conssclassnnonzenabledorig

indicates whether constraint classifier for nonzero entries is enabled for the original problem

Definition at line 202 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::createbasicdecomp

indicates whether to create a decomposition with all constraints in the master if no other specified

Definition at line 196 of file cons_decomp.cpp.

int SCIP_ConshdlrData::currscoretype

indicates which score should be used for comparing (partial) decompositions ( 0:max white, 1: border area, 2:classic, 3:max foreseeing white, 4: ppc-max-white, 5:max foreseeing white with aggregation info, 6: ppc-max-white with aggregation info, 7: experimental benders score

Definition at line 259 of file cons_decomp.cpp.

SeeedPtr SCIP_ConshdlrData::curruserseeed

help pointer for reader and toolbox to iteratively build (partial) decomposition

Definition at line 245 of file cons_decomp.cpp.

DEC_DECOMP** SCIP_ConshdlrData::decdecomps

array of decomposition structures

Definition at line 177 of file cons_decomp.cpp.

Referenced by SCIPconshdlrDecompAddLegacymodeDecompositions().

SCIP_Bool SCIP_ConshdlrData::detectbenders

indeicates wehther or not benders detection mode is enabled

Definition at line 215 of file cons_decomp.cpp.

SCIP_CLOCK* SCIP_ConshdlrData::detectorclock

clock to measure detection time

Definition at line 181 of file cons_decomp.cpp.

Referenced by SCIPconshdlrDecompAddLegacymodeDecompositions().

DEC_DETECTOR** SCIP_ConshdlrData::detectors

array of structure detectors

Definition at line 178 of file cons_decomp.cpp.

Referenced by SCIPconshdlrDecompToolboxActOnSeeed().

SCIP_Bool SCIP_ConshdlrData::enableorigclassification

indicates whether to start constraint classification for the original problem

Definition at line 200 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::enableorigdetection

indicates whether to start detection for the original problem

Definition at line 199 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::enforceproper

should proper variables be enforced?

Definition at line 130 of file cons_masterbranch.c.

SCIP_Bool SCIP_ConshdlrData::hasrun

flag to indicate whether we have already detected

Definition at line 183 of file cons_decomp.cpp.

SeeedPtr* SCIP_ConshdlrData::incompleteseeeds

collection of incomplete seeeds originatging from incomplete decompostions given by the users

Definition at line 240 of file cons_decomp.cpp.

SeeedPtr SCIP_ConshdlrData::lastuserseeed

help pointer for toolbox to revoke last changes to curruserseeed

Definition at line 246 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::legacymodeenabled

indicates whether the legacy detection mode (detection before v3.0) additionally

Definition at line 221 of file cons_decomp.cpp.

std::vector<SeeedPtr>* SCIP_ConshdlrData::listall

vector containing the current list of decomps (to visualize, write, consider for family tree, consider for solving etc. )

Definition at line 254 of file cons_decomp.cpp.

Referenced by DECwriteFamilyTree(), and SCIPconshdlrDecompShowListExtract().

int SCIP_ConshdlrData::maxnclassesfornblockcandidates

Definition at line 190 of file cons_decomp.cpp.

int SCIP_ConshdlrData::maxnclassesperclassifier

maximum number of classes a classifier can have to be used for voting nblockcandidates

Definition at line 191 of file cons_decomp.cpp.

int SCIP_ConshdlrData::maxnclassesperclassifierforlargeprobs

maximum number of classes allowed for detectors, classifier with more classes are reduced to the meximum number of classes

Definition at line 192 of file cons_decomp.cpp.

int SCIP_ConshdlrData::maxndetectionrounds

maximum number of detection loop rounds

Definition at line 187 of file cons_decomp.cpp.

int SCIP_ConshdlrData::maxpendingbnds

size of the array corresponding to pending bound changes

Definition at line 129 of file cons_masterbranch.c.

int SCIP_ConshdlrData::maxstacksize

maximum size of the stack

Definition at line 120 of file cons_masterbranch.c.

int SCIP_ConshdlrData::nallrelevantseeeds

number of all relevant seeeds ( i.e. all seeeds w.r.t. copies )

Definition at line 241 of file cons_decomp.cpp.

int SCIP_ConshdlrData::nbranchrules

number of active branchrules

Definition at line 64 of file cons_integralorig.c.

int SCIP_ConshdlrData::ncallscreatedecomp

debugging method for counting the number of calls of created decompositions

Definition at line 234 of file cons_decomp.cpp.

int* SCIP_ConshdlrData::nCandidates

number of candidates for number of blocks calculated by the seeedpool

Definition at line 232 of file cons_decomp.cpp.

int SCIP_ConshdlrData::ndecomps

number of decomposition structures

Definition at line 184 of file cons_decomp.cpp.

Referenced by SCIPconshdlrDecompGetFinishedDecomps(), and SCIPconshdlrDecompGetNDecdecomps().

int SCIP_ConshdlrData::ndetectors

number of detectors

Definition at line 180 of file cons_decomp.cpp.

Referenced by DECprintListOfDetectors(), and SCIPconshdlrDecompToolboxActOnSeeed().

int SCIP_ConshdlrData::nincompleteseeeds

number of incomplete seeeds originatging from incomplete decompostions given by the users

Definition at line 242 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::nonfinalfreetransform

Definition at line 269 of file cons_decomp.cpp.

int SCIP_ConshdlrData::npendingbnds

number of pending bound changes (global bound changes)

Definition at line 127 of file cons_masterbranch.c.

int SCIP_ConshdlrData::nstack

number of elements on the stack

Definition at line 119 of file cons_masterbranch.c.

SCIP_Bool SCIP_ConshdlrData::onlylegacymode

indicates whether detection should only consist of legacy mode detection, this is sufficient to enable it

Definition at line 220 of file cons_decomp.cpp.

Referenced by DECdetectStructure().

SCIP_Bool SCIP_ConshdlrData::pendingbndsactivated

were pending bound changes already activated?

Definition at line 128 of file cons_masterbranch.c.

SCIP_BOUNDTYPE* SCIP_ConshdlrData::pendingbndtypes

types of the pending bound changes (global bound changes)

Definition at line 124 of file cons_masterbranch.c.

SCIP_Real* SCIP_ConshdlrData::pendingnewbnds

new bounds corresponding to pending bound changes (global bound changes)

Definition at line 125 of file cons_masterbranch.c.

SCIP_Real* SCIP_ConshdlrData::pendingoldbnds

old bounds corresponding to pending bound changes (global bound changes)

Definition at line 126 of file cons_masterbranch.c.

SCIP_VAR** SCIP_ConshdlrData::pendingvars

pricing variables or master variable copies corresponding to pending bound changes (global bound changes)

Definition at line 123 of file cons_masterbranch.c.

int* SCIP_ConshdlrData::priorities

priorities of the detectors

Definition at line 179 of file cons_decomp.cpp.

SCIP_CONS* SCIP_ConshdlrData::rootcons

constraint in the root node

Definition at line 94 of file cons_origbranch.c.

int SCIP_ConshdlrData::seeedcounter

counts the number of seeeds, used for seeed ids

Definition at line 257 of file cons_decomp.cpp.

gcg::Seeedpool * SCIP_ConshdlrData::seeedpoolunpresolved

seeedpool that manages the detection process of the unpresolved problem

Definition at line 237 of file cons_decomp.cpp.

Referenced by DECgetBestDecomp(), SCIPconshdlrDecompAdaptScore(), and SCIPconshdlrDecompTranslateAndAddCompleteUnpresolvedSeeeds().

SeeedPtr SCIP_ConshdlrData::seeedtowrite

vector to store block number candidates that were given by user

Definition at line 271 of file cons_decomp.cpp.

std::vector<int>* SCIP_ConshdlrData::selected

vector containing the indices of selected decompositions

Definition at line 255 of file cons_decomp.cpp.

Referenced by DECwriteFamilyTree().

SCIP_Bool SCIP_ConshdlrData::selectedexists

are there some selected decompositions

Definition at line 256 of file cons_decomp.cpp.

Referenced by SCIPconshdlrDecompPopulateSelected().

int SCIP_ConshdlrData::selectvisulength

number of decompositions to be displayed at once

Definition at line 253 of file cons_decomp.cpp.

int SCIP_ConshdlrData::sizedecomps

size of the decomp and complete seeeds array

Definition at line 185 of file cons_decomp.cpp.

int SCIP_ConshdlrData::sizeincompleteseeeds

size of the incomplete seeeds array

Definition at line 186 of file cons_decomp.cpp.

SCIP_CONS ** SCIP_ConshdlrData::stack

stack for storing active constraints

Definition at line 118 of file cons_masterbranch.c.

Referenced by GCGconsOrigbranchGetStack().

SCIP_Bool SCIP_ConshdlrData::stairlinkingheur

indicates whether heuristic to reassign linking vars to stairlinking in legacy mode should be activated

Definition at line 222 of file cons_decomp.cpp.

int SCIP_ConshdlrData::startidvisu

new data fields for selection management when displaying the list of decomps, this is the starting index

Definition at line 252 of file cons_decomp.cpp.

int SCIP_ConshdlrData::strongdetectiondualvalrandommethod

method to dual initilization of dual values for strong decomposition: 1) naive, 2) expected equal, 3) expected overestimation

Definition at line 188 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::unpresolveduserseeedadded

stores whether or not an unpresolved user seeed was added

Definition at line 249 of file cons_decomp.cpp.

DEC_DECOMP* SCIP_ConshdlrData::useddecomp

decomposition structures that was/will be used

Definition at line 176 of file cons_decomp.cpp.

std::vector<int>* SCIP_ConshdlrData::userblocknrcandidates

help bool to notify a nonfinal free transform (neeeded if presolving is revoked, e.g. if unpresolved decomposition is used, and transformation is not successful)

Definition at line 270 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::varclassobjvalsenabled

indicates whether variable classifier for objective function values is enabled

Definition at line 216 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::varclassobjvalsenabledorig

indicates whether variable classifier for objective function values is enabled for the original problem

Definition at line 217 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::varclassobjvalsignsenabled

indicates whether variable classifier for objective function value signs is enabled

Definition at line 218 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::varclassobjvalsignsenabledorig

indicates whether variable classifier for objective function value signs is enabled for the original problem

Definition at line 219 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::varclassvartypesenabled

indicates whether variable classifier for scipvartypes is enabled

Definition at line 211 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::varclassvartypesenabledorig

indicates whether variable classifier for scipvartypes is enabled for the original problem

Definition at line 212 of file cons_decomp.cpp.

int SCIP_ConshdlrData::weightinggpresolvedoriginaldecomps

maximum number of classes allowed for large (nvars+nconss > 50000) MIPs for detectors, classifier with more classes are reduced to the meximum number of classes weighing method for comparing presovled and original decompositions (see corresponding enum)

Definition at line 193 of file cons_decomp.cpp.

char* SCIP_ConshdlrData::writemiplib2017decompfilepath

path the decompositions files are written to (if enabled)

Definition at line 229 of file cons_decomp.cpp.

char* SCIP_ConshdlrData::writemiplib2017featurefilepath

path the miplib features are written to (if enabled)

Definition at line 227 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::writemiplib2017features

indicates whether miplib2017 features should be written

Definition at line 223 of file cons_decomp.cpp.

char* SCIP_ConshdlrData::writemiplib2017matrixfilepath

path the matrix files are written to (if enabled)

Definition at line 228 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::writemiplib2017plotsanddecs

indicates whether dec and gp files for miplib 2017 should be written

Definition at line 224 of file cons_decomp.cpp.

SCIP_Bool SCIP_ConshdlrData::writemiplib2017shortbasefeatures

indicates whether base features for miplib 2017 should be shortened

Definition at line 225 of file cons_decomp.cpp.