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

scip	SCIP 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

scip	SCIP data structure

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

performs propagation of variables lower and upper bounds

Parameters

scip	SCIP data structure
force	should domain changes for continuous variables be forced
result	pointer to store result