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 54 of file prop.c.
References SCIPpropGetName().
SCIP_PROPDATA* SCIPpropGetData | ( | SCIP_PROP * | prop | ) |
gets user data of propagator
prop | propagator |
Definition at line 735 of file prop.c.
References SCIP_Prop::propdata.
Referenced by 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(), SCIPisPropagatedVbounds(), SCIPpropSyncAddBndchg(), SCIPpropSyncGetNTightenedBnds(), and SCIPpropSyncGetNTightenedIntBnds().
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 745 of file prop.c.
References SCIP_Prop::propdata.
Referenced by SCIP_DECL_PROPFREE().
const char* SCIPpropGetName | ( | SCIP_PROP * | prop | ) |
gets name of propagator
prop | propagator |
Definition at line 887 of file prop.c.
References SCIP_Prop::name.
Referenced by applyProbing(), conflictAddBound(), conflictResolveBound(), paramsetSetPresolvingDefault(), paramsetSetPresolvingOff(), presolveRound(), propagationRound(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_PROPCOPY(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXIT(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPINIT(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_SORTPTRCOMP(), SCIPboundchgApply(), SCIPcopyConcurrentSolvingStats(), SCIPgenVBoundAdd(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), SCIPprintPresolverStatistics(), SCIPprintPropagatorStatistics(), SCIPpropCopyInclude(), SCIPpropSyncAddBndchg(), SCIPsetFindSepa(), SCIPsetPropPresol(), varAddLbchginfo(), and varAddUbchginfo().
const char* SCIPpropGetDesc | ( | SCIP_PROP * | prop | ) |
gets description of propagator
prop | propagator |
Definition at line 897 of file prop.c.
References SCIP_Prop::desc.
Referenced by SCIP_DECL_DIALOGEXEC().
int SCIPpropGetPriority | ( | SCIP_PROP * | prop | ) |
gets priority of propagator
prop | propagator |
Definition at line 907 of file prop.c.
References 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 917 of file prop.c.
References SCIP_Prop::presolpriority.
Referenced by presolveRound(), and SCIP_DECL_DIALOGEXEC().
int SCIPpropGetFreq | ( | SCIP_PROP * | prop | ) |
gets frequency of propagator
prop | propagator |
Definition at line 955 of file prop.c.
References SCIP_Prop::freq.
Referenced by SCIP_DECL_DIALOGEXEC().
gets time in seconds used for setting up this propagator for new stages
prop | propagator |
Definition at line 980 of file prop.c.
References 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 990 of file prop.c.
References SCIP_Prop::freq.
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 1002 of file prop.c.
References SCIP_Prop::proptime, and SCIPclockGetTime().
Referenced by 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 1012 of file prop.c.
References SCIP_Prop::sbproptime, and SCIPclockGetTime().
Referenced by SCIPprintPropagatorStatistics().
gets time in seconds used in this propagator for resolve propagation
prop | propagator |
Definition at line 1022 of file prop.c.
References SCIP_Prop::resproptime, and SCIPclockGetTime().
Referenced by SCIPprintPropagatorStatistics().
gets time in seconds used in this propagator for presolving
prop | propagator |
Definition at line 1032 of file prop.c.
References 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 1042 of file prop.c.
References SCIP_Prop::ncalls.
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 1052 of file prop.c.
References SCIP_Prop::nrespropcalls.
Referenced by SCIPprintPropagatorStatistics().
SCIP_Longint SCIPpropGetNCutoffs | ( | SCIP_PROP * | prop | ) |
gets total number of times, this propagator detected a cutoff
prop | propagator |
Definition at line 1062 of file prop.c.
References SCIP_Prop::ncutoffs.
Referenced by SCIPprintPropagatorStatistics().
SCIP_Longint SCIPpropGetNDomredsFound | ( | SCIP_PROP * | prop | ) |
gets total number of domain reductions found by this propagator
prop | propagator |
Definition at line 1072 of file prop.c.
References SCIP_Prop::ndomredsfound.
Referenced by SCIPprintPropagatorStatistics().
should propagator be delayed, if other propagators found reductions?
prop | propagator |
Definition at line 1082 of file prop.c.
References SCIP_Prop::delay.
Referenced by SCIP_DECL_DIALOGEXEC().
was propagator delayed at the last call?
prop | propagator |
Definition at line 1092 of file prop.c.
References SCIP_Prop::wasdelayed.
Referenced by propagationRound().
is propagator initialized?
prop | propagator |
Definition at line 1102 of file prop.c.
References SCIP_Prop::initialized.
Referenced by SCIPsetIncludeSepa().
int SCIPpropGetNFixedVars | ( | SCIP_PROP * | prop | ) |
gets number of variables fixed during presolving of propagator
prop | propagator |
Definition at line 1112 of file prop.c.
References SCIP_Prop::nfixedvars.
Referenced by SCIPprintPresolverStatistics().
int SCIPpropGetNAggrVars | ( | SCIP_PROP * | prop | ) |
gets number of variables aggregated during presolving of propagator
prop | propagator |
Definition at line 1122 of file prop.c.
References SCIP_Prop::naggrvars.
Referenced by SCIPprintPresolverStatistics().
int SCIPpropGetNChgVarTypes | ( | SCIP_PROP * | prop | ) |
gets number of variable types changed during presolving of propagator
prop | propagator |
Definition at line 1132 of file prop.c.
References SCIP_Prop::nchgvartypes.
Referenced by SCIPprintPresolverStatistics().
int SCIPpropGetNChgBds | ( | SCIP_PROP * | prop | ) |
gets number of bounds changed during presolving of propagator
prop | propagator |
Definition at line 1142 of file prop.c.
References SCIP_Prop::nchgbds.
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 1152 of file prop.c.
References SCIP_Prop::naddholes.
Referenced by SCIPprintPresolverStatistics().
int SCIPpropGetNDelConss | ( | SCIP_PROP * | prop | ) |
gets number of constraints deleted during presolving of propagator
prop | propagator |
Definition at line 1162 of file prop.c.
References SCIP_Prop::ndelconss.
Referenced by SCIPprintPresolverStatistics().
int SCIPpropGetNAddConss | ( | SCIP_PROP * | prop | ) |
gets number of constraints added during presolving of propagator
prop | propagator |
Definition at line 1172 of file prop.c.
References SCIP_Prop::naddconss.
Referenced by SCIPprintPresolverStatistics().
int SCIPpropGetNUpgdConss | ( | SCIP_PROP * | prop | ) |
gets number of constraints upgraded during presolving of propagator
prop | propagator |
Definition at line 1182 of file prop.c.
References SCIP_Prop::nupgdconss.
int SCIPpropGetNChgCoefs | ( | SCIP_PROP * | prop | ) |
gets number of coefficients changed during presolving of propagator
prop | propagator |
Definition at line 1192 of file prop.c.
References SCIP_Prop::nchgcoefs.
Referenced by SCIPprintPresolverStatistics().
int SCIPpropGetNChgSides | ( | SCIP_PROP * | prop | ) |
gets number of constraint sides changed during presolving of propagator
prop | propagator |
Definition at line 1202 of file prop.c.
References SCIP_Prop::nchgsides.
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 1212 of file prop.c.
References SCIP_Prop::npresolcalls.
Referenced by SCIPprintPresolverStatistics().
SCIP_PROPTIMING SCIPpropGetTimingmask | ( | SCIP_PROP * | prop | ) |
returns the timing mask of the propagator
prop | propagator |
Definition at line 1222 of file prop.c.
References SCIP_Prop::timingmask.
Referenced by propagationRound().
does the propagator perform presolving?
prop | propagator |
Definition at line 1232 of file prop.c.
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 1242 of file prop.c.
References 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 1252 of file prop.c.
References 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 7605 of file scip.c.
References checkStage(), FALSE, Scip::mem, Scip::messagehdlr, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIPerrorMessage, SCIPfindProp(), SCIPpropCreate(), SCIPsetIncludeProp(), Scip::set, SCIP_Mem::setmem, 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 7658 of file scip.c.
References checkStage(), FALSE, Scip::mem, Scip::messagehdlr, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_PRESOLTIMING_ALWAYS, SCIPerrorMessage, SCIPfindProp(), SCIPpropCreate(), SCIPsetIncludeProp(), Scip::set, SCIP_Mem::setmem, and TRUE.
Referenced by SCIPincludePropDualfix(), SCIPincludePropNlobbt(), SCIPincludePropOrbitalfixing(), SCIPincludePropRedcost(), SCIPincludePropRootredcost(), SCIPincludePropSync(), and SCIPincludePropVbounds().
SCIP_RETCODE SCIPsetPropCopy | ( | SCIP * | scip, |
SCIP_PROP * | prop, | ||
SCIP_DECL_PROPCOPY((*propcopy)) | |||
) |
sets copy method of propagator
scip | SCIP data structure |
prop | propagator |
Definition at line 7695 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPpropSetCopy(), and TRUE.
Referenced by SCIPincludePropDualfix(), SCIPincludePropRedcost(), SCIPincludePropRootredcost(), and SCIPincludePropVbounds().
SCIP_RETCODE SCIPsetPropFree | ( | SCIP * | scip, |
SCIP_PROP * | prop, | ||
SCIP_DECL_PROPFREE((*propfree)) | |||
) |
sets destructor method of propagator
scip | SCIP data structure |
prop | propagator |
Definition at line 7711 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPpropSetFree(), and TRUE.
Referenced by SCIPincludePropNlobbt(), SCIPincludePropOrbitalfixing(), SCIPincludePropRedcost(), SCIPincludePropRootredcost(), SCIPincludePropSync(), and SCIPincludePropVbounds().
SCIP_RETCODE SCIPsetPropInit | ( | SCIP * | scip, |
SCIP_PROP * | prop, | ||
SCIP_DECL_PROPINIT((*propinit)) | |||
) |
sets initialization method of propagator
scip | SCIP data structure |
prop | propagator |
Definition at line 7727 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPpropSetInit(), and TRUE.
Referenced by SCIPincludePropOrbitalfixing(), and SCIPincludePropSync().
SCIP_RETCODE SCIPsetPropExit | ( | SCIP * | scip, |
SCIP_PROP * | prop, | ||
SCIP_DECL_PROPEXIT((*propexit)) | |||
) |
sets deinitialization method of propagator
scip | SCIP data structure |
prop | propagator |
Definition at line 7743 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPpropSetExit(), and TRUE.
Referenced by SCIPincludePropOrbitalfixing(), and SCIPincludePropSync().
SCIP_RETCODE SCIPsetPropInitsol | ( | SCIP * | scip, |
SCIP_PROP * | prop, | ||
SCIP_DECL_PROPINITSOL((*propinitsol)) | |||
) |
sets solving process initialization method of propagator
scip | SCIP data structure |
prop | propagator |
Definition at line 7759 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPpropSetInitsol(), and TRUE.
Referenced by SCIPincludePropNlobbt(), SCIPincludePropOrbitalfixing(), and SCIPincludePropRedcost().
SCIP_RETCODE SCIPsetPropExitsol | ( | SCIP * | scip, |
SCIP_PROP * | prop, | ||
SCIP_DECL_PROPEXITSOL((*propexitsol)) | |||
) |
sets solving process deinitialization method of propagator
scip | SCIP data structure |
prop | propagator |
Definition at line 7775 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPpropSetExitsol(), and TRUE.
Referenced by SCIPincludePropNlobbt(), SCIPincludePropRootredcost(), and SCIPincludePropVbounds().
SCIP_RETCODE SCIPsetPropInitpre | ( | SCIP * | scip, |
SCIP_PROP * | prop, | ||
SCIP_DECL_PROPINITPRE((*propinitpre)) | |||
) |
sets preprocessing initialization method of propagator
scip | SCIP data structure |
prop | propagator |
Definition at line 7791 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPpropSetInitpre(), and TRUE.
Referenced by SCIPincludePropVbounds().
SCIP_RETCODE SCIPsetPropExitpre | ( | SCIP * | scip, |
SCIP_PROP * | prop, | ||
SCIP_DECL_PROPEXITPRE((*propexitpre)) | |||
) |
sets preprocessing deinitialization method of propagator
scip | SCIP data structure |
prop | propagator |
Definition at line 7807 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPpropSetExitpre(), and TRUE.
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 7823 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIPpropGetName(), SCIPpropSetPresol(), SCIPsetSetDefaultIntParam(), SCIPsnprintf(), Scip::set, and TRUE.
Referenced by SCIPincludePropDualfix(), SCIPincludePropSync(), and SCIPincludePropVbounds().
SCIP_RETCODE SCIPsetPropResprop | ( | SCIP * | scip, |
SCIP_PROP * | prop, | ||
SCIP_DECL_PROPRESPROP((*propresprop)) | |||
) |
sets propagation conflict resolving callback of propagator
scip | SCIP data structure |
prop | propagator |
Definition at line 7856 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPpropSetResprop(), and TRUE.
Referenced by SCIPincludePropOrbitalfixing(), 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 7873 of file scip.c.
References SCIPsetFindProp(), and Scip::set.
Referenced by SCIP_DECL_PROPINITSOL(), SCIPcopyConcurrentSolvingStats(), SCIPcreateConcurrent(), SCIPexecPropVbounds(), SCIPfindObjProp(), SCIPincludeProp(), SCIPincludePropBasic(), and SCIPisPropagatedVbounds().
returns the array of currently available propagators
scip | SCIP data structure |
Definition at line 7886 of file scip.c.
References SCIP_Set::props, SCIPsetSortProps(), and Scip::set.
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 7899 of file scip.c.
References SCIP_Set::nprops, and Scip::set.
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 7910 of file scip.c.
References SCIP_OKAY, SCIPpropSetPriority(), and Scip::set.
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 7925 of file scip.c.
References SCIP_OKAY, SCIPpropSetPresolPriority(), and Scip::set.
Referenced by SCIP_DECL_PARAMCHGD().