SCIP

    Solving Constraint Integer Programs

    Functions
    Inclusion functions
    Public API of SCIP » Plugin API of SCIP » Propagators

    Detailed Description

    functions to include specific propagators into SCIP

    This module contains functions to include specific propagators into SCIP.

    Note
    All default plugins can be included at once (including all default propagators) using SCIPincludeDefaultPlugins()

    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)
     

    Function Documentation

    ◆ SCIPincludePropDualfix()

    SCIP_RETCODE SCIPincludePropDualfix ( SCIP *  scip)

    creates the dual fixing propagator and includes it in SCIP

    Parameters
    scipSCIP data structure

    Definition at line 338 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(), and SCIPincludeDefaultPlugins().

    ◆ SCIPincludePropGenvbounds()

    SCIP_RETCODE SCIPincludePropGenvbounds ( SCIP *  scip)

    creates the genvbounds propagator and includes it in SCIP

    Parameters
    scipSCIP data structure

    Definition at line 2905 of file prop_genvbounds.c.

    References DEFAULT_GLOBAL_PROPAGATION, DEFAULT_PROPAGATE_IN_ROOT_NODE, DEFAULT_PROPASCONSS, DEFAULT_SORT, EVENTHDLR_DESC, EVENTHDLR_NAME, 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(), SCIPallocBlockMemory, SCIPincludeEventhdlrBasic(), SCIPincludePropBasic(), SCIPsetPropCopy(), SCIPsetPropExit(), SCIPsetPropExitpre(), SCIPsetPropExitsol(), SCIPsetPropFree(), SCIPsetPropInit(), SCIPsetPropInitpre(), SCIPsetPropPresol(), SCIPsetPropResprop(), and TRUE.

    Referenced by SCIP_DECL_PROPCOPY(), and SCIPincludeDefaultPlugins().

    ◆ SCIPincludePropNlobbt()

    SCIP_RETCODE SCIPincludePropNlobbt ( SCIP *  scip)

    creates the nlobbt propagator and includes it in SCIP

    Parameters
    scipSCIP data structure

    Definition at line 738 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(), SCIPsetPropCopy(), SCIPsetPropExitsol(), SCIPsetPropFree(), SCIPsetPropInitsol(), and TRUE.

    Referenced by SCIP_DECL_PROPCOPY(), and SCIPincludeDefaultPlugins().

    ◆ SCIPincludePropObbt()

    SCIP_RETCODE SCIPincludePropObbt ( SCIP *  scip)

    creates the obbt propagator and includes it in SCIP

    Parameters
    scipSCIP data structure

    Definition at line 3324 of file prop_obbt.c.

    References BMSclearMemory, DEFAULT_APPLY_FILTERROUNDS, DEFAULT_APPLY_TRIVIALFITLERING, DEFAULT_BOUNDSTREPS, DEFAULT_CONDITIONLIMIT, DEFAULT_CREATE_BILININEQS, DEFAULT_CREATE_GENVBOUNDS, DEFAULT_CREATE_LINCONS, DEFAULT_DUALFEASTOL, DEFAULT_FILTERING_MIN, DEFAULT_FILTERING_NORM, DEFAULT_GENVBDSDURINGFILTER, DEFAULT_GENVBDSDURINGSEPA, DEFAULT_INDICATORS, DEFAULT_INDICATORTHRESHOLD, DEFAULT_ITLIMITFAC_BILININEQS, DEFAULT_ITLIMITFACTOR, DEFAULT_MINITLIMIT, DEFAULT_MINNONCONVEXITY, DEFAULT_ONLYNONCONVEXVARS, DEFAULT_ORDERINGALGO, DEFAULT_PROPAGATEFREQ, DEFAULT_SEPAMAXITER, DEFAULT_SEPAMINITER, DEFAULT_SEPARATESOL, DEFAULT_TIGHTCONTBOUNDSPROBING, DEFAULT_TIGHTINTBOUNDSPROBING, FALSE, NULL, PROP_DELAY, PROP_DESC, PROP_FREQ, PROP_NAME, PROP_PRIORITY, PROP_TIMING, SCIP_CALL, SCIP_LONGINT_MAX, SCIP_OKAY, SCIP_REAL_MAX, SCIP_REAL_MIN, SCIPaddBoolParam(), SCIPaddIntParam(), SCIPaddLongintParam(), SCIPaddRealParam(), SCIPallocBlockMemory, SCIPincludePropBasic(), SCIPsetPropCopy(), SCIPsetPropExitsol(), SCIPsetPropFree(), SCIPsetPropInitsol(), SCIPsetPropResprop(), and TRUE.

    Referenced by SCIP_DECL_PROPCOPY(), and SCIPincludeDefaultPlugins().

    ◆ SCIPincludePropProbing()

    SCIP_RETCODE SCIPincludePropProbing ( SCIP *  scip)

    creates the probing propagator and includes it in SCIP

    Parameters
    scipSCIP data structure

    Definition at line 1139 of file prop_probing.c.

    References DEFAULT_MAXDEPTH, DEFAULT_MAXFIXINGS, DEFAULT_MAXRUNS, DEFAULT_MAXSUMUSELESS, DEFAULT_MAXTOTALUSELESS, DEFAULT_MAXUSELESS, DEFAULT_PROPROUNDS, FALSE, initPropdata(), 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, SCIPaddIntParam(), SCIPallocBlockMemory, SCIPincludePropBasic(), SCIPsetPropCopy(), SCIPsetPropExit(), SCIPsetPropExitpre(), SCIPsetPropFree(), SCIPsetPropInit(), SCIPsetPropInitpre(), SCIPsetPropInitsol(), SCIPsetPropPresol(), SCIPsetPropResprop(), and TRUE.

    Referenced by SCIP_DECL_PROPCOPY(), and SCIPincludeDefaultPlugins().

    ◆ SCIPincludePropPseudoobj()

    SCIP_RETCODE SCIPincludePropPseudoobj ( SCIP *  scip)

    creates the pseudo objective function propagator and includes it in SCIP

    Parameters
    scipSCIP data structure

    Definition at line 3724 of file prop_pseudoobj.c.

    References DEFAULT_FORCE, DEFAULT_MAXIMPLVARS, DEFAULT_MAXNEWVARS, DEFAULT_MAXVARSFRAC, DEFAULT_MINUSELESS, DEFAULT_PROPCUTOFFBOUND, DEFAULT_PROPFULLINROOT, DEFAULT_PROPUSEIMPLICS, DEFAULT_RESPROPUSEIMPLICS, EVENTHDLR_DESC, EVENTHDLR_NAME, NULL, PROP_DELAY, PROP_DESC, PROP_FREQ, PROP_NAME, PROP_PRESOL_MAXROUNDS, PROP_PRESOL_PRIORITY, PROP_PRESOLTIMING, PROP_PRIORITY, PROP_TIMING, propdataReset(), SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPaddBoolParam(), SCIPaddIntParam(), SCIPaddRealParam(), SCIPallocBlockMemory, SCIPerrorMessage, SCIPincludeEventhdlrBasic(), SCIPincludePropBasic(), SCIPsetPropCopy(), SCIPsetPropExitsol(), SCIPsetPropFree(), SCIPsetPropInitsol(), SCIPsetPropPresol(), SCIPsetPropResprop(), and TRUE.

    Referenced by SCIP_DECL_PROPCOPY(), and SCIPincludeDefaultPlugins().

    ◆ SCIPincludePropRedcost()

    SCIP_RETCODE SCIPincludePropRedcost ( SCIP *  scip)

    creates the redcost propagator and includes it in SCIP

    Parameters
    scipSCIP data structure

    Definition at line 723 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 SCIP_DECL_PROPCOPY(), and SCIPincludeDefaultPlugins().

    ◆ SCIPincludePropRootredcost()

    SCIP_RETCODE SCIPincludePropRootredcost ( SCIP *  scip)

    creates the root node reduced cost strengthening propagator and includes it in SCIP

    Parameters
    scipSCIP data structure

    Definition at line 699 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 SCIP_DECL_PROPCOPY(), and SCIPincludeDefaultPlugins().

    ◆ SCIPincludePropSync()

    SCIP_RETCODE SCIPincludePropSync ( SCIP *  scip)

    creates the sync propagator and includes it in SCIP

    Parameters
    scipSCIP data structure

    Definition at line 297 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, SCIPallocBlockMemory, SCIPincludePropBasic(), SCIPsetPropExit(), SCIPsetPropFree(), SCIPsetPropInit(), and SCIPsetPropPresol().

    Referenced by SCIPcreateConcurrent().

    ◆ SCIPincludePropVbounds()

    SCIP_RETCODE SCIPincludePropVbounds ( SCIP *  scip)

    creates the vbounds propagator and includes it in SCIP

    Parameters
    scipSCIP data structure

    Definition at line 3125 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_CALL, SCIP_OKAY, SCIP_REAL_MAX, SCIPaddBoolParam(), SCIPaddRealParam(), SCIPallocBlockMemory, SCIPincludeEventhdlrBasic(), SCIPincludePropBasic(), SCIPsetPropCopy(), SCIPsetPropExitsol(), SCIPsetPropFree(), SCIPsetPropInitpre(), SCIPsetPropPresol(), SCIPsetPropResprop(), and TRUE.

    Referenced by SCIP_DECL_PROPCOPY(), and SCIPincludeDefaultPlugins().