Scippy

SCIP

Solving Constraint Integer Programs

compute_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-2019 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 compute_symmetry.h
17  * @brief interface for symmetry computations
18  * @author Marc Pfetsch
19  */
20 
21 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
22 
23 #ifndef __SCIP_COMPUTE_SYMMETRY_H_
24 #define __SCIP_COMPUTE_SYMMETRY_H_
25 
26 #include "scip/scip.h"
27 
28 #ifdef __cplusplus
29 extern "C" {
30 #endif
31 
33 
34 /** return whether symmetry can be computed */
35 extern
37 
38 /** return name of external program used to compute generators */
39 extern
40 const char* SYMsymmetryGetName(void);
41 
42 /** return description of external program used to compute generators */
43 extern
44 const char* SYMsymmetryGetDesc(void);
45 
46 /** compute generators of symmetry group */
47 extern
49  SCIP* scip, /**< SCIP pointer */
50  int maxgenerators, /**< maximal number of generators constructed (= 0 if unlimited) */
51  SYM_MATRIXDATA* matrixdata, /**< data for MIP matrix */
52  int* nperms, /**< pointer to store number of permutations */
53  int* nmaxperms, /**< pointer to store maximal number of permutations (needed for freeing storage) */
54  int*** perms, /**< pointer to store permutation generators as (nperms x npermvars) matrix */
55  SCIP_Real* log10groupsize /**< pointer to store log10 of size of group */
56  );
57 
58 #ifdef __cplusplus
59 }
60 #endif
61 
62 #endif
enum SCIP_Retcode SCIP_RETCODE
Definition: type_retcode.h:53
structs for symmetry computations
#define SCIP_Bool
Definition: def.h:69
SCIP_Bool SYMcanComputeSymmetry(void)
SCIP_RETCODE SYMcomputeSymmetryGenerators(SCIP *scip, int maxgenerators, SYM_MATRIXDATA *matrixdata, int *nperms, int *nmaxperms, int ***perms, SCIP_Real *log10groupsize)
const char * SYMsymmetryGetName(void)
#define SCIP_Real
Definition: def.h:157
const char * SYMsymmetryGetDesc(void)
SCIP callable library.