type_symmetry.h
Go to the documentation of this file.
31/*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
54#define SYM_COMPUTETIMING_BEFOREPRESOL SYM_TIMING_BEFOREPRESOL /**< compute symmetries before presolving */
55#define SYM_COMPUTETIMING_DURINGPRESOL SYM_TIMING_DURINGPRESOL /**< compute symmetries during presolving */
56#define SYM_COMPUTETIMING_AFTERPRESOL SYM_TIMING_AFTERPRESOL /**< compute symmetries after presolving */
63};
73};
94};
112};
120 SCIP_LEADERTIEBREAKRULE_MAXCONFLICTSINORBIT = 2 /**< orbit with maximum number of vars in conflict with leader */
121};
130};
137 SCIP_ORBITOPETYPE_FULL = 0, /**< constraint is a full orbitope constraint: rowsum(x) unrestricted */
138 SCIP_ORBITOPETYPE_PARTITIONING = 1, /**< constraint is a partitioning orbitope constraint: rowsum(x) == 1 */
139 SCIP_ORBITOPETYPE_PACKING = 2 /**< constraint is a packing orbitope constraint: rowsum(x) <= 1 */
140};
SCIP callable library.
@ SCIP_LEADERRULE_MAXCONFLICTSINORBIT
Definition: type_symmetry.h:111
@ SCIP_LEADERTIEBREAKRULE_MAXCONFLICTSINORBIT
Definition: type_symmetry.h:120