Scippy

SCIP

Solving Constraint Integer Programs

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/def.h"
#include "scip/type_lp.h"
#include "scip/type_prop.h"
#include "scip/type_retcode.h"
#include "scip/type_scip.h"
#include "scip/type_var.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)