Scippy

SCIP

Solving Constraint Integer Programs

type_implics.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-2018 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 type_implics.h
17  * @brief type definitions for implications, variable bounds, and cliques
18  * @author Tobias Achterberg
19  */
20 
21 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
22 
23 #ifndef __SCIP_TYPE_IMPLICS_H__
24 #define __SCIP_TYPE_IMPLICS_H__
25 
26 #ifdef __cplusplus
27 extern "C" {
28 #endif
29 
30 typedef struct SCIP_VBounds SCIP_VBOUNDS; /**< variable bounds of a variable x in the form x <= c*y or x >= c*y */
31 typedef struct SCIP_Implics SCIP_IMPLICS; /**< implications in the form x <= 0 or x >= 1 ==> y <= b or y >= b for x binary, NULL if x nonbinary */
32 typedef struct SCIP_Clique SCIP_CLIQUE; /**< single clique, stating that at most one of the binary variables can be fixed
33  * to the corresponding value */
34 typedef struct SCIP_CliqueTable SCIP_CLIQUETABLE; /**< collection of cliques */
35 typedef struct SCIP_CliqueList SCIP_CLIQUELIST; /**< list of cliques for a single variable */
36 
37 #ifdef __cplusplus
38 }
39 #endif
40 
41 #endif