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_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 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
scipSCIP data structure

Definition at line 321 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
scipSCIP data structure

Definition at line 2857 of file prop_genvbounds.c.

Referenced by SCIPincludeDefaultPlugins().

◆ SCIPincludePropNlobbt()

◆ SCIPincludePropObbt()

SCIP_EXPORT SCIP_RETCODE SCIPincludePropObbt ( SCIP scip)

creates the obbt propagator and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 3196 of file prop_obbt.c.

Referenced by SCIPincludeDefaultPlugins().

◆ SCIPincludePropProbing()

SCIP_EXPORT SCIP_RETCODE SCIPincludePropProbing ( SCIP scip)

creates the probing propagator and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 1135 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
scipSCIP data structure

Definition at line 3717 of file prop_pseudoobj.c.

Referenced by SCIPincludeDefaultPlugins().

◆ SCIPincludePropRedcost()

SCIP_EXPORT SCIP_RETCODE SCIPincludePropRedcost ( SCIP scip)

◆ SCIPincludePropRootredcost()

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

◆ 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 3154 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
scipSCIP data structure
forceshould domain changes for continuous variables be forced
resultpointer to store result

Definition at line 3171 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().