Scippy

SCIP

Solving Constraint Integer Programs

presol_symmetry.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-2018 Konrad-Zuse-Zentrum */
7 /* fuer Informationstechnik Berlin */
8 /* */
9 /* SCIP is distributed under the terms of the ZIB Academic License. */
10 /* */
11 /* You should have received a copy of the ZIB Academic License */
12 /* along with SCIP; see the file COPYING. If not visit scip.zib.de. */
13 /* */
14 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
15 
16 /**@file presol_symmetry.h
17  * @ingroup PRESOLVERS
18  * @brief presolver for storing symmetry information about current problem
19  * @author Marc Pfetsch
20  * @author Thomas Rehn
21  */
22 
23 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
24 
25 #ifndef __SCIP_PRESOL_SYMMETRY_H_
26 #define __SCIP_PRESOL_SYMMETRY_H_
27 
28 #include <scip/scip.h>
29 
30 #ifdef __cplusplus
31 extern "C" {
32 #endif
33 
34 #include <symmetry/type_symmetry.h>
35 
36 /** include symmetry presolver */
37 extern
39  SCIP* scip /**< SCIP data structure */
40  );
41 
42 /** return symmetry group generators */
43 extern
45  SCIP* scip, /**< SCIP data structure */
46  SYM_SPEC symspecrequire, /**< symmetry specification for which we need to compute symmetries */
47  SYM_SPEC symspecrequirefixed,/**< symmetry specification of variables which must be fixed by symmetries */
48  SCIP_Bool recompute, /**< Have symmetries already been computed? */
49  int* npermvars, /**< pointer to store number of variables for permutations */
50  SCIP_VAR*** permvars, /**< pointer to store variables on which permutations act */
51  int* nperms, /**< pointer to store number of permutations */
52  int*** perms, /**< pointer to store permutation generators as (nperms x npermvars) matrix */
53  SCIP_Real* log10groupsize, /**< pointer to store log10 of group size (or NULL) */
54  SCIP_Bool* binvaraffected /**< pointer to store whether binary variables are affected */
55  );
56 
57 /** return objective coefficients of permuted variables at time of symmetry computation */
58 extern
60  SCIP* scip, /**< SCIP data structure */
61  SCIP_Real** permvarsobj /**< pointer to store objective coefficients of permuted variables (NULL if not available) */
62  );
63 
64 #ifdef __cplusplus
65 }
66 #endif
67 
68 #endif
SCIP_RETCODE SCIPincludePresolSymmetry(SCIP *scip)
enum SCIP_Retcode SCIP_RETCODE
Definition: type_retcode.h:53
SCIP_RETCODE SCIPgetGeneratorsSymmetry(SCIP *scip, SYM_SPEC symspecrequire, SYM_SPEC symspecrequirefixed, SCIP_Bool recompute, int *npermvars, SCIP_VAR ***permvars, int *nperms, int ***perms, SCIP_Real *log10groupsize, SCIP_Bool *binvaraffected)
#define SCIP_Bool
Definition: def.h:62
uint32_t SYM_SPEC
Definition: type_symmetry.h:37
SCIP_RETCODE SCIPgetPermvarsObjSymmetry(SCIP *scip, SCIP_Real **permvarsobj)
type definitions for symmetry computations
#define SCIP_Real
Definition: def.h:150
SCIP callable library.