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_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, SCIP_Real, 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, SCIP_Real, 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, SCIP_Real, 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, SCIP_Real, 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, SCIP_Real, 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, NULL, and SCIP_Longint.
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, NULL, and SCIP_Longint.
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, NULL, and SCIP_Longint.
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, NULL, and SCIP_Longint.
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, NULL, and SCIP_Bool.
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, SCIP_Bool, and SCIP_Prop::wasdelayed.
Referenced by propagationRound().
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().
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.
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 66 of file scip_prop.c.
References FALSE, NULL, SCIP_Bool, SCIP_CALL, 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, 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().
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 118 of file scip_prop.c.
References FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_DECL_PROPEXEC, 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 155 of file scip_prop.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_DECL_PROPCOPY, SCIP_OKAY, SCIPcheckStage(), SCIPpropSetCopy(), and TRUE.
Referenced by SCIPincludePropDualfix(), SCIPincludePropGenvbounds(), SCIPincludePropNlobbt(), 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 171 of file scip_prop.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_DECL_PROPFREE, 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 187 of file scip_prop.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_DECL_PROPINIT, 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 203 of file scip_prop.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_DECL_PROPEXIT, 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 219 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 235 of file scip_prop.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_DECL_PROPEXITSOL, 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 251 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 267 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 283 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 316 of file scip_prop.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_DECL_PROPRESPROP, 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 333 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 346 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 359 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 370 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 385 of file scip_prop.c.
References assert(), NULL, SCIP_OKAY, and SCIPpropSetPresolPriority().
Referenced by SCIP_DECL_PARAMCHGD().