Detailed Description
methods for propagator plugins
Function Documentation
◆ SCIP_DECL_SORTPTRCOMP() [1/3]
SCIP_DECL_SORTPTRCOMP | ( | SCIPpropComp | ) |
◆ SCIP_DECL_SORTPTRCOMP() [2/3]
SCIP_DECL_SORTPTRCOMP | ( | SCIPpropCompPresol | ) |
◆ SCIP_DECL_SORTPTRCOMP() [3/3]
SCIP_DECL_SORTPTRCOMP | ( | SCIPpropCompName | ) |
comparison method for sorting propagators w.r.t. to their name
Definition at line 64 of file prop.c.
References SCIPpropGetName().
◆ SCIPpropGetData()
SCIP_PROPDATA* SCIPpropGetData | ( | SCIP_PROP * | prop | ) |
gets user data of propagator
- Parameters
-
prop propagator
Definition at line 789 of file prop.c.
References NULL, and SCIP_Prop::propdata.
Referenced by addSymresackConss(), applyGenVBounds(), initData(), propagateCutoffboundBinvar(), propagateCutoffboundBinvars(), propagateCutoffboundGlobally(), propagateVbounds(), SCIP_DECL_PROPCOPY(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXIT(), SCIP_DECL_PROPEXITPRE(), SCIP_DECL_PROPEXITSOL(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPINIT(), SCIP_DECL_PROPINITPRE(), SCIP_DECL_PROPINITSOL(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPRESPROP(), SCIPfindObjProp(), SCIPgenVBoundAdd(), SCIPgetObjProp(), SCIPgetSymmetry(), SCIPgetSymmetryNGenerators(), SCIPisOrbitalfixingEnabled(), SCIPisPropagatedVbounds(), SCIPpropSyncAddBndchg(), SCIPpropSyncGetNTightenedBnds(), SCIPpropSyncGetNTightenedIntBnds(), and tryAddSymmetryHandlingConss().
◆ SCIPpropSetData()
void SCIPpropSetData | ( | SCIP_PROP * | prop, |
SCIP_PROPDATA * | propdata | ||
) |
sets user data of propagator; user has to free old data in advance!
- Parameters
-
prop propagator propdata new propagator user data
Definition at line 799 of file prop.c.
References NULL, and SCIP_Prop::propdata.
Referenced by SCIP_DECL_PROPFREE().
◆ SCIPpropGetName()
const char* SCIPpropGetName | ( | SCIP_PROP * | prop | ) |
gets name of propagator
- Parameters
-
prop propagator
Definition at line 941 of file prop.c.
References SCIP_Prop::name, and NULL.
Referenced by applyProbing(), conflictAddBound(), conflictResolveBound(), paramsetSetPresolvingDefault(), paramsetSetPresolvingOff(), presolveRound(), propagationRound(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_PROPCOPY(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXIT(), SCIP_DECL_PROPEXITPRE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPINIT(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_SORTPTRCOMP(), SCIPboundchgApply(), SCIPcopyConcurrentSolvingStats(), SCIPgenVBoundAdd(), SCIPgetSymmetry(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), SCIPprintPresolverStatistics(), SCIPprintPropagatorStatistics(), SCIPpropCopyInclude(), SCIPpropSyncAddBndchg(), SCIPsetIncludeCutsel(), SCIPsetPropPresol(), varAddLbchginfo(), and varAddUbchginfo().
◆ SCIPpropGetDesc()
const char* SCIPpropGetDesc | ( | SCIP_PROP * | prop | ) |
gets description of propagator
- Parameters
-
prop propagator
Definition at line 951 of file prop.c.
References SCIP_Prop::desc, and NULL.
Referenced by SCIP_DECL_DIALOGEXEC().
◆ SCIPpropGetPriority()
int SCIPpropGetPriority | ( | SCIP_PROP * | prop | ) |
gets priority of propagator
- Parameters
-
prop propagator
Definition at line 961 of file prop.c.
References NULL, and SCIP_Prop::priority.
Referenced by propagationRound(), and SCIP_DECL_DIALOGEXEC().
◆ SCIPpropGetPresolPriority()
int SCIPpropGetPresolPriority | ( | SCIP_PROP * | prop | ) |
gets presolving priority of propagator
- Parameters
-
prop propagator
Definition at line 971 of file prop.c.
References NULL, and SCIP_Prop::presolpriority.
Referenced by presolveRound(), and SCIP_DECL_DIALOGEXEC().
◆ SCIPpropGetFreq()
int SCIPpropGetFreq | ( | SCIP_PROP * | prop | ) |
gets frequency of propagator
- Parameters
-
prop propagator
Definition at line 1009 of file prop.c.
References SCIP_Prop::freq, and NULL.
Referenced by SCIP_DECL_DIALOGEXEC().
◆ SCIPpropGetSetupTime()
gets time in seconds used for setting up this propagator for new stages
- Parameters
-
prop propagator
Definition at line 1034 of file prop.c.
References NULL, SCIPclockGetTime(), and SCIP_Prop::setuptime.
Referenced by SCIPprintPresolverStatistics(), and SCIPprintPropagatorStatistics().
◆ SCIPpropSetFreq()
void SCIPpropSetFreq | ( | SCIP_PROP * | prop, |
int | freq | ||
) |
sets frequency of propagator
- Parameters
-
prop propagator freq new frequency of propagator
Definition at line 1044 of file prop.c.
References SCIP_Prop::freq, and NULL.
Referenced by SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPPRESOL(), and SCIPpropSyncAddBndchg().
◆ SCIPpropGetTime()
gets time in seconds used in this propagator
gets time in seconds used in this propagator for propagation
- Parameters
-
prop propagator
Definition at line 1056 of file prop.c.
References NULL, SCIP_Prop::proptime, and SCIPclockGetTime().
Referenced by SCIPprintPropagatorStatistics().
◆ SCIPpropGetStrongBranchPropTime()
gets time in seconds used in this propagator during strong branching
gets time in seconds used in this propagator for propagation during strong branching
- Parameters
-
prop propagator
Definition at line 1066 of file prop.c.
References NULL, SCIP_Prop::sbproptime, and SCIPclockGetTime().
Referenced by SCIPprintPropagatorStatistics().
◆ SCIPpropGetRespropTime()
gets time in seconds used in this propagator for resolve propagation
- Parameters
-
prop propagator
Definition at line 1076 of file prop.c.
References NULL, SCIP_Prop::resproptime, and SCIPclockGetTime().
Referenced by SCIPprintPropagatorStatistics().
◆ SCIPpropGetPresolTime()
gets time in seconds used in this propagator for presolving
- Parameters
-
prop propagator
Definition at line 1086 of file prop.c.
References NULL, SCIP_Prop::presoltime, and SCIPclockGetTime().
Referenced by SCIPprintPresolverStatistics(), and SCIPprintPropagatorStatistics().
◆ SCIPpropGetNCalls()
SCIP_Longint SCIPpropGetNCalls | ( | SCIP_PROP * | prop | ) |
gets the total number of times, the propagator was called
- Parameters
-
prop propagator
Definition at line 1096 of file prop.c.
References SCIP_Prop::ncalls, and NULL.
Referenced by SCIPprintPropagatorStatistics().
◆ SCIPpropGetNRespropCalls()
SCIP_Longint SCIPpropGetNRespropCalls | ( | SCIP_PROP * | prop | ) |
gets the total number of times, the propagator was called for resolving a propagation
- Parameters
-
prop propagator
Definition at line 1106 of file prop.c.
References SCIP_Prop::nrespropcalls, and NULL.
Referenced by SCIPprintPropagatorStatistics().
◆ SCIPpropGetNCutoffs()
SCIP_Longint SCIPpropGetNCutoffs | ( | SCIP_PROP * | prop | ) |
gets total number of times, this propagator detected a cutoff
- Parameters
-
prop propagator
Definition at line 1116 of file prop.c.
References SCIP_Prop::ncutoffs, and NULL.
Referenced by SCIPprintPropagatorStatistics().
◆ SCIPpropGetNDomredsFound()
SCIP_Longint SCIPpropGetNDomredsFound | ( | SCIP_PROP * | prop | ) |
gets total number of domain reductions found by this propagator
- Parameters
-
prop propagator
Definition at line 1126 of file prop.c.
References SCIP_Prop::ndomredsfound, and NULL.
Referenced by SCIPprintPropagatorStatistics().
◆ SCIPpropIsDelayed()
should propagator be delayed, if other propagators found reductions?
- Parameters
-
prop propagator
Definition at line 1136 of file prop.c.
References SCIP_Prop::delay, and NULL.
Referenced by SCIP_DECL_DIALOGEXEC().
◆ SCIPpropWasDelayed()
was propagator delayed at the last call?
- Parameters
-
prop propagator
Definition at line 1146 of file prop.c.
References NULL, and SCIP_Prop::wasdelayed.
Referenced by propagationRound().
◆ SCIPpropIsInitialized()
is propagator initialized?
- Parameters
-
prop propagator
Definition at line 1156 of file prop.c.
References SCIP_Prop::initialized, and NULL.
◆ SCIPpropGetNFixedVars()
int SCIPpropGetNFixedVars | ( | SCIP_PROP * | prop | ) |
gets number of variables fixed during presolving of propagator
- Parameters
-
prop propagator
Definition at line 1166 of file prop.c.
References SCIP_Prop::nfixedvars, and NULL.
Referenced by SCIPprintPresolverStatistics().
◆ SCIPpropGetNAggrVars()
int SCIPpropGetNAggrVars | ( | SCIP_PROP * | prop | ) |
gets number of variables aggregated during presolving of propagator
- Parameters
-
prop propagator
Definition at line 1176 of file prop.c.
References SCIP_Prop::naggrvars, and NULL.
Referenced by SCIPprintPresolverStatistics().
◆ SCIPpropGetNChgVarTypes()
int SCIPpropGetNChgVarTypes | ( | SCIP_PROP * | prop | ) |
gets number of variable types changed during presolving of propagator
- Parameters
-
prop propagator
Definition at line 1186 of file prop.c.
References SCIP_Prop::nchgvartypes, and NULL.
Referenced by SCIPprintPresolverStatistics().
◆ SCIPpropGetNChgBds()
int SCIPpropGetNChgBds | ( | SCIP_PROP * | prop | ) |
gets number of bounds changed during presolving of propagator
- Parameters
-
prop propagator
Definition at line 1196 of file prop.c.
References SCIP_Prop::nchgbds, and NULL.
Referenced by SCIPprintPresolverStatistics().
◆ SCIPpropGetNAddHoles()
int SCIPpropGetNAddHoles | ( | SCIP_PROP * | prop | ) |
gets number of holes added to domains of variables during presolving of propagator
- Parameters
-
prop propagator
Definition at line 1206 of file prop.c.
References SCIP_Prop::naddholes, and NULL.
Referenced by SCIPprintPresolverStatistics().
◆ SCIPpropGetNDelConss()
int SCIPpropGetNDelConss | ( | SCIP_PROP * | prop | ) |
gets number of constraints deleted during presolving of propagator
- Parameters
-
prop propagator
Definition at line 1216 of file prop.c.
References SCIP_Prop::ndelconss, and NULL.
Referenced by SCIPprintPresolverStatistics().
◆ SCIPpropGetNAddConss()
int SCIPpropGetNAddConss | ( | SCIP_PROP * | prop | ) |
gets number of constraints added during presolving of propagator
- Parameters
-
prop propagator
Definition at line 1226 of file prop.c.
References SCIP_Prop::naddconss, and NULL.
Referenced by SCIPprintPresolverStatistics().
◆ SCIPpropGetNUpgdConss()
int SCIPpropGetNUpgdConss | ( | SCIP_PROP * | prop | ) |
gets number of constraints upgraded during presolving of propagator
- Parameters
-
prop propagator
Definition at line 1236 of file prop.c.
References NULL, and SCIP_Prop::nupgdconss.
◆ SCIPpropGetNChgCoefs()
int SCIPpropGetNChgCoefs | ( | SCIP_PROP * | prop | ) |
gets number of coefficients changed during presolving of propagator
- Parameters
-
prop propagator
Definition at line 1246 of file prop.c.
References SCIP_Prop::nchgcoefs, and NULL.
Referenced by SCIPprintPresolverStatistics().
◆ SCIPpropGetNChgSides()
int SCIPpropGetNChgSides | ( | SCIP_PROP * | prop | ) |
gets number of constraint sides changed during presolving of propagator
- Parameters
-
prop propagator
Definition at line 1256 of file prop.c.
References SCIP_Prop::nchgsides, and NULL.
Referenced by SCIPprintPresolverStatistics().
◆ SCIPpropGetNPresolCalls()
int SCIPpropGetNPresolCalls | ( | SCIP_PROP * | prop | ) |
gets number of times the propagator was called in presolving and tried to find reductions
- Parameters
-
prop propagator
Definition at line 1266 of file prop.c.
References SCIP_Prop::npresolcalls, and NULL.
Referenced by SCIPprintPresolverStatistics().
◆ SCIPpropGetTimingmask()
SCIP_PROPTIMING SCIPpropGetTimingmask | ( | SCIP_PROP * | prop | ) |
returns the timing mask of the propagator
- Parameters
-
prop propagator
Definition at line 1276 of file prop.c.
References NULL, and SCIP_Prop::timingmask.
Referenced by propagationRound().
◆ SCIPpropDoesPresolve()
does the propagator perform presolving?
- Parameters
-
prop propagator
Definition at line 1286 of file prop.c.
References NULL.
Referenced by SCIPprintPresolverStatistics().
◆ SCIPpropGetPresolTiming()
SCIP_PRESOLTIMING SCIPpropGetPresolTiming | ( | SCIP_PROP * | prop | ) |
returns the timing mask of the presolving method of the propagator
- Parameters
-
prop propagator
Definition at line 1296 of file prop.c.
References NULL, and SCIP_Prop::presoltiming.
Referenced by SCIP_DECL_DIALOGEXEC().
◆ SCIPpropSetPresolTiming()
void SCIPpropSetPresolTiming | ( | SCIP_PROP * | prop, |
SCIP_PRESOLTIMING | presoltiming | ||
) |
sets the timing mask of the presolving method of the propagator
- Parameters
-
prop propagator presoltiming timing mask to be set
Definition at line 1306 of file prop.c.
References NULL, and SCIP_Prop::presoltiming.
◆ SCIPincludeProp()
SCIP_RETCODE SCIPincludeProp | ( | SCIP * | scip, |
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 | ||
) |
creates a propagator and includes it in SCIP.
- Note
- method has all propagator callbacks as arguments and is thus changed every time a new callback is added in future releases; consider using SCIPincludePropBasic() and setter functions if you seek for a method which is less likely to change in future releases
- Parameters
-
scip SCIP data structure name name of propagator desc description of propagator priority priority of the propagator (>= 0: before, < 0: after constraint handlers) freq frequency for calling propagator delay should propagator be delayed, if other propagators found reductions? timingmask positions in the node solving loop where propagator should be executed presolpriority presolving priority of the propagator (>= 0: before, < 0: after constraint handlers) presolmaxrounds maximal number of presolving rounds the propagator participates in (-1: no limit) presoltiming timing mask of the propagator's presolving method propdata propagator data
Definition at line 62 of file scip_prop.c.
References FALSE, Scip::mem, Scip::messagehdlr, NULL, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIPcheckStage(), SCIPerrorMessage, SCIPfindProp(), SCIPpropCreate(), SCIPsetIncludeProp(), Scip::set, SCIP_Mem::setmem, and TRUE.
Referenced by SCIPincludeObjProp().
◆ SCIPincludePropBasic()
SCIP_RETCODE SCIPincludePropBasic | ( | SCIP * | scip, |
SCIP_PROP ** | propptr, | ||
const char * | name, | ||
const char * | desc, | ||
int | priority, | ||
int | freq, | ||
SCIP_Bool | delay, | ||
SCIP_PROPTIMING | timingmask, | ||
SCIP_DECL_PROPEXEC((*propexec)) | , | ||
SCIP_PROPDATA * | propdata | ||
) |
creates a propagator and includes it in SCIP. All non-fundamental (or optional) callbacks will be set to NULL. Optional callbacks can be set via specific setter functions, see SCIPsetPropInit(), SCIPsetPropExit(), SCIPsetPropCopy(), SCIPsetPropFree(), SCIPsetPropInitsol(), SCIPsetPropExitsol(), SCIPsetPropInitpre(), SCIPsetPropExitpre(), SCIPsetPropPresol(), and SCIPsetPropResprop().
- Note
- if you want to set all callbacks with a single method call, consider using SCIPincludeProp() instead
- Parameters
-
scip SCIP data structure propptr reference to a propagator pointer, or NULL name name of propagator desc description of propagator priority priority of the propagator (>= 0: before, < 0: after constraint handlers) freq frequency for calling propagator delay should propagator be delayed, if other propagators found reductions? timingmask positions in the node solving loop where propagators should be executed propdata propagator data
Definition at line 114 of file scip_prop.c.
References FALSE, Scip::mem, Scip::messagehdlr, NULL, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_PRESOLTIMING_ALWAYS, SCIPcheckStage(), SCIPerrorMessage, SCIPfindProp(), SCIPpropCreate(), SCIPsetIncludeProp(), Scip::set, SCIP_Mem::setmem, and TRUE.
Referenced by SCIPincludePropDualfix(), SCIPincludePropNlobbt(), SCIPincludePropRedcost(), SCIPincludePropRootredcost(), SCIPincludePropSymmetry(), SCIPincludePropSync(), and SCIPincludePropVbounds().
◆ SCIPsetPropCopy()
SCIP_RETCODE SCIPsetPropCopy | ( | SCIP * | scip, |
SCIP_PROP * | prop, | ||
SCIP_DECL_PROPCOPY((*propcopy)) | |||
) |
sets copy method of propagator
- Parameters
-
scip SCIP data structure prop propagator
Definition at line 151 of file scip_prop.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPpropSetCopy(), and TRUE.
Referenced by SCIPincludePropDualfix(), SCIPincludePropRedcost(), SCIPincludePropRootredcost(), and SCIPincludePropVbounds().
◆ SCIPsetPropFree()
SCIP_RETCODE SCIPsetPropFree | ( | SCIP * | scip, |
SCIP_PROP * | prop, | ||
SCIP_DECL_PROPFREE((*propfree)) | |||
) |
sets destructor method of propagator
- Parameters
-
scip SCIP data structure prop propagator
Definition at line 167 of file scip_prop.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPpropSetFree(), and TRUE.
Referenced by SCIPincludePropNlobbt(), SCIPincludePropRedcost(), SCIPincludePropRootredcost(), SCIPincludePropSymmetry(), SCIPincludePropSync(), and SCIPincludePropVbounds().
◆ SCIPsetPropInit()
SCIP_RETCODE SCIPsetPropInit | ( | SCIP * | scip, |
SCIP_PROP * | prop, | ||
SCIP_DECL_PROPINIT((*propinit)) | |||
) |
sets initialization method of propagator
- Parameters
-
scip SCIP data structure prop propagator
Definition at line 183 of file scip_prop.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPpropSetInit(), and TRUE.
Referenced by SCIPincludePropSync().
◆ SCIPsetPropExit()
SCIP_RETCODE SCIPsetPropExit | ( | SCIP * | scip, |
SCIP_PROP * | prop, | ||
SCIP_DECL_PROPEXIT((*propexit)) | |||
) |
sets deinitialization method of propagator
- Parameters
-
scip SCIP data structure prop propagator
Definition at line 199 of file scip_prop.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPpropSetExit(), and TRUE.
Referenced by SCIPincludePropSymmetry(), and SCIPincludePropSync().
◆ SCIPsetPropInitsol()
SCIP_RETCODE SCIPsetPropInitsol | ( | SCIP * | scip, |
SCIP_PROP * | prop, | ||
SCIP_DECL_PROPINITSOL((*propinitsol)) | |||
) |
sets solving process initialization method of propagator
- Parameters
-
scip SCIP data structure prop propagator
Definition at line 215 of file scip_prop.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPpropSetInitsol(), and TRUE.
Referenced by SCIPincludePropNlobbt(), and SCIPincludePropRedcost().
◆ SCIPsetPropExitsol()
SCIP_RETCODE SCIPsetPropExitsol | ( | SCIP * | scip, |
SCIP_PROP * | prop, | ||
SCIP_DECL_PROPEXITSOL((*propexitsol)) | |||
) |
sets solving process deinitialization method of propagator
- Parameters
-
scip SCIP data structure prop propagator
Definition at line 231 of file scip_prop.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPpropSetExitsol(), and TRUE.
Referenced by SCIPincludePropNlobbt(), SCIPincludePropRootredcost(), and SCIPincludePropVbounds().
◆ SCIPsetPropInitpre()
SCIP_RETCODE SCIPsetPropInitpre | ( | SCIP * | scip, |
SCIP_PROP * | prop, | ||
SCIP_DECL_PROPINITPRE((*propinitpre)) | |||
) |
sets preprocessing initialization method of propagator
- Parameters
-
scip SCIP data structure prop propagator
Definition at line 247 of file scip_prop.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPpropSetInitpre(), and TRUE.
Referenced by SCIPincludePropSymmetry(), and SCIPincludePropVbounds().
◆ SCIPsetPropExitpre()
SCIP_RETCODE SCIPsetPropExitpre | ( | SCIP * | scip, |
SCIP_PROP * | prop, | ||
SCIP_DECL_PROPEXITPRE((*propexitpre)) | |||
) |
sets preprocessing deinitialization method of propagator
- Parameters
-
scip SCIP data structure prop propagator
Definition at line 263 of file scip_prop.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPpropSetExitpre(), and TRUE.
Referenced by SCIPincludePropSymmetry().
◆ SCIPsetPropPresol()
SCIP_RETCODE SCIPsetPropPresol | ( | SCIP * | scip, |
SCIP_PROP * | prop, | ||
SCIP_DECL_PROPPRESOL((*proppresol)) | , | ||
int | presolpriority, | ||
int | presolmaxrounds, | ||
SCIP_PRESOLTIMING | presoltiming | ||
) |
sets presolving method of propagator
- Parameters
-
scip SCIP data structure prop propagator presolpriority presolving priority of the propagator (>= 0: before, < 0: after constraint handlers) presolmaxrounds maximal number of presolving rounds the propagator participates in (-1: no limit) presoltiming timing mask of the propagator's presolving method
Definition at line 279 of file scip_prop.c.
References FALSE, NULL, paramname, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIPcheckStage(), SCIPpropGetName(), SCIPpropSetPresol(), SCIPsetSetDefaultIntParam(), SCIPsnprintf(), Scip::set, and TRUE.
Referenced by SCIPincludePropDualfix(), SCIPincludePropSymmetry(), SCIPincludePropSync(), and SCIPincludePropVbounds().
◆ SCIPsetPropResprop()
SCIP_RETCODE SCIPsetPropResprop | ( | SCIP * | scip, |
SCIP_PROP * | prop, | ||
SCIP_DECL_PROPRESPROP((*propresprop)) | |||
) |
sets propagation conflict resolving callback of propagator
- Parameters
-
scip SCIP data structure prop propagator
Definition at line 312 of file scip_prop.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPpropSetResprop(), and TRUE.
Referenced by SCIPincludePropSymmetry(), and SCIPincludePropVbounds().
◆ SCIPfindProp()
returns the propagator of the given name, or NULL if not existing
- Parameters
-
scip SCIP data structure name name of propagator
Definition at line 329 of file scip_prop.c.
References NULL, SCIPsetFindProp(), and Scip::set.
Referenced by SCIP_DECL_PROPINITSOL(), SCIPcopyConcurrentSolvingStats(), SCIPcreateConcurrent(), SCIPexecPropVbounds(), SCIPfindObjProp(), SCIPgetSymmetry(), SCIPgetSymmetryNGenerators(), SCIPincludeProp(), SCIPincludePropBasic(), SCIPisOrbitalfixingEnabled(), and SCIPisPropagatedVbounds().
◆ SCIPgetProps()
returns the array of currently available propagators
- Parameters
-
scip SCIP data structure
Definition at line 342 of file scip_prop.c.
References NULL, SCIP_Set::props, SCIPsetSortProps(), and Scip::set.
Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPcopyConcurrentSolvingStats().
◆ SCIPgetNProps()
int SCIPgetNProps | ( | SCIP * | scip | ) |
returns the number of currently available propagators
- Parameters
-
scip SCIP data structure
Definition at line 355 of file scip_prop.c.
References SCIP_Set::nprops, NULL, and Scip::set.
Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPcopyConcurrentSolvingStats().
◆ SCIPsetPropPriority()
SCIP_RETCODE SCIPsetPropPriority | ( | SCIP * | scip, |
SCIP_PROP * | prop, | ||
int | priority | ||
) |
sets the priority of a propagator
- Parameters
-
scip SCIP data structure prop propagator priority new priority of the propagator
Definition at line 366 of file scip_prop.c.
References NULL, SCIP_OKAY, SCIPpropSetPriority(), and Scip::set.
Referenced by SCIP_DECL_PARAMCHGD().
◆ SCIPsetPropPresolPriority()
SCIP_RETCODE SCIPsetPropPresolPriority | ( | SCIP * | scip, |
SCIP_PROP * | prop, | ||
int | presolpriority | ||
) |
sets the presolving priority of a propagator
- Parameters
-
scip SCIP data structure prop propagator presolpriority new presol priority of the propagator
Definition at line 381 of file scip_prop.c.
References NULL, SCIP_OKAY, SCIPpropSetPresolPriority(), and Scip::set.
Referenced by SCIP_DECL_PARAMCHGD().