Scippy

SCIP

Solving Constraint Integer Programs

prop_sync.h File Reference

Detailed Description

propagator for applying global bound changes that were communicated by other concurrent solvers

Author
Robert Lion Gottwald

Definition in file prop_sync.h.

#include "scip/scip.h"

Go to the source code of this file.

Functions

SCIP_RETCODE SCIPincludePropSync (SCIP *scip)
 
SCIP_RETCODE SCIPpropSyncAddBndchg (SCIP *scip, SCIP_PROP *prop, SCIP_VAR *var, SCIP_Real val, SCIP_BOUNDTYPE bndtype)
 
SCIP_Longint SCIPpropSyncGetNTightenedBnds (SCIP_PROP *prop)
 
SCIP_Longint SCIPpropSyncGetNTightenedIntBnds (SCIP_PROP *prop)