Scippy

SCIP

Solving Constraint Integer Programs

Functions
prop_vbounds.h File Reference
Propagators

Detailed Description

variable upper and lower bound propagator

Author
Stefan Heinz
Jens Schulz

Definition in file prop_vbounds.h.

#include "scip/scip.h"

Go to the source code of this file.

Functions

SCIP_RETCODE SCIPincludePropVbounds (SCIP *scip)
 
SCIP_Bool SCIPisPropagatedVbounds (SCIP *scip)
 
SCIP_RETCODE SCIPexecPropVbounds (SCIP *scip, SCIP_Bool force, SCIP_RESULT *result)
 

Function Documentation

SCIP_RETCODE SCIPincludePropVbounds ( SCIP *  scip)

creates the vbounds propagator and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 1887 of file prop_vbounds.c.

References DEFAULT_DOTOPOSORT, 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_PRIORITY, PROP_TIMING, resetPropdata(), SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPallocMemory, SCIPincludeEventhdlrBasic(), SCIPincludePropBasic(), SCIPsetPropCopy(), SCIPsetPropExitsol(), SCIPsetPropFree(), and SCIPsetPropResprop().

Referenced by SCIP_DECL_PROPCOPY(), and SCIPincludeDefaultPlugins().

SCIP_Bool SCIPisPropagatedVbounds ( SCIP *  scip)

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

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

Parameters
scipSCIP data structure

Definition at line 1938 of file prop_vbounds.c.

References NULL, PROP_NAME, SCIPfindProp(), SCIPpqueueNElems(), and SCIPpropGetData().

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 1955 of file prop_vbounds.c.

References NULL, PROP_NAME, propagateVbounds(), SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_OKAY, SCIP_REDUCEDDOM, and SCIPfindProp().