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-2014 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 extern
38  SCIP* scip /**< SCIP data structure */
39  );
40 
41 /** returns TRUE if the propagator has the status that all variable lower and upper bounds are propagated */
42 extern
44  SCIP* scip /**< SCIP data structure */
45  );
46 
47 /** performs propagation of variables lower and upper bounds */
48 extern
50  SCIP* scip, /**< SCIP data structure */
51  SCIP_Bool force, /**< should domain changes for continuous variables be forced */
52  SCIP_RESULT* result /**< pointer to store result */
53  );
54 
55 #ifdef __cplusplus
56 }
57 #endif
58 
59 #endif
60