109 if( prop->propcopy !=
NULL )
161 SCIPmessagePrintError(
"ERROR: 'PRESOLDELAY'-flag no longer available since SCIP 3.2, use an appropriate "
162 "'SCIP_PRESOLTIMING' for <%s> propagator instead.\n", name);
172 (*prop)->priority = priority;
173 (*prop)->freq = freq;
174 (*prop)->propcopy = propcopy;
175 (*prop)->propfree = propfree;
176 (*prop)->propinit = propinit;
177 (*prop)->propexit = propexit;
178 (*prop)->propinitpre = propinitpre;
179 (*prop)->propexitpre = propexitpre;
180 (*prop)->propinitsol = propinitsol;
181 (*prop)->propexitsol = propexitsol;
182 (*prop)->proppresol = proppresol;
183 (*prop)->propexec = propexec;
184 (*prop)->propresprop = propresprop;
185 (*prop)->propdata = propdata;
192 (*prop)->nrespropcalls = 0;
193 (*prop)->ncutoffs = 0;
194 (*prop)->ndomredsfound = 0;
195 (*prop)->wasdelayed =
FALSE;
196 (*prop)->initialized =
FALSE;
202 &(*prop)->priority,
TRUE, priority, INT_MIN/4, INT_MAX/4,
206 (void)
SCIPsnprintf(paramdesc,
SCIP_MAXSTRLEN,
"frequency for calling propagator <%s> (-1: never, 0: only in root node)", name);
212 "should propagator be delayed, if other propagators found reductions?",
216 (void)
SCIPsnprintf(paramdesc,
SCIP_MAXSTRLEN,
"timing when propagator should be called (%u:BEFORELP, %u:DURINGLPLOOP, %u:AFTERLPLOOP, %u:ALWAYS))",
224 &(*prop)->presolpriority,
TRUE, presolpriority, INT_MIN/4, INT_MAX/4,
229 "maximal number of presolving rounds the propagator participates in (-1: no limit)",
230 &(*prop)->maxprerounds,
FALSE, presolmaxrounds, -1, INT_MAX,
NULL,
NULL) );
233 (void)
SCIPsnprintf(paramdesc,
SCIP_MAXSTRLEN,
"timing mask of the presolving method of propagator <%s> (%u:FAST, %u:MEDIUM, %u:EXHAUSTIVE, %u:FINAL)",
276 SCIP_CALL_FINALLY(
doPropCreate(prop,
set, messagehdlr, blkmem, name, desc, priority, freq, delay, timingmask,
277 presolpriority, presolmaxrounds, presoltiming, propcopy, propfree, propinit, propexit, propinitpre, propexitpre,
278 propinitsol, propexitsol, proppresol, propexec, propresprop, propdata), (
void)
SCIPpropFree(prop,
set) );
292 assert(!(*prop)->initialized);
296 if( (*prop)->propfree !=
NULL )
328 if(
set->misc_resetstat )
364 if( prop->propinit !=
NULL )
394 if( prop->propexit !=
NULL )
431 if( prop->propinitpre !=
NULL )
455 if( prop->propexitpre !=
NULL )
479 if( prop->propinitsol !=
NULL )
504 if( prop->propexitsol !=
NULL )
509 SCIP_CALL( prop->propexitsol(
set->scip, prop, restart) );
553 if( prop->proppresol ==
NULL )
604 SCIP_CALL( prop->proppresol(
set->scip, prop, nrounds, timing,
605 nnewfixedvars, nnewaggrvars, nnewchgvartypes, nnewchgbds, nnewaddholes,
606 nnewdelconss, nnewaddconss, nnewupgdconss, nnewchgcoefs, nnewchgsides,
607 nfixedvars, naggrvars, nchgvartypes, nchgbds, naddholes,
608 ndelconss, naddconss, nupgdconss, nchgcoefs, nchgsides,
result) );
650 SCIP_Bool execdelayed,
651 SCIP_Bool instrongbranching,
667 if( !prop->
delay || execdelayed )
669 SCIP_Longint oldndomchgs;
670 SCIP_Longint oldnprobdomchgs;
678 if( instrongbranching )
687 if( instrongbranching )
711 SCIPerrorMessage(
"execution method of propagator <%s> returned invalid result <%d>\n",
757 if( prop->propresprop !=
NULL )
762 SCIP_CALL( prop->propresprop(
set->scip, prop, infervar, inferinfo, inferboundtype, bdchgidx,
774 SCIPerrorMessage(
"propagation conflict resolving method of propagator <%s> returned invalid result <%d>\n",
781 SCIPerrorMessage(
"propagation conflict resolving method of propagator <%s> is not implemented\n", prop->
name);
817 prop->propcopy = propcopy;
828 prop->propfree = propfree;
839 prop->propinit = propinit;
850 prop->propexit = propexit;
861 prop->propinitsol = propinitsol;
872 prop->propexitsol = propexitsol;
883 prop->propinitpre = propinitpre;
896 prop->propexitpre = propexitpre;
910 prop->proppresol = proppresol;
917 SCIPmessagePrintError(
"ERROR: 'PRESOLDELAY'-flag no longer available since SCIP 3.2, use an appropriate "
918 "'SCIP_PRESOLTIMING' for <%s> constraint handler instead.\n", prop->
name);
937 prop->propresprop = propresprop;
1292 return (prop->proppresol !=
NULL);
void SCIPclockStop(SCIP_CLOCK *clck, SCIP_SET *set)
void SCIPclockEnableOrDisable(SCIP_CLOCK *clck, SCIP_Bool enable)
void SCIPclockStart(SCIP_CLOCK *clck, SCIP_SET *set)
SCIP_Real SCIPclockGetTime(SCIP_CLOCK *clck)
void SCIPclockReset(SCIP_CLOCK *clck)
void SCIPclockFree(SCIP_CLOCK **clck)
SCIP_RETCODE SCIPclockCreate(SCIP_CLOCK **clck, SCIP_CLOCKTYPE clocktype)
internal methods for clocks and timing issues
common defines and data types used in all packages of SCIP
#define SCIP_MAXTREEDEPTH
#define SCIP_CALL_FINALLY(x, y)
SCIP_Bool SCIPpropDoesPresolve(SCIP_PROP *prop)
SCIP_Real SCIPpropGetRespropTime(SCIP_PROP *prop)
SCIP_Bool SCIPpropIsDelayed(SCIP_PROP *prop)
SCIP_Real SCIPpropGetPresolTime(SCIP_PROP *prop)
void SCIPpropSetPresolTiming(SCIP_PROP *prop, SCIP_PRESOLTIMING presoltiming)
SCIP_Bool SCIPpropWasDelayed(SCIP_PROP *prop)
SCIP_Longint SCIPpropGetNCutoffs(SCIP_PROP *prop)
SCIP_Real SCIPpropGetSetupTime(SCIP_PROP *prop)
int SCIPpropGetNAddHoles(SCIP_PROP *prop)
int SCIPpropGetNChgBds(SCIP_PROP *prop)
void SCIPpropSetData(SCIP_PROP *prop, SCIP_PROPDATA *propdata)
int SCIPpropGetNChgSides(SCIP_PROP *prop)
SCIP_RETCODE SCIPsetPropPriority(SCIP *scip, SCIP_PROP *prop, int priority)
int SCIPpropGetNUpgdConss(SCIP_PROP *prop)
int SCIPpropGetNPresolCalls(SCIP_PROP *prop)
SCIP_Longint SCIPpropGetNRespropCalls(SCIP_PROP *prop)
SCIP_Real SCIPpropGetStrongBranchPropTime(SCIP_PROP *prop)
SCIP_Longint SCIPpropGetNDomredsFound(SCIP_PROP *prop)
int SCIPpropGetFreq(SCIP_PROP *prop)
SCIP_PROPDATA * SCIPpropGetData(SCIP_PROP *prop)
SCIP_RETCODE SCIPsetPropPresolPriority(SCIP *scip, SCIP_PROP *prop, int presolpriority)
int SCIPpropGetNChgCoefs(SCIP_PROP *prop)
int SCIPpropGetNAggrVars(SCIP_PROP *prop)
const char * SCIPpropGetDesc(SCIP_PROP *prop)
int SCIPpropGetPresolPriority(SCIP_PROP *prop)
int SCIPpropGetNFixedVars(SCIP_PROP *prop)
const char * SCIPpropGetName(SCIP_PROP *prop)
int SCIPpropGetNAddConss(SCIP_PROP *prop)
int SCIPpropGetPriority(SCIP_PROP *prop)
void SCIPpropSetFreq(SCIP_PROP *prop, int freq)
SCIP_Real SCIPpropGetTime(SCIP_PROP *prop)
int SCIPpropGetNChgVarTypes(SCIP_PROP *prop)
SCIP_PRESOLTIMING SCIPpropGetPresolTiming(SCIP_PROP *prop)
SCIP_Bool SCIPpropIsInitialized(SCIP_PROP *prop)
SCIP_Longint SCIPpropGetNCalls(SCIP_PROP *prop)
SCIP_PROPTIMING SCIPpropGetTimingmask(SCIP_PROP *prop)
int SCIPpropGetNDelConss(SCIP_PROP *prop)
SCIP_Real SCIPvarGetUbGlobal(SCIP_VAR *var)
SCIP_Real SCIPgetVarUbAtIndex(SCIP *scip, SCIP_VAR *var, SCIP_BDCHGIDX *bdchgidx, SCIP_Bool after)
SCIP_Real SCIPvarGetLbGlobal(SCIP_VAR *var)
SCIP_Real SCIPgetVarLbAtIndex(SCIP *scip, SCIP_VAR *var, SCIP_BDCHGIDX *bdchgidx, SCIP_Bool after)
int SCIPsnprintf(char *t, int len, const char *s,...)
assert(minobj< SCIPgetCutoffbound(scip))
static const char * paramname[]
#define BMSfreeMemory(ptr)
#define BMSduplicateMemoryArray(ptr, source, num)
#define BMSclearMemory(ptr)
struct BMS_BlkMem BMS_BLKMEM
#define BMSfreeMemoryArrayNull(ptr)
#define BMSallocMemory(ptr)
void SCIPmessagePrintError(const char *formatstr,...)
SCIP_PARAMDATA * SCIPparamGetData(SCIP_PARAM *param)
int SCIPparamGetInt(SCIP_PARAM *param)
internal methods for handling parameter settings
void SCIPpropSetInit(SCIP_PROP *prop,)
void SCIPpropSetCopy(SCIP_PROP *prop,)
void SCIPpropSetPriority(SCIP_PROP *prop, SCIP_SET *set, int priority)
void SCIPpropSetResprop(SCIP_PROP *prop,)
SCIP_RETCODE SCIPpropInitsol(SCIP_PROP *prop, SCIP_SET *set)
void SCIPpropSetExitpre(SCIP_PROP *prop,)
void SCIPpropSetExit(SCIP_PROP *prop,)
SCIP_RETCODE SCIPpropInit(SCIP_PROP *prop, SCIP_SET *set)
void SCIPpropSetExitsol(SCIP_PROP *prop,)
SCIP_RETCODE SCIPpropCreate(SCIP_PROP **prop, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, BMS_BLKMEM *blkmem, const char *name, const char *desc, int priority, int freq, SCIP_Bool delay, SCIP_PROPTIMING timingmask, int presolpriority, int presolmaxrounds, SCIP_PRESOLTIMING presoltiming, SCIP_DECL_PROPCOPY((*propcopy)), SCIP_DECL_PROPFREE((*propfree)), SCIP_DECL_PROPINIT((*propinit)), SCIP_DECL_PROPEXIT((*propexit)), SCIP_DECL_PROPINITPRE((*propinitpre)), SCIP_DECL_PROPEXITPRE((*propexitpre)), SCIP_DECL_PROPINITSOL((*propinitsol)), SCIP_DECL_PROPEXITSOL((*propexitsol)), SCIP_DECL_PROPPRESOL((*proppresol)), SCIP_DECL_PROPEXEC((*propexec)), SCIP_DECL_PROPRESPROP((*propresprop)), SCIP_PROPDATA *propdata)
SCIP_RETCODE SCIPpropCopyInclude(SCIP_PROP *prop, SCIP_SET *set)
SCIP_RETCODE SCIPpropExitpre(SCIP_PROP *prop, SCIP_SET *set)
SCIP_RETCODE SCIPpropExit(SCIP_PROP *prop, SCIP_SET *set)
void SCIPpropSetInitpre(SCIP_PROP *prop,)
void SCIPpropEnableOrDisableClocks(SCIP_PROP *prop, SCIP_Bool enable)
static SCIP_RETCODE doPropCreate(SCIP_PROP **prop, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, BMS_BLKMEM *blkmem, const char *name, const char *desc, int priority, int freq, SCIP_Bool delay, SCIP_PROPTIMING timingmask, int presolpriority, int presolmaxrounds, SCIP_PRESOLTIMING presoltiming, SCIP_DECL_PROPCOPY((*propcopy)), SCIP_DECL_PROPFREE((*propfree)), SCIP_DECL_PROPINIT((*propinit)), SCIP_DECL_PROPEXIT((*propexit)), SCIP_DECL_PROPINITPRE((*propinitpre)), SCIP_DECL_PROPEXITPRE((*propexitpre)), SCIP_DECL_PROPINITSOL((*propinitsol)), SCIP_DECL_PROPEXITSOL((*propexitsol)), SCIP_DECL_PROPPRESOL((*proppresol)), SCIP_DECL_PROPEXEC((*propexec)), SCIP_DECL_PROPRESPROP((*propresprop)), SCIP_PROPDATA *propdata)
void SCIPpropSetInitsol(SCIP_PROP *prop,)
SCIP_RETCODE SCIPpropResolvePropagation(SCIP_PROP *prop, SCIP_SET *set, SCIP_VAR *infervar, int inferinfo, SCIP_BOUNDTYPE inferboundtype, SCIP_BDCHGIDX *bdchgidx, SCIP_Real relaxedbd, SCIP_RESULT *result)
SCIP_RETCODE SCIPpropExitsol(SCIP_PROP *prop, SCIP_SET *set, SCIP_Bool restart)
void SCIPpropSetPresolPriority(SCIP_PROP *prop, SCIP_SET *set, int presolpriority)
void SCIPpropSetFree(SCIP_PROP *prop,)
SCIP_RETCODE SCIPpropPresol(SCIP_PROP *prop, SCIP_SET *set, SCIP_PRESOLTIMING timing, int nrounds, int *nfixedvars, int *naggrvars, int *nchgvartypes, int *nchgbds, int *naddholes, int *ndelconss, int *naddconss, int *nupgdconss, int *nchgcoefs, int *nchgsides, SCIP_RESULT *result)
SCIP_RETCODE SCIPpropExec(SCIP_PROP *prop, SCIP_SET *set, SCIP_STAT *stat, int depth, SCIP_Bool execdelayed, SCIP_Bool instrongbranching, SCIP_PROPTIMING proptiming, SCIP_RESULT *result)
SCIP_RETCODE SCIPpropInitpre(SCIP_PROP *prop, SCIP_SET *set)
SCIP_RETCODE SCIPpropFree(SCIP_PROP **prop, SCIP_SET *set)
SCIP_RETCODE SCIPpropSetPresol(SCIP_PROP *prop, SCIP_DECL_PROPPRESOL((*proppresol)), int presolpriority, int presolmaxrounds, SCIP_PRESOLTIMING presoltiming)
internal methods for propagators
public methods for message output
public data structures and miscellaneous methods
SCIP_RETCODE SCIPsetAddIntParam(SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, BMS_BLKMEM *blkmem, const char *name, const char *desc, int *valueptr, SCIP_Bool isadvanced, int defaultvalue, int minvalue, int maxvalue, SCIP_DECL_PARAMCHGD((*paramchgd)), SCIP_PARAMDATA *paramdata)
SCIP_RETCODE SCIPsetAddBoolParam(SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, BMS_BLKMEM *blkmem, const char *name, const char *desc, SCIP_Bool *valueptr, SCIP_Bool isadvanced, SCIP_Bool defaultvalue, SCIP_DECL_PARAMCHGD((*paramchgd)), SCIP_PARAMDATA *paramdata)
internal methods for global SCIP settings
internal methods for problem statistics
SCIP_PROPTIMING timingmask
SCIP_PRESOLTIMING presoltiming
SCIP_Longint ndomredsfound
SCIP_Longint nrespropcalls
SCIP_Longint nprobholechgs
SCIP_Longint nprobboundchgs
datastructures for propagators
enum SCIP_BoundType SCIP_BOUNDTYPE
#define SCIP_DECL_SORTPTRCOMP(x)
struct SCIP_ParamData SCIP_PARAMDATA
#define SCIP_DECL_PARAMCHGD(x)
#define SCIP_DECL_PROPCOPY(x)
#define SCIP_DECL_PROPEXITPRE(x)
#define SCIP_DECL_PROPINITSOL(x)
#define SCIP_DECL_PROPINIT(x)
#define SCIP_DECL_PROPFREE(x)
#define SCIP_DECL_PROPEXITSOL(x)
#define SCIP_DECL_PROPEXIT(x)
#define SCIP_DECL_PROPPRESOL(x)
#define SCIP_DECL_PROPINITPRE(x)
#define SCIP_DECL_PROPRESPROP(x)
struct SCIP_PropData SCIP_PROPDATA
#define SCIP_DECL_PROPEXEC(x)
enum SCIP_Result SCIP_RESULT
enum SCIP_Retcode SCIP_RETCODE
#define SCIP_PRESOLTIMING_MAX
#define SCIP_PRESOLTIMING_FINAL
unsigned int SCIP_PROPTIMING
#define SCIP_PRESOLTIMING_MEDIUM
unsigned int SCIP_PRESOLTIMING
#define SCIP_PROPTIMING_AFTERLPLOOP
#define SCIP_PRESOLTIMING_FAST
#define SCIP_PRESOLTIMING_EXHAUSTIVE
#define SCIP_PROPTIMING_BEFORELP
#define SCIP_PROPTIMING_ALWAYS
#define SCIP_PRESOLTIMING_NONE
#define SCIP_PROPTIMING_DURINGLPLOOP
internal methods for problem variables