SCIP
Solving Constraint Integer Programs
Solving Constraint Integer Programs
methods to include specific propagators into SCIP
This module contains methods to include specific propagators into SCIP.
Functions | |
| SCIP_RETCODE | SCIPincludePropDualfix (SCIP *scip) |
| SCIP_RETCODE | SCIPincludePropGenvbounds (SCIP *scip) |
| SCIP_RETCODE | SCIPincludePropNlobbt (SCIP *scip) |
| SCIP_RETCODE | SCIPincludePropObbt (SCIP *scip) |
| SCIP_RETCODE | SCIPincludePropProbing (SCIP *scip) |
| SCIP_RETCODE | SCIPincludePropPseudoobj (SCIP *scip) |
| SCIP_RETCODE | SCIPincludePropRedcost (SCIP *scip) |
| SCIP_RETCODE | SCIPincludePropRootredcost (SCIP *scip) |
| SCIP_RETCODE | SCIPincludePropSync (SCIP *scip) |
| SCIP_RETCODE | SCIPincludePropVbounds (SCIP *scip) |
Interface methods | |
| SCIP_Bool | SCIPisPropagatedVbounds (SCIP *scip) |
| SCIP_RETCODE | SCIPexecPropVbounds (SCIP *scip, SCIP_Bool force, SCIP_RESULT *result) |
| SCIP_RETCODE SCIPincludePropDualfix | ( | SCIP * | scip | ) |
creates the dual fixing propagator and includes it in SCIP
| scip | SCIP data structure |
Definition at line 309 of file prop_dualfix.c.
References NULL, PROP_DELAY, PROP_DESC, PROP_FREQ, PROP_NAME, PROP_PRESOL_MAXROUNDS, PROP_PRESOL_PRIORITY, PROP_PRESOLTIMING, PROP_PRIORITY, PROP_TIMING, SCIP_CALL, SCIP_OKAY, SCIPincludePropBasic(), SCIPsetPropCopy(), and SCIPsetPropPresol().
Referenced by SCIP_DECL_PROPCOPY(), SCIP_DECL_PROPEXEC(), and SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludePropGenvbounds | ( | SCIP * | scip | ) |
creates the genvbounds propagator and includes it in SCIP
| scip | SCIP data structure |
Definition at line 2708 of file prop_genvbounds.c.
Referenced by SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludePropNlobbt | ( | SCIP * | scip | ) |
creates the nlobbt propagator and includes it in SCIP
| scip | SCIP data structure |
Definition at line 702 of file prop_nlobbt.c.
References BMSclearMemory, DEFAULT_ADDLPROWS, DEFAULT_FEASTOLFAC, DEFAULT_ITLIMITFACTOR, DEFAULT_MINLINEARFRAC, DEFAULT_MINNONCONVEXFRAC, DEFAULT_NLPITERLIMIT, DEFAULT_NLPTIMELIMIT, DEFAULT_NLPVERLEVEL, DEFAULT_RELOBJTOLFAC, FALSE, NULL, PROP_DELAY, PROP_DESC, PROP_FREQ, PROP_NAME, PROP_PRIORITY, PROP_TIMING, SCIP_CALL, SCIP_OKAY, SCIP_REAL_MAX, SCIPaddBoolParam(), SCIPaddIntParam(), SCIPaddRealParam(), SCIPallocBlockMemory, SCIPincludePropBasic(), SCIPinfinity(), SCIPsetPropExitsol(), SCIPsetPropFree(), SCIPsetPropInitsol(), and TRUE.
Referenced by SCIP_DECL_PROPEXEC(), and SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludePropObbt | ( | SCIP * | scip | ) |
creates the obbt propagator and includes it in SCIP
| scip | SCIP data structure |
Definition at line 2497 of file prop_obbt.c.
Referenced by SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludePropProbing | ( | SCIP * | scip | ) |
creates the probing propagator and includes it in SCIP
| scip | SCIP data structure |
Definition at line 1113 of file prop_probing.c.
Referenced by SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludePropPseudoobj | ( | SCIP * | scip | ) |
creates the pseudo objective function propagator and includes it in SCIP
| scip | SCIP data structure |
Definition at line 3683 of file prop_pseudoobj.c.
Referenced by SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludePropRedcost | ( | SCIP * | scip | ) |
creates the redcost propagator and includes it in SCIP
| scip | SCIP data structure |
Definition at line 636 of file prop_redcost.c.
References DEFAULT_CONTINUOUS, DEFAULT_FORCE, DEFAULT_USEIMPLICS, FALSE, NULL, PROP_DELAY, PROP_DESC, PROP_FREQ, PROP_NAME, PROP_PRIORITY, PROP_TIMING, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPallocBlockMemory, SCIPincludePropBasic(), SCIPsetPropCopy(), SCIPsetPropFree(), SCIPsetPropInitsol(), and TRUE.
Referenced by SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludePropRootredcost | ( | SCIP * | scip | ) |
creates the root node reduced cost strengthening propagator and includes it in SCIP
| scip | SCIP data structure |
Definition at line 674 of file prop_rootredcost.c.
References DEFAULT_FORCE, DEFAULT_ONLYBINARY, NULL, PROP_DELAY, PROP_DESC, PROP_FREQ, PROP_NAME, PROP_PRIORITY, PROP_TIMING, propdataCreate(), SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPincludePropBasic(), SCIPsetPropCopy(), SCIPsetPropExitsol(), SCIPsetPropFree(), and TRUE.
Referenced by SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludePropSync | ( | SCIP * | scip | ) |
creates the sync propagator and includes it in SCIP
| scip | SCIP data structure |
Definition at line 270 of file prop_sync.c.
References NULL, PROP_DELAY, PROP_DESC, PROP_FREQ, PROP_NAME, PROP_PRESOL_MAXROUNDS, PROP_PRESOL_PRIORITY, PROP_PRESOLTIMING, PROP_PRIORITY, PROP_TIMING, SCIP_CALL, SCIP_OKAY, SCIPallocMemory, SCIPincludePropBasic(), SCIPpropSyncAddBndchg(), SCIPsetPropExit(), SCIPsetPropFree(), SCIPsetPropInit(), and SCIPsetPropPresol().
Referenced by SCIP_DECL_PROPEXEC(), and SCIPcreateConcurrent().
| SCIP_RETCODE SCIPincludePropVbounds | ( | SCIP * | scip | ) |
creates the vbounds propagator and includes it in SCIP
| scip | SCIP data structure |
Definition at line 2251 of file prop_vbounds.c.
References DEFAULT_DETECTCYCLES, DEFAULT_DOTOPOSORT, DEFAULT_SORTCLIQUES, DEFAULT_USEBDWIDENING, DEFAULT_USECLIQUES, DEFAULT_USEIMPLICS, DEFAULT_USEVBOUNDS, EVENTHDLR_DESC, EVENTHDLR_NAME, FALSE, NULL, PROP_DELAY, PROP_DESC, PROP_FREQ, PROP_NAME, PROP_PRIORITY, PROP_TIMING, resetPropdata(), SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPallocBlockMemory, SCIPincludeEventhdlrBasic(), SCIPincludePropBasic(), SCIPsetPropCopy(), SCIPsetPropExitsol(), SCIPsetPropFree(), SCIPsetPropResprop(), and TRUE.
Referenced by SCIP_DECL_PROPCOPY(), and SCIPincludeDefaultPlugins().
returns TRUE if the propagator has the status that all variable lower and upper bounds are propgated
| scip | SCIP data structure |
Definition at line 2305 of file prop_vbounds.c.
References NULL, PROP_NAME, SCIPfindProp(), SCIPpqueueNElems(), and SCIPpropGetData().
| SCIP_RETCODE SCIPexecPropVbounds | ( | SCIP * | scip, |
| SCIP_Bool | force, | ||
| SCIP_RESULT * | result | ||
| ) |
performs propagation of variables lower and upper bounds
| scip | SCIP data structure |
| force | should domain changes for continuous variables be forced |
| result | pointer to store result |
Definition at line 2322 of file prop_vbounds.c.
References NULL, PROP_NAME, propagateVbounds(), SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_OKAY, SCIP_REDUCEDDOM, and SCIPfindProp().