Scippy

    SCIP

    Solving Constraint Integer Programs

    Detailed Description

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

    Author
    Leona 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)