methods for propagator plugins
| SCIP_DECL_SORTPTRCOMP | ( | SCIPpropComp | ) |
| SCIP_DECL_SORTPTRCOMP | ( | SCIPpropCompPresol | ) |
| 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().
| SCIP_PROPDATA * SCIPpropGetData | ( | SCIP_PROP * | prop | ) |
gets user data of propagator
| prop | propagator |
Definition at line 789 of file prop.c.
References assert(), NULL, and SCIP_Prop::propdata.
Referenced by applyGenVBounds(), initData(), propagateCutoffbound(), propagateCutoffboundBinvar(), propagateCutoffboundBinvars(), propagateCutoffboundGlobally(), propagateLowerbound(), propagateVbounds(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_PROPCOPY(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXIT(), SCIP_DECL_PROPEXIT(), SCIP_DECL_PROPEXIT(), SCIP_DECL_PROPEXIT(), SCIP_DECL_PROPEXIT(), SCIP_DECL_PROPEXITPRE(), SCIP_DECL_PROPEXITPRE(), SCIP_DECL_PROPEXITPRE(), SCIP_DECL_PROPEXITPRE(), SCIP_DECL_PROPEXITSOL(), SCIP_DECL_PROPEXITSOL(), SCIP_DECL_PROPEXITSOL(), SCIP_DECL_PROPEXITSOL(), SCIP_DECL_PROPEXITSOL(), SCIP_DECL_PROPEXITSOL(), SCIP_DECL_PROPEXITSOL(), SCIP_DECL_PROPEXITSOL(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPINIT(), SCIP_DECL_PROPINIT(), SCIP_DECL_PROPINIT(), SCIP_DECL_PROPINIT(), SCIP_DECL_PROPINITPRE(), SCIP_DECL_PROPINITPRE(), SCIP_DECL_PROPINITPRE(), SCIP_DECL_PROPINITPRE(), SCIP_DECL_PROPINITPRE(), SCIP_DECL_PROPINITSOL(), SCIP_DECL_PROPINITSOL(), SCIP_DECL_PROPINITSOL(), SCIP_DECL_PROPINITSOL(), SCIP_DECL_PROPINITSOL(), SCIP_DECL_PROPINITSOL(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPRESPROP(), SCIP_DECL_PROPRESPROP(), SCIP_DECL_PROPRESPROP(), SCIP_DECL_PROPRESPROP(), SCIPcreateSymOpNodeType(), SCIPfindObjProp(), SCIPgenVBoundAdd(), SCIPgetObjProp(), SCIPgetSymmetry(), SCIPgetSymmetryNGenerators(), SCIPgetSymOpNodeType(), SCIPisPropagatedVbounds(), SCIPpropSyncAddBndchg(), SCIPpropSyncGetNTightenedBnds(), SCIPpropSyncGetNTightenedIntBnds(), and tryAddSymmetryHandlingMethods().
| void SCIPpropSetData | ( | SCIP_PROP * | prop, |
| SCIP_PROPDATA * | propdata ) |
sets user data of propagator; user has to free old data in advance!
| prop | propagator |
| propdata | new propagator user data |
Definition at line 799 of file prop.c.
References assert(), NULL, and SCIP_Prop::propdata.
Referenced by SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), and SCIP_DECL_PROPFREE().
| const char * SCIPpropGetName | ( | SCIP_PROP * | prop | ) |
gets name of propagator
| prop | propagator |
Definition at line 941 of file prop.c.
References assert(), SCIP_Prop::name, and NULL.
Referenced by conflictAddBound(), conflictResolveBound(), paramsetSetPresolvingDefault(), paramsetSetPresolvingOff(), presolveRound(), propagationRound(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_PROPCOPY(), SCIP_DECL_PROPCOPY(), SCIP_DECL_PROPCOPY(), SCIP_DECL_PROPCOPY(), SCIP_DECL_PROPCOPY(), SCIP_DECL_PROPCOPY(), SCIP_DECL_PROPCOPY(), SCIP_DECL_PROPCOPY(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXIT(), SCIP_DECL_PROPEXIT(), SCIP_DECL_PROPEXIT(), SCIP_DECL_PROPEXITPRE(), SCIP_DECL_PROPEXITPRE(), SCIP_DECL_PROPEXITSOL(), SCIP_DECL_PROPEXITSOL(), SCIP_DECL_PROPEXITSOL(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPINIT(), SCIP_DECL_PROPINIT(), SCIP_DECL_PROPINITPRE(), SCIP_DECL_PROPINITSOL(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_SORTPTRCOMP(), SCIPboundchgApply(), SCIPcopyConcurrentSolvingStats(), SCIPgenVBoundAdd(), SCIPgetSymmetry(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), SCIPprintPresolverStatistics(), SCIPprintPropagatorStatistics(), SCIPpropCopyInclude(), SCIPpropSyncAddBndchg(), SCIPsetPropPresol(), varAddLbchginfo(), and varAddUbchginfo().
| const char * SCIPpropGetDesc | ( | SCIP_PROP * | prop | ) |
gets description of propagator
| prop | propagator |
Definition at line 951 of file prop.c.
References assert(), SCIP_Prop::desc, and NULL.
Referenced by SCIP_DECL_DIALOGEXEC().
| int SCIPpropGetPriority | ( | SCIP_PROP * | prop | ) |
gets priority of propagator
| prop | propagator |
Definition at line 961 of file prop.c.
References assert(), NULL, and SCIP_Prop::priority.
Referenced by propagationRound(), and SCIP_DECL_DIALOGEXEC().
| int SCIPpropGetPresolPriority | ( | SCIP_PROP * | prop | ) |
gets presolving priority of propagator
| prop | propagator |
Definition at line 971 of file prop.c.
References assert(), NULL, and SCIP_Prop::presolpriority.
Referenced by presolveRound(), and SCIP_DECL_DIALOGEXEC().
| int SCIPpropGetFreq | ( | SCIP_PROP * | prop | ) |
gets frequency of propagator
| prop | propagator |
Definition at line 1009 of file prop.c.
References assert(), SCIP_Prop::freq, and NULL.
Referenced by SCIP_DECL_DIALOGEXEC().
gets time in seconds used for setting up this propagator for new stages
| prop | propagator |
Definition at line 1034 of file prop.c.
References assert(), NULL, SCIPclockGetTime(), and SCIP_Prop::setuptime.
Referenced by SCIPprintPresolverStatistics(), and SCIPprintPropagatorStatistics().
| void SCIPpropSetFreq | ( | SCIP_PROP * | prop, |
| int | freq ) |
sets frequency of propagator
| prop | propagator |
| freq | new frequency of propagator |
Definition at line 1044 of file prop.c.
References assert(), SCIP_Prop::freq, and NULL.
Referenced by SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPPRESOL(), and SCIPpropSyncAddBndchg().
gets time in seconds used in this propagator
gets time in seconds used in this propagator for propagation
| prop | propagator |
Definition at line 1056 of file prop.c.
References assert(), NULL, SCIP_Prop::proptime, and SCIPclockGetTime().
Referenced by SCIP_DECL_PROPPRESOL(), and SCIPprintPropagatorStatistics().
gets time in seconds used in this propagator during strong branching
gets time in seconds used in this propagator for propagation during strong branching
| prop | propagator |
Definition at line 1066 of file prop.c.
References assert(), NULL, SCIP_Prop::sbproptime, and SCIPclockGetTime().
Referenced by SCIPprintPropagatorStatistics().
gets time in seconds used in this propagator for resolve propagation
| prop | propagator |
Definition at line 1076 of file prop.c.
References assert(), NULL, SCIP_Prop::resproptime, and SCIPclockGetTime().
Referenced by SCIPprintPropagatorStatistics().
gets time in seconds used in this propagator for presolving
| prop | propagator |
Definition at line 1086 of file prop.c.
References assert(), NULL, SCIP_Prop::presoltime, and SCIPclockGetTime().
Referenced by SCIPprintPresolverStatistics(), and SCIPprintPropagatorStatistics().
| SCIP_Longint SCIPpropGetNCalls | ( | SCIP_PROP * | prop | ) |
gets the total number of times, the propagator was called
| prop | propagator |
Definition at line 1096 of file prop.c.
References assert(), SCIP_Prop::ncalls, and NULL.
Referenced by SCIPprintPropagatorStatistics().
| SCIP_Longint SCIPpropGetNRespropCalls | ( | SCIP_PROP * | prop | ) |
gets the total number of times, the propagator was called for resolving a propagation
| prop | propagator |
Definition at line 1106 of file prop.c.
References assert(), SCIP_Prop::nrespropcalls, and NULL.
Referenced by SCIPprintPropagatorStatistics().
| SCIP_Longint SCIPpropGetNCutoffs | ( | SCIP_PROP * | prop | ) |
gets total number of times, this propagator detected a cutoff
| prop | propagator |
Definition at line 1116 of file prop.c.
References assert(), SCIP_Prop::ncutoffs, and NULL.
Referenced by SCIPprintPropagatorStatistics().
| SCIP_Longint SCIPpropGetNDomredsFound | ( | SCIP_PROP * | prop | ) |
gets total number of domain reductions found by this propagator
| prop | propagator |
Definition at line 1126 of file prop.c.
References assert(), SCIP_Prop::ndomredsfound, and NULL.
Referenced by SCIPprintPropagatorStatistics().
should propagator be delayed, if other propagators found reductions?
| prop | propagator |
Definition at line 1136 of file prop.c.
References assert(), SCIP_Prop::delay, and NULL.
Referenced by SCIP_DECL_DIALOGEXEC().
was propagator delayed at the last call?
| prop | propagator |
Definition at line 1146 of file prop.c.
References assert(), NULL, and SCIP_Prop::wasdelayed.
Referenced by propagationRound().
is propagator initialized?
| prop | propagator |
Definition at line 1156 of file prop.c.
References assert(), SCIP_Prop::initialized, and NULL.
| int SCIPpropGetNFixedVars | ( | SCIP_PROP * | prop | ) |
gets number of variables fixed during presolving of propagator
| prop | propagator |
Definition at line 1166 of file prop.c.
References assert(), SCIP_Prop::nfixedvars, and NULL.
Referenced by SCIPprintPresolverStatistics().
| int SCIPpropGetNAggrVars | ( | SCIP_PROP * | prop | ) |
gets number of variables aggregated during presolving of propagator
| prop | propagator |
Definition at line 1176 of file prop.c.
References assert(), SCIP_Prop::naggrvars, and NULL.
Referenced by SCIPprintPresolverStatistics().
| int SCIPpropGetNChgVarTypes | ( | SCIP_PROP * | prop | ) |
gets number of variable types changed during presolving of propagator
| prop | propagator |
Definition at line 1186 of file prop.c.
References assert(), SCIP_Prop::nchgvartypes, and NULL.
Referenced by SCIPprintPresolverStatistics().
| int SCIPpropGetNChgBds | ( | SCIP_PROP * | prop | ) |
gets number of bounds changed during presolving of propagator
| prop | propagator |
Definition at line 1196 of file prop.c.
References assert(), SCIP_Prop::nchgbds, and NULL.
Referenced by SCIPprintPresolverStatistics().
| int SCIPpropGetNAddHoles | ( | SCIP_PROP * | prop | ) |
gets number of holes added to domains of variables during presolving of propagator
| prop | propagator |
Definition at line 1206 of file prop.c.
References assert(), SCIP_Prop::naddholes, and NULL.
Referenced by SCIPprintPresolverStatistics().
| int SCIPpropGetNDelConss | ( | SCIP_PROP * | prop | ) |
gets number of constraints deleted during presolving of propagator
| prop | propagator |
Definition at line 1216 of file prop.c.
References assert(), SCIP_Prop::ndelconss, and NULL.
Referenced by SCIPprintPresolverStatistics().
| int SCIPpropGetNAddConss | ( | SCIP_PROP * | prop | ) |
gets number of constraints added during presolving of propagator
| prop | propagator |
Definition at line 1226 of file prop.c.
References assert(), SCIP_Prop::naddconss, and NULL.
Referenced by SCIPprintPresolverStatistics().
| int SCIPpropGetNUpgdConss | ( | SCIP_PROP * | prop | ) |
gets number of constraints upgraded during presolving of propagator
| prop | propagator |
Definition at line 1236 of file prop.c.
References assert(), NULL, and SCIP_Prop::nupgdconss.
| int SCIPpropGetNChgCoefs | ( | SCIP_PROP * | prop | ) |
gets number of coefficients changed during presolving of propagator
| prop | propagator |
Definition at line 1246 of file prop.c.
References assert(), SCIP_Prop::nchgcoefs, and NULL.
Referenced by SCIPprintPresolverStatistics().
| int SCIPpropGetNChgSides | ( | SCIP_PROP * | prop | ) |
gets number of constraint sides changed during presolving of propagator
| prop | propagator |
Definition at line 1256 of file prop.c.
References assert(), SCIP_Prop::nchgsides, and NULL.
Referenced by SCIPprintPresolverStatistics().
| int SCIPpropGetNPresolCalls | ( | SCIP_PROP * | prop | ) |
gets number of times the propagator was called in presolving and tried to find reductions
| prop | propagator |
Definition at line 1266 of file prop.c.
References assert(), SCIP_Prop::npresolcalls, and NULL.
Referenced by SCIPprintPresolverStatistics().
| SCIP_PROPTIMING SCIPpropGetTimingmask | ( | SCIP_PROP * | prop | ) |
returns the timing mask of the propagator
| prop | propagator |
Definition at line 1276 of file prop.c.
References assert(), NULL, and SCIP_Prop::timingmask.
Referenced by propagationRound().
does the propagator perform presolving?
| prop | propagator |
Definition at line 1286 of file prop.c.
References assert(), and NULL.
Referenced by SCIPprintPresolverStatistics().
| SCIP_PRESOLTIMING SCIPpropGetPresolTiming | ( | SCIP_PROP * | prop | ) |
returns the timing mask of the presolving method of the propagator
| prop | propagator |
Definition at line 1296 of file prop.c.
References assert(), NULL, and SCIP_Prop::presoltiming.
Referenced by SCIP_DECL_DIALOGEXEC().
| void SCIPpropSetPresolTiming | ( | SCIP_PROP * | prop, |
| SCIP_PRESOLTIMING | presoltiming ) |
sets the timing mask of the presolving method of the propagator
| prop | propagator |
| presoltiming | timing mask to be set |
Definition at line 1306 of file prop.c.
References assert(), NULL, and SCIP_Prop::presoltiming.
| 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.
| 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, NULL, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIPcheckStage(), SCIPerrorMessage, SCIPfindProp(), SCIPpropCreate(), SCIPsetIncludeProp(), and TRUE.
Referenced by SCIPincludeObjProp().
| 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().
| 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, NULL, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_PRESOLTIMING_ALWAYS, SCIPcheckStage(), SCIPerrorMessage, SCIPfindProp(), SCIPpropCreate(), SCIPsetIncludeProp(), and TRUE.
Referenced by SCIPincludePropDualfix(), SCIPincludePropGenvbounds(), SCIPincludePropNlobbt(), SCIPincludePropObbt(), SCIPincludePropProbing(), SCIPincludePropPseudoobj(), SCIPincludePropRedcost(), SCIPincludePropRootredcost(), SCIPincludePropSymmetry(), SCIPincludePropSync(), and SCIPincludePropVbounds().
| SCIP_RETCODE SCIPsetPropCopy | ( | SCIP * | scip, |
| SCIP_PROP * | prop ) |
sets copy method of propagator
| scip | SCIP data structure |
| prop | propagator copy method of propagator or NULL if you don't want to copy your plugin into sub-SCIPs |
Definition at line 151 of file scip_prop.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPpropSetCopy(), and TRUE.
Referenced by SCIPincludePropDualfix(), SCIPincludePropGenvbounds(), SCIPincludePropObbt(), SCIPincludePropProbing(), SCIPincludePropPseudoobj(), SCIPincludePropRedcost(), SCIPincludePropRootredcost(), and SCIPincludePropVbounds().
| SCIP_RETCODE SCIPsetPropFree | ( | SCIP * | scip, |
| SCIP_PROP * | prop ) |
sets destructor method of propagator
| scip | SCIP data structure |
| prop | propagator destructor of propagator |
Definition at line 167 of file scip_prop.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPpropSetFree(), and TRUE.
Referenced by SCIPincludePropGenvbounds(), SCIPincludePropNlobbt(), SCIPincludePropObbt(), SCIPincludePropProbing(), SCIPincludePropPseudoobj(), SCIPincludePropRedcost(), SCIPincludePropRootredcost(), SCIPincludePropSymmetry(), SCIPincludePropSync(), and SCIPincludePropVbounds().
| SCIP_RETCODE SCIPsetPropInit | ( | SCIP * | scip, |
| SCIP_PROP * | prop ) |
sets initialization method of propagator
| scip | SCIP data structure |
| prop | propagator initialize propagator |
Definition at line 183 of file scip_prop.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPpropSetInit(), and TRUE.
Referenced by SCIPincludePropGenvbounds(), SCIPincludePropProbing(), and SCIPincludePropSync().
| SCIP_RETCODE SCIPsetPropExit | ( | SCIP * | scip, |
| SCIP_PROP * | prop ) |
sets deinitialization method of propagator
| scip | SCIP data structure |
| prop | propagator deinitialize propagator |
Definition at line 199 of file scip_prop.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPpropSetExit(), and TRUE.
Referenced by SCIPincludePropGenvbounds(), SCIPincludePropProbing(), SCIPincludePropSymmetry(), and SCIPincludePropSync().
| SCIP_RETCODE SCIPsetPropInitsol | ( | SCIP * | scip, |
| SCIP_PROP * | prop ) |
sets solving process initialization method of propagator
| scip | SCIP data structure |
| prop | propagator solving process initialization method of propagator |
Definition at line 215 of file scip_prop.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPpropSetInitsol(), and TRUE.
Referenced by SCIPincludePropNlobbt(), SCIPincludePropObbt(), SCIPincludePropProbing(), SCIPincludePropPseudoobj(), and SCIPincludePropRedcost().
| SCIP_RETCODE SCIPsetPropExitsol | ( | SCIP * | scip, |
| SCIP_PROP * | prop ) |
sets solving process deinitialization method of propagator
| scip | SCIP data structure |
| prop | propagator solving process deinitialization method of propagator |
Definition at line 231 of file scip_prop.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPpropSetExitsol(), and TRUE.
Referenced by SCIPincludePropGenvbounds(), SCIPincludePropNlobbt(), SCIPincludePropObbt(), SCIPincludePropPseudoobj(), SCIPincludePropRootredcost(), SCIPincludePropSymmetry(), and SCIPincludePropVbounds().
| SCIP_RETCODE SCIPsetPropInitpre | ( | SCIP * | scip, |
| SCIP_PROP * | prop ) |
sets preprocessing initialization method of propagator
| scip | SCIP data structure |
| prop | propagator preprocessing initialization method of propagator |
Definition at line 247 of file scip_prop.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPpropSetInitpre(), and TRUE.
Referenced by SCIPincludePropGenvbounds(), SCIPincludePropProbing(), SCIPincludePropSymmetry(), and SCIPincludePropVbounds().
| SCIP_RETCODE SCIPsetPropExitpre | ( | SCIP * | scip, |
| SCIP_PROP * | prop ) |
sets preprocessing deinitialization method of propagator
| scip | SCIP data structure |
| prop | propagator preprocessing deinitialization method of propagator |
Definition at line 263 of file scip_prop.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPpropSetExitpre(), and TRUE.
Referenced by SCIPincludePropGenvbounds(), SCIPincludePropProbing(), and SCIPincludePropSymmetry().
| SCIP_RETCODE SCIPsetPropPresol | ( | SCIP * | scip, |
| SCIP_PROP * | prop, | ||
| SCIP_DECL_PROPPRESOL((*proppresol)) | , | ||
| int | presolpriority, | ||
| int | presolmaxrounds, | ||
| SCIP_PRESOLTIMING | presoltiming ) |
sets presolving method of propagator
| 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 assert(), FALSE, NULL, paramname, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIPcheckStage(), SCIPpropGetName(), SCIPpropSetPresol(), SCIPsetSetDefaultIntParam(), SCIPsnprintf(), and TRUE.
Referenced by SCIPincludePropDualfix(), SCIPincludePropGenvbounds(), SCIPincludePropProbing(), SCIPincludePropPseudoobj(), SCIPincludePropSymmetry(), SCIPincludePropSync(), and SCIPincludePropVbounds().
| SCIP_RETCODE SCIPsetPropResprop | ( | SCIP * | scip, |
| SCIP_PROP * | prop ) |
sets propagation conflict resolving callback of propagator
| scip | SCIP data structure |
| prop | propagator propagation conflict resolving callback |
Definition at line 312 of file scip_prop.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPpropSetResprop(), and TRUE.
Referenced by SCIPincludePropGenvbounds(), SCIPincludePropObbt(), SCIPincludePropProbing(), SCIPincludePropPseudoobj(), SCIPincludePropSymmetry(), and SCIPincludePropVbounds().
returns the propagator of the given name, or NULL if not existing
| scip | SCIP data structure |
| name | name of propagator |
Definition at line 329 of file scip_prop.c.
References assert(), NULL, and SCIPsetFindProp().
Referenced by SCIP_DECL_PROPINITSOL(), SCIP_DECL_PROPINITSOL(), SCIPcopyConcurrentSolvingStats(), SCIPcreateConcurrent(), SCIPcreateSymOpNodeType(), SCIPexecPropVbounds(), SCIPfindObjProp(), SCIPgetSymmetry(), SCIPgetSymmetryNGenerators(), SCIPgetSymOpNodeType(), SCIPincludeProp(), SCIPincludePropBasic(), and SCIPisPropagatedVbounds().
returns the array of currently available propagators
| scip | SCIP data structure |
Definition at line 342 of file scip_prop.c.
References assert(), NULL, and SCIPsetSortProps().
Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPcopyConcurrentSolvingStats().
| int SCIPgetNProps | ( | SCIP * | scip | ) |
returns the number of currently available propagators
| scip | SCIP data structure |
Definition at line 355 of file scip_prop.c.
References assert(), and NULL.
Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPcopyConcurrentSolvingStats().
| SCIP_RETCODE SCIPsetPropPriority | ( | SCIP * | scip, |
| SCIP_PROP * | prop, | ||
| int | priority ) |
sets the priority of a propagator
| scip | SCIP data structure |
| prop | propagator |
| priority | new priority of the propagator |
Definition at line 366 of file scip_prop.c.
References assert(), NULL, SCIP_OKAY, and SCIPpropSetPriority().
Referenced by SCIP_DECL_PARAMCHGD().
| SCIP_RETCODE SCIPsetPropPresolPriority | ( | SCIP * | scip, |
| SCIP_PROP * | prop, | ||
| int | presolpriority ) |
sets the presolving priority of a propagator
| scip | SCIP data structure |
| prop | propagator |
| presolpriority | new presol priority of the propagator |
Definition at line 381 of file scip_prop.c.
References assert(), NULL, SCIP_OKAY, and SCIPpropSetPresolPriority().
Referenced by SCIP_DECL_PARAMCHGD().