SCIP Doxygen Documentation
Loading...
Searching...
No Matches
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-2024 Zuse Institute Berlin (ZIB) */
7
/* */
8
/* Licensed under the Apache License, Version 2.0 (the "License"); */
9
/* you may not use this file except in compliance with the License. */
10
/* You may obtain a copy of the License at */
11
/* */
12
/* http://www.apache.org/licenses/LICENSE-2.0 */
13
/* */
14
/* Unless required by applicable law or agreed to in writing, software */
15
/* distributed under the License is distributed on an "AS IS" BASIS, */
16
/* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. */
17
/* See the License for the specific language governing permissions and */
18
/* limitations under the License. */
19
/* */
20
/* You should have received a copy of the Apache-2.0 license */
21
/* along with SCIP; see the file LICENSE. If not visit scipopt.org. */
22
/* */
23
/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
24
25
/**@file type_implics.h
26
* @brief type definitions for implications, variable bounds, and cliques
27
* @author Tobias Achterberg
28
*/
29
30
/*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
31
32
#ifndef __SCIP_TYPE_IMPLICS_H__
33
#define __SCIP_TYPE_IMPLICS_H__
34
35
#ifdef __cplusplus
36
extern
"C"
{
37
#endif
38
39
typedef
struct
SCIP_VBounds
SCIP_VBOUNDS
;
/**< variable bounds of a variable x in the form x <= c*y or x >= c*y */
40
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 */
41
typedef
struct
SCIP_Clique
SCIP_CLIQUE
;
/**< single clique, stating that at most one of the binary variables can be fixed
42
* to the corresponding value */
43
typedef
struct
SCIP_CliqueTable
SCIP_CLIQUETABLE
;
/**< collection of cliques */
44
typedef
struct
SCIP_CliqueList
SCIP_CLIQUELIST
;
/**< list of cliques for a single variable */
45
46
#ifdef __cplusplus
47
}
48
#endif
49
50
#endif
SCIP_CliqueList
Definition
struct_implics.h:90
SCIP_CliqueTable
Definition
struct_implics.h:98
SCIP_Clique
Definition
struct_implics.h:76
SCIP_Implics
Definition
struct_implics.h:63
SCIP_VBounds
Definition
struct_implics.h:49
SCIP_CLIQUELIST
struct SCIP_CliqueList SCIP_CLIQUELIST
Definition
type_implics.h:44
SCIP_IMPLICS
struct SCIP_Implics SCIP_IMPLICS
Definition
type_implics.h:40
SCIP_CLIQUE
struct SCIP_Clique SCIP_CLIQUE
Definition
type_implics.h:41
SCIP_VBOUNDS
struct SCIP_VBounds SCIP_VBOUNDS
Definition
type_implics.h:39
SCIP_CLIQUETABLE
struct SCIP_CliqueTable SCIP_CLIQUETABLE
Definition
type_implics.h:43
type_implics.h
© 2002-2024 by Zuse Institute Berlin (ZIB),
Imprint
Generated by
1.13.2