type_symmetry.h
Go to the documentation of this file.
30 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
76 typedef struct SYM_Vartype SYM_VARTYPE; /**< data of variables that are considered to be equivalent */
77 typedef struct SYM_Optype SYM_OPTYPE; /**< data of operators that are considered to be equivalent */
78 typedef struct SYM_Consttype SYM_CONSTTYPE; /**< data of constants that are considered to be equivalent */
79 typedef struct SYM_Rhstype SYM_RHSTYPE; /**< data of constraint sides that are considered to be equivalent */
80 typedef struct SYM_Matrixdata SYM_MATRIXDATA;/**< data for symmetry group computation on linear constraints */
81 typedef struct SYM_Exprdata SYM_EXPRDATA; /**< data for symmetry group computation on nonlinear constraints */
98 SCIP_LEADERTIEBREAKRULE_MAXCONFLICTSINORBIT = 2 /**< orbit with maximum number of vars in conflict with leader */
115 SCIP_ORBITOPETYPE_FULL = 0, /**< constraint is a full orbitope constraint: rowsum(x) unrestricted */
116 SCIP_ORBITOPETYPE_PARTITIONING = 1, /**< constraint is a partitioning orbitope constraint: rowsum(x) == 1 */
117 SCIP_ORBITOPETYPE_PACKING = 2 /**< constraint is a packing orbitope constraint: rowsum(x) <= 1 */
Definition: type_symmetry.h:63
Definition: type_symmetry.h:56
Definition: type_symmetry.h:87
Definition: struct_symmetry.h:63
Definition: type_symmetry.h:57
Definition: type_symmetry.h:115
Definition: type_symmetry.h:62
Definition: struct_symmetry.h:55
Definition: struct_symmetry.h:70
Definition: type_symmetry.h:89
Definition: type_symmetry.h:61
Definition: type_symmetry.h:86
Definition: struct_symmetry.h:44
Definition: type_symmetry.h:58
Definition: type_symmetry.h:106
Definition: type_symmetry.h:105
Definition: type_symmetry.h:104
Definition: type_symmetry.h:117
Definition: struct_symmetry.h:78
Definition: struct_symmetry.h:101
Definition: type_symmetry.h:107
SCIP callable library.
Definition: type_symmetry.h:59
Definition: type_symmetry.h:60