Scippy

SCIP

Solving Constraint Integer Programs

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 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)
 

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 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().

◆ SCIPincludePropGenvbounds()

SCIP_RETCODE SCIPincludePropGenvbounds ( SCIP scip)

creates the genvbounds propagator and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 2775 of file prop_genvbounds.c.

Referenced by SCIPincludeDefaultPlugins().

◆ SCIPincludePropNlobbt()

◆ SCIPincludePropObbt()

SCIP_RETCODE SCIPincludePropObbt ( SCIP scip)

creates the obbt propagator and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 3200 of file prop_obbt.c.

Referenced by SCIPincludeDefaultPlugins().

◆ SCIPincludePropOrbitalfixing()

◆ SCIPincludePropProbing()

SCIP_RETCODE SCIPincludePropProbing ( SCIP scip)

creates the probing propagator and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 1117 of file prop_probing.c.

Referenced by 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 3686 of file prop_pseudoobj.c.

Referenced by SCIPincludeDefaultPlugins().

◆ SCIPincludePropRedcost()

SCIP_RETCODE SCIPincludePropRedcost ( SCIP scip)

◆ 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 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().

◆ SCIPincludePropSync()

◆ SCIPincludePropVbounds()

◆ SCIPisPropagatedVbounds()

SCIP_Bool SCIPisPropagatedVbounds ( SCIP scip)

returns TRUE if the propagator has the status that all variable lower and upper bounds are propgated

Parameters
scipSCIP data structure

Definition at line 3132 of file prop_vbounds.c.

References 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
scipSCIP data structure
forceshould domain changes for continuous variables be forced
resultpointer 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().