type_implics.h File Reference
Detailed Description
type definitions for implications, variable bounds, and cliques
Definition in file type_implics.h.
Go to the source code of this file.
Typedefs | |
typedef struct SCIP_VBounds | SCIP_VBOUNDS |
typedef struct SCIP_Implics | SCIP_IMPLICS |
typedef struct SCIP_Clique | SCIP_CLIQUE |
typedef struct SCIP_CliqueTable | SCIP_CLIQUETABLE |
typedef struct SCIP_CliqueList | SCIP_CLIQUELIST |
Typedef Documentation
◆ SCIP_VBOUNDS
typedef struct SCIP_VBounds SCIP_VBOUNDS |
variable bounds of a variable x in the form x <= c*y or x >= c*y
Definition at line 30 of file type_implics.h.
◆ SCIP_IMPLICS
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
Definition at line 31 of file type_implics.h.
◆ SCIP_CLIQUE
typedef struct SCIP_Clique SCIP_CLIQUE |
single clique, stating that at most one of the binary variables can be fixed to the corresponding value
Definition at line 32 of file type_implics.h.
◆ SCIP_CLIQUETABLE
typedef struct SCIP_CliqueTable SCIP_CLIQUETABLE |
collection of cliques
Definition at line 34 of file type_implics.h.
◆ SCIP_CLIQUELIST
typedef struct SCIP_CliqueList SCIP_CLIQUELIST |
list of cliques for a single variable
Definition at line 35 of file type_implics.h.