SCIP Doxygen Documentation
Loading...
Searching...
No Matches
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-2023 Zuse Institute Berlin (ZIB) */
7
/* */
8
/* Licensed under the Apache License, Version 2.0 (the "License"); */
9
/* you may not use this file except in compliance with the License. */
10
/* You may obtain a copy of the License at */
11
/* */
12
/* http://www.apache.org/licenses/LICENSE-2.0 */
13
/* */
14
/* Unless required by applicable law or agreed to in writing, software */
15
/* distributed under the License is distributed on an "AS IS" BASIS, */
16
/* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. */
17
/* See the License for the specific language governing permissions and */
18
/* limitations under the License. */
19
/* */
20
/* You should have received a copy of the Apache-2.0 license */
21
/* along with SCIP; see the file LICENSE. If not visit scipopt.org. */
22
/* */
23
/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
24
25
/**@file compute_symmetry.h
26
* @brief interface for symmetry computations
27
* @author Marc Pfetsch
28
*/
29
30
/*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
31
32
#ifndef __SCIP_COMPUTE_SYMMETRY_H_
33
#define __SCIP_COMPUTE_SYMMETRY_H_
34
35
#include "
scip/scip.h
"
36
37
#ifdef __cplusplus
38
extern
"C"
{
39
#endif
40
41
#include "
symmetry/struct_symmetry.h
"
42
43
/** return whether symmetry can be computed */
44
SCIP_EXPORT
45
SCIP_Bool
SYMcanComputeSymmetry
(
void
);
46
47
/** return name of external program used to compute generators */
48
SCIP_EXPORT
49
const
char
*
SYMsymmetryGetName
(
void
);
50
51
/** return description of external program used to compute generators */
52
SCIP_EXPORT
53
const
char
*
SYMsymmetryGetDesc
(
void
);
54
55
/** return name of additional external program used for computing symmetries */
56
SCIP_EXPORT
57
const
char
*
SYMsymmetryGetAddName
(
void
);
58
59
/** return description of additional external program used to compute symmetries */
60
SCIP_EXPORT
61
const
char
*
SYMsymmetryGetAddDesc
(
void
);
62
63
/** compute generators of symmetry group */
64
SCIP_EXPORT
65
SCIP_RETCODE
SYMcomputeSymmetryGenerators
(
66
SCIP
*
scip
,
/**< SCIP pointer */
67
int
maxgenerators,
/**< maximal number of generators constructed (= 0 if unlimited) */
68
SYM_MATRIXDATA
*
matrixdata
,
/**< data for MIP matrix */
69
SYM_EXPRDATA
* exprdata,
/**< data for nonlinear constraints */
70
int
* nperms,
/**< pointer to store number of permutations */
71
int
* nmaxperms,
/**< pointer to store maximal number of permutations (needed for freeing storage) */
72
int
*** perms,
/**< pointer to store permutation generators as (nperms x npermvars) matrix */
73
SCIP_Real* log10groupsize,
/**< pointer to store log10 of size of group */
74
SCIP_Real*
symcodetime
/**< pointer to store the time for symmetry code */
75
);
76
77
#ifdef __cplusplus
78
}
79
#endif
80
81
#endif
SYMsymmetryGetName
const char * SYMsymmetryGetName(void)
Definition
compute_symmetry_bliss.cpp:1001
SYMsymmetryGetAddName
const char * SYMsymmetryGetAddName(void)
Definition
compute_symmetry_bliss.cpp:1013
SYMcanComputeSymmetry
SCIP_Bool SYMcanComputeSymmetry(void)
Definition
compute_symmetry_bliss.cpp:979
SYMcomputeSymmetryGenerators
SCIP_RETCODE SYMcomputeSymmetryGenerators(SCIP *scip, int maxgenerators, SYM_MATRIXDATA *matrixdata, SYM_EXPRDATA *exprdata, int *nperms, int *nmaxperms, int ***perms, SCIP_Real *log10groupsize, SCIP_Real *symcodetime)
Definition
compute_symmetry_bliss.cpp:1025
SYMsymmetryGetDesc
const char * SYMsymmetryGetDesc(void)
Definition
compute_symmetry_bliss.cpp:1007
SYMsymmetryGetAddDesc
const char * SYMsymmetryGetAddDesc(void)
Definition
compute_symmetry_bliss.cpp:1019
i
int i
Definition
heur_rootsoldiving.c:212
scip
Definition
objbenders.h:44
scip.h
SCIP callable library.
SYM_Exprdata
Definition
struct_symmetry.h:102
SYM_Matrixdata
Definition
struct_symmetry.h:79
Scip
Definition
struct_scip.h:69
struct_symmetry.h
structs for symmetry computations
SCIP_RETCODE
enum SCIP_Retcode SCIP_RETCODE
Definition
type_retcode.h:63
symmetry
compute_symmetry.h
© 2002-2023 by Zuse Institute Berlin (ZIB),
Imprint
Generated by
1.10.0