Toggle navigation
SCIP Optimization Suite
SCIP
SoPlex
ZIMPL
UG
GCG
Documentation
SCIP 9.2.0
SCIP 8.1.0
SCIP 7.0.3
SCIP 6.0.2
SCIP 5.0.1
SCIP 4.0.1
SCIP 3.2.1
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
40
SCIP_RETCODE
SCIPincludePropSync
(
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
51
SCIP_RETCODE
SCIPpropSyncAddBndchg
(
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
61
SCIP_Longint
SCIPpropSyncGetNTightenedBnds
(
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
67
SCIP_Longint
SCIPpropSyncGetNTightenedIntBnds
(
68
SCIP_PROP
* prop
/**< sync propagator */
69
);
70
71
/* @} */
72
73
#ifdef __cplusplus
74
}
75
#endif
76
77
#endif
SCIP_BOUNDTYPE
enum SCIP_BoundType SCIP_BOUNDTYPE
Definition:
type_lp.h:50
Scip
Definition:
struct_scip.h:58
SCIPpropSyncGetNTightenedBnds
SCIP_Longint SCIPpropSyncGetNTightenedBnds(SCIP_PROP *prop)
Definition:
prop_sync.c:345
SCIP_Var
Definition:
struct_var.h:197
SCIP_RETCODE
enum SCIP_Retcode SCIP_RETCODE
Definition:
type_retcode.h:53
SCIPincludePropSync
SCIP_RETCODE SCIPincludePropSync(SCIP *scip)
Definition:
prop_sync.c:270
SCIPpropSyncAddBndchg
SCIP_RETCODE SCIPpropSyncAddBndchg(SCIP *scip, SCIP_PROP *prop, SCIP_VAR *var, SCIP_Real val, SCIP_BOUNDTYPE bndtype)
Definition:
prop_sync.c:305
SCIP_Prop
Definition:
struct_prop.h:37
SCIPpropSyncGetNTightenedIntBnds
SCIP_Longint SCIPpropSyncGetNTightenedIntBnds(SCIP_PROP *prop)
Definition:
prop_sync.c:360
SCIP_Real
#define SCIP_Real
Definition:
def.h:135
SCIP_Longint
#define SCIP_Longint
Definition:
def.h:120
scip
Definition:
objbranchrule.h:33
scip.h
SCIP callable library.