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-2019 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 visit 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 #include "scip/def.h"
29 #include "scip/type_lp.h"
30 #include "scip/type_prop.h"
31 #include "scip/type_retcode.h"
32 #include "scip/type_scip.h"
33 #include "scip/type_var.h"
34 
35 #ifdef __cplusplus
36 extern "C" {
37 #endif
38 
39 /** creates the sync propagator and includes it in SCIP
40  *
41  * @ingroup PropagatorIncludes
42  */
43 extern
45  SCIP* scip /**< SCIP data structure */
46  );
47 
48 /**@addtogroup PROPAGATORS
49  *
50  * @{
51  */
52 
53 /** adds a boundchange to the sync propagator */
54 extern
56  SCIP* scip, /**< SCIP data structure */
57  SCIP_PROP* prop, /**< sync propagator */
58  SCIP_VAR* var, /**< variable for bound */
59  SCIP_Real val, /**< value of bound */
60  SCIP_BOUNDTYPE bndtype /**< type of bound */
61  );
62 
63 /** gives the total number of tightened bounds found by the sync propagator */
64 extern
66  SCIP_PROP* prop /**< sync propagator */
67  );
68 
69 /** gives the total number of tightened bounds for integer variables found by the sync propagator */
70 extern
72  SCIP_PROP* prop /**< sync propagator */
73  );
74 
75 /* @} */
76 
77 #ifdef __cplusplus
78 }
79 #endif
80 
81 #endif
enum SCIP_BoundType SCIP_BOUNDTYPE
Definition: type_lp.h:50
SCIP_Longint SCIPpropSyncGetNTightenedBnds(SCIP_PROP *prop)
Definition: prop_sync.c:353
enum SCIP_Retcode SCIP_RETCODE
Definition: type_retcode.h:53
type definitions for return codes for SCIP methods
type definitions for LP management
type definitions for SCIP&#39;s main datastructure
SCIP_RETCODE SCIPincludePropSync(SCIP *scip)
Definition: prop_sync.c:278
SCIP_RETCODE SCIPpropSyncAddBndchg(SCIP *scip, SCIP_PROP *prop, SCIP_VAR *var, SCIP_Real val, SCIP_BOUNDTYPE bndtype)
Definition: prop_sync.c:313
type definitions for problem variables
type definitions for propagators
SCIP_Longint SCIPpropSyncGetNTightenedIntBnds(SCIP_PROP *prop)
Definition: prop_sync.c:368
#define SCIP_Real
Definition: def.h:157
#define SCIP_Longint
Definition: def.h:142
common defines and data types used in all packages of SCIP