Scippy

    SCIP

    Solving Constraint Integer Programs

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

    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_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 335 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 2896 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 737 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 3323 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 1138 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 3723 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 722 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 698 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 288 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(), 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 3124 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().