All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages
type_implics.h
Go to the documentation of this file.
21 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
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
|