Scippy

SCIP

Solving Constraint Integer Programs

prop_sync.h
Go to the documentation of this file.
1 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
2 /* */
3 /* This file is part of the program and library */
4 /* SCIP --- Solving Constraint Integer Programs */
5 /* */
6 /* Copyright (C) 2002-2017 Konrad-Zuse-Zentrum */
7 /* fuer Informationstechnik Berlin */
8 /* */
9 /* SCIP is distributed under the terms of the ZIB Academic License. */
10 /* */
11 /* You should have received a copy of the ZIB Academic License */
12 /* along with SCIP; see the file COPYING. If not email to scip@zib.de. */
13 /* */
14 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
15 
16 /**@file prop_sync.h
17  * @ingroup PROPAGATORS
18  * @brief propagator for applying global bound changes that were communicated by other
19  * concurrent solvers
20  * @author Robert Lion Gottwald
21  */
22 
23 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
24 
25 #ifndef __SCIP_PROP_SYNC_H__
26 #define __SCIP_PROP_SYNC_H__
27 
28 
29 #include "scip/scip.h"
30 
31 #ifdef __cplusplus
32 extern "C" {
33 #endif
34 
35 /** creates the sync propagator and includes it in SCIP
36  *
37  * @ingroup PropagatorIncludes
38  */
39 extern
41  SCIP* scip /**< SCIP data structure */
42  );
43 
44 /**@addtogroup PROPAGATORS
45  *
46  * @{
47  */
48 
49 /** adds a boundchange to the sync propagator */
50 extern
52  SCIP* scip, /**< SCIP data structure */
53  SCIP_PROP* prop, /**< sync propagator */
54  SCIP_VAR* var, /**< variable for bound */
55  SCIP_Real val, /**< value of bound */
56  SCIP_BOUNDTYPE bndtype /**< type of bound */
57  );
58 
59 /** gives the total number of tightened bounds found by the sync propagator */
60 extern
62  SCIP_PROP* prop /**< sync propagator */
63  );
64 
65 /** gives the total number of tightened bounds for integer variables found by the sync propagator */
66 extern
68  SCIP_PROP* prop /**< sync propagator */
69  );
70 
71 /* @} */
72 
73 #ifdef __cplusplus
74 }
75 #endif
76 
77 #endif
enum SCIP_BoundType SCIP_BOUNDTYPE
Definition: type_lp.h:50
SCIP_Longint SCIPpropSyncGetNTightenedBnds(SCIP_PROP *prop)
Definition: prop_sync.c:345
enum SCIP_Retcode SCIP_RETCODE
Definition: type_retcode.h:53
SCIP_RETCODE SCIPincludePropSync(SCIP *scip)
Definition: prop_sync.c:270
SCIP_RETCODE SCIPpropSyncAddBndchg(SCIP *scip, SCIP_PROP *prop, SCIP_VAR *var, SCIP_Real val, SCIP_BOUNDTYPE bndtype)
Definition: prop_sync.c:305
SCIP_Longint SCIPpropSyncGetNTightenedIntBnds(SCIP_PROP *prop)
Definition: prop_sync.c:360
#define SCIP_Real
Definition: def.h:135
#define SCIP_Longint
Definition: def.h:120
SCIP callable library.