propagator for applying global bound changes that were communicated by other concurrent solvers
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) |