SCIP
Solving Constraint Integer Programs
Inclusion methods
Detailed Description
methods to include specific propagators into SCIP
This module contains methods to include specific propagators into SCIP.
- Note
- All default plugins can be included at once (including all default propagators) using SCIPincludeDefaultPlugins()
Functions | |
| SCIP_EXPORT SCIP_RETCODE | SCIPincludePropDualfix (SCIP *scip) |
| SCIP_EXPORT SCIP_RETCODE | SCIPincludePropGenvbounds (SCIP *scip) |
| SCIP_EXPORT SCIP_RETCODE | SCIPincludePropNlobbt (SCIP *scip) |
| SCIP_EXPORT SCIP_RETCODE | SCIPincludePropObbt (SCIP *scip) |
| SCIP_EXPORT SCIP_RETCODE | SCIPincludePropOrbitalfixing (SCIP *scip) |
| SCIP_EXPORT SCIP_RETCODE | SCIPincludePropProbing (SCIP *scip) |
| SCIP_EXPORT SCIP_RETCODE | SCIPincludePropPseudoobj (SCIP *scip) |
| SCIP_EXPORT SCIP_RETCODE | SCIPincludePropRedcost (SCIP *scip) |
| SCIP_EXPORT SCIP_RETCODE | SCIPincludePropRootredcost (SCIP *scip) |
| SCIP_EXPORT SCIP_RETCODE | SCIPincludePropSync (SCIP *scip) |
| SCIP_EXPORT SCIP_RETCODE | SCIPincludePropVbounds (SCIP *scip) |
Interface methods | |
| SCIP_Bool | SCIPisPropagatedVbounds (SCIP *scip) |
| SCIP_RETCODE | SCIPexecPropVbounds (SCIP *scip, SCIP_Bool force, SCIP_RESULT *result) |
Function Documentation
◆ SCIPincludePropDualfix()
| SCIP_EXPORT SCIP_RETCODE SCIPincludePropDualfix | ( | SCIP * | scip | ) |
creates the dual fixing propagator and includes it in SCIP
- Parameters
-
scip SCIP data structure
Definition at line 317 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().
◆ SCIPincludePropGenvbounds()
| SCIP_EXPORT SCIP_RETCODE SCIPincludePropGenvbounds | ( | SCIP * | scip | ) |
creates the genvbounds propagator and includes it in SCIP
- Parameters
-
scip SCIP data structure
Definition at line 2796 of file prop_genvbounds.c.
Referenced by SCIPincludeDefaultPlugins().
◆ SCIPincludePropNlobbt()
| SCIP_EXPORT SCIP_RETCODE SCIPincludePropNlobbt | ( | SCIP * | scip | ) |
creates the nlobbt propagator and includes it in SCIP
- Parameters
-
scip SCIP data structure
Definition at line 723 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().
◆ SCIPincludePropObbt()
| SCIP_EXPORT SCIP_RETCODE SCIPincludePropObbt | ( | SCIP * | scip | ) |
creates the obbt propagator and includes it in SCIP
- Parameters
-
scip SCIP data structure
Definition at line 3179 of file prop_obbt.c.
Referenced by SCIPincludeDefaultPlugins().
◆ SCIPincludePropOrbitalfixing()
| SCIP_EXPORT SCIP_RETCODE SCIPincludePropOrbitalfixing | ( | SCIP * | scip | ) |
creates the orbitalfixing propagator and includes it in SCIP
- Parameters
-
scip SCIP data structure
Definition at line 840 of file prop_orbitalfixing.c.
References DEFAULT_ENABLEDAFTERRESTARTS, DEFAULT_PERFORMPRESOLVING, DEFAULT_SYMCOMPTIMING, 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, SCIPaddBoolParam(), SCIPaddIntParam(), SCIPallocBlockMemory, SCIPincludePropBasic(), SCIPincludeTable(), SCIPsetPropExit(), SCIPsetPropFree(), SCIPsetPropInit(), SCIPsetPropInitpre(), SCIPsetPropPresol(), SCIPsetPropResprop(), TABLE_DESC_ORBITALFIXING, TABLE_EARLIEST_ORBITALFIXING, TABLE_NAME_ORBITALFIXING, TABLE_POSITION_ORBITALFIXING, and TRUE.
Referenced by SCIP_DECL_PROPRESPROP(), and SCIPincludeDefaultPlugins().
◆ SCIPincludePropProbing()
| SCIP_EXPORT SCIP_RETCODE SCIPincludePropProbing | ( | SCIP * | scip | ) |
creates the probing propagator and includes it in SCIP
- Parameters
-
scip SCIP data structure
Definition at line 1134 of file prop_probing.c.
Referenced by SCIPincludeDefaultPlugins().
◆ SCIPincludePropPseudoobj()
| SCIP_EXPORT SCIP_RETCODE SCIPincludePropPseudoobj | ( | SCIP * | scip | ) |
creates the pseudo objective function propagator and includes it in SCIP
- Parameters
-
scip SCIP data structure
Definition at line 3704 of file prop_pseudoobj.c.
Referenced by SCIPincludeDefaultPlugins().
◆ SCIPincludePropRedcost()
| SCIP_EXPORT SCIP_RETCODE SCIPincludePropRedcost | ( | SCIP * | scip | ) |
creates the redcost propagator and includes it in SCIP
- Parameters
-
scip SCIP data structure
Definition at line 718 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().
◆ SCIPincludePropRootredcost()
| SCIP_EXPORT SCIP_RETCODE SCIPincludePropRootredcost | ( | SCIP * | scip | ) |
creates the root node reduced cost strengthening propagator and includes it in SCIP
- Parameters
-
scip SCIP data structure
Definition at line 695 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().
◆ SCIPincludePropSync()
| SCIP_EXPORT SCIP_RETCODE SCIPincludePropSync | ( | SCIP * | scip | ) |
creates the sync propagator and includes it in SCIP
- Parameters
-
scip SCIP data structure
Definition at line 278 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().
◆ SCIPincludePropVbounds()
| SCIP_EXPORT SCIP_RETCODE SCIPincludePropVbounds | ( | SCIP * | scip | ) |
creates the vbounds propagator and includes it in SCIP
- Parameters
-
scip SCIP data structure
Definition at line 3077 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, NULL, 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().
◆ SCIPisPropagatedVbounds()
returns TRUE if the propagator has the status that all variable lower and upper bounds are propgated
- Parameters
-
scip SCIP data structure
Definition at line 3143 of file prop_vbounds.c.
References NULL, PROP_NAME, SCIP_Bool, SCIPexecPropVbounds(), SCIPfindProp(), SCIPpqueueNElems(), and SCIPpropGetData().
Referenced by SCIPincludePropVbounds().
◆ SCIPexecPropVbounds()
| SCIP_RETCODE SCIPexecPropVbounds | ( | SCIP * | scip, |
| SCIP_Bool | force, | ||
| SCIP_RESULT * | result | ||
| ) |
performs propagation of variables lower and upper bounds
- Parameters
-
scip SCIP data structure force should domain changes for continuous variables be forced result pointer to store result
Definition at line 3160 of file prop_vbounds.c.
References NULL, PROP_NAME, propagateVbounds(), SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_OKAY, SCIP_REDUCEDDOM, and SCIPfindProp().
Referenced by SCIPisPropagatedVbounds().