Scippy

SCIP

Solving Constraint Integer Programs

prop_vbounds.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_vbounds.h
17  * @ingroup PROPAGATORS
18  * @brief variable upper and lower bound propagator
19  * @author Stefan Heinz
20  * @author Jens Schulz
21  */
22 
23 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
24 
25 #ifndef __SCIP_PROP_VBOUNDS_H__
26 #define __SCIP_PROP_VBOUNDS_H__
27 
28 
29 #include "scip/scip.h"
30 
31 #ifdef __cplusplus
32 extern "C" {
33 #endif
34 
35 /** creates the vbounds 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 /** returns TRUE if the propagator has the status that all variable lower and upper bounds are propagated */
50 extern
52  SCIP* scip /**< SCIP data structure */
53  );
54 
55 /** performs propagation of variables lower and upper bounds */
56 extern
58  SCIP* scip, /**< SCIP data structure */
59  SCIP_Bool force, /**< should domain changes for continuous variables be forced */
60  SCIP_RESULT* result /**< pointer to store result */
61  );
62 
63 /* @} */
64 
65 #ifdef __cplusplus
66 }
67 #endif
68 
69 #endif
enum SCIP_Result SCIP_RESULT
Definition: type_result.h:52
SCIP_RETCODE SCIPexecPropVbounds(SCIP *scip, SCIP_Bool force, SCIP_RESULT *result)
enum SCIP_Retcode SCIP_RETCODE
Definition: type_retcode.h:53
SCIP_Bool SCIPisPropagatedVbounds(SCIP *scip)
SCIP_RETCODE SCIPincludePropVbounds(SCIP *scip)
#define SCIP_Bool
Definition: def.h:61
SCIP callable library.