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 | SCIPincludePropOrbitalfixing (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 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 2775 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 700 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, 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 3200 of file prop_obbt.c.
Referenced by SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludePropOrbitalfixing | ( | SCIP * | scip | ) |
creates the orbitalfixing propagator and includes it in SCIP
| scip | SCIP data structure |
Definition at line 703 of file prop_orbitalfixing.c.
References PROP_DELAY, PROP_DESC, PROP_FREQ, PROP_NAME, PROP_PRIORITY, PROP_TIMING, SCIP_CALL, SCIP_OKAY, SCIPallocBlockMemory, SCIPincludePropBasic(), SCIPincludeTable(), SCIPsetPropExit(), SCIPsetPropFree(), SCIPsetPropInit(), SCIPsetPropInitsol(), SCIPsetPropResprop(), TABLE_DESC_ORBITALFIXING, TABLE_EARLIEST_ORBITALFIXING, TABLE_NAME_ORBITALFIXING, TABLE_POSITION_ORBITALFIXING, and TRUE.
Referenced by SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludePropProbing | ( | SCIP * | scip | ) |
creates the probing propagator and includes it in SCIP
| scip | SCIP data structure |
Definition at line 1117 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 3686 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 702 of file prop_redcost.c.
References DEFAULT_CONTINUOUS, DEFAULT_FORCE, DEFAULT_USEIMPLICS, FALSE, 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 680 of file prop_rootredcost.c.
References DEFAULT_FORCE, DEFAULT_ONLYBINARY, 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 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 3066 of file prop_vbounds.c.
References DEFAULT_DETECTCYCLES, DEFAULT_DOTOPOSORT, DEFAULT_MAXCLIQUESEXHAUSTIVE, DEFAULT_MAXCLIQUESMEDIUM, DEFAULT_MINNEWCLIQUES, DEFAULT_SORTCLIQUES, DEFAULT_USEBDWIDENING, DEFAULT_USECLIQUES, DEFAULT_USEIMPLICS, DEFAULT_USEVBOUNDS, EVENTHDLR_DESC, EVENTHDLR_NAME, FALSE, PROP_DELAY, PROP_DESC, PROP_FREQ, PROP_NAME, PROP_PRESOL_MAXROUNDS, PROP_PRESOL_PRIORITY, PROP_PRESOLTIMING, PROP_PRIORITY, PROP_TIMING, resetPropdata(), SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_REAL_MAX, SCIPaddBoolParam(), SCIPaddRealParam(), SCIPallocBlockMemory, SCIPincludeEventhdlrBasic(), SCIPincludePropBasic(), SCIPisPropagatedVbounds(), SCIPsetPropCopy(), SCIPsetPropExitsol(), SCIPsetPropFree(), SCIPsetPropInitpre(), SCIPsetPropPresol(), SCIPsetPropResprop(), and TRUE.
Referenced by 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 3132 of file prop_vbounds.c.
References PROP_NAME, SCIP_Bool, SCIPexecPropVbounds(), SCIPfindProp(), SCIPpqueueNElems(), and SCIPpropGetData().
Referenced by SCIPincludePropVbounds().
| 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 3149 of file prop_vbounds.c.
References PROP_NAME, propagateVbounds(), SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_OKAY, SCIP_REDUCEDDOM, and SCIPfindProp().
Referenced by SCIPisPropagatedVbounds().