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-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_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 #include "scip/def.h"
29 #include "scip/type_result.h"
30 #include "scip/type_retcode.h"
31 #include "scip/type_scip.h"
32 
33 #ifdef __cplusplus
34 extern "C" {
35 #endif
36 
37 /** creates the vbounds propagator and includes it in SCIP
38  *
39  * @ingroup PropagatorIncludes
40  */
41 extern
43  SCIP* scip /**< SCIP data structure */
44  );
45 
46 /**@addtogroup PROPAGATORS
47  *
48  * @{
49  */
50 
51 /** returns TRUE if the propagator has the status that all variable lower and upper bounds are propagated */
52 extern
54  SCIP* scip /**< SCIP data structure */
55  );
56 
57 /** performs propagation of variables lower and upper bounds */
58 extern
60  SCIP* scip, /**< SCIP data structure */
61  SCIP_Bool force, /**< should domain changes for continuous variables be forced */
62  SCIP_RESULT* result /**< pointer to store result */
63  );
64 
65 /* @} */
66 
67 #ifdef __cplusplus
68 }
69 #endif
70 
71 #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)
type definitions for return codes for SCIP methods
SCIP_RETCODE SCIPincludePropVbounds(SCIP *scip)
type definitions for SCIP&#39;s main datastructure
#define SCIP_Bool
Definition: def.h:69
result codes for SCIP callback methods
common defines and data types used in all packages of SCIP