Scippy

SCIP

Solving Constraint Integer Programs

prop_vbounds.h File Reference

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
SCIP_Bool SCIPisPropagatedVbounds ( SCIP scip)

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

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