interface for symmetry computations
Definition in file compute_symmetry.h.
Go to the source code of this file.
Functions | |
| SCIP_Bool | SYMcanComputeSymmetry (void) |
| const char * | SYMsymmetryGetName (void) |
| const char * | SYMsymmetryGetDesc (void) |
| SCIP_RETCODE | SYMcomputeSymmetryGenerators (SCIP *scip, int maxgenerators, SYM_MATRIXDATA *matrixdata, int *nperms, int *nmaxperms, int ***perms, SCIP_Real *log10groupsize) |
| SCIP_Bool SYMcanComputeSymmetry | ( | void | ) |
return whether symmetry can be computed
Definition at line 271 of file compute_symmetry_bliss.cpp.
Referenced by computeSymmetryGroup(), determineSymmetry(), and SCIPincludePresolSymmetry().
| const char* SYMsymmetryGetName | ( | void | ) |
return name of external program used to compute generators
Definition at line 280 of file compute_symmetry_bliss.cpp.
References blissname.
Referenced by SCIPincludePresolSymmetry().
| const char* SYMsymmetryGetDesc | ( | void | ) |
return description of external program used to compute generators
Definition at line 291 of file compute_symmetry_bliss.cpp.
Referenced by SCIPincludePresolSymmetry().
| SCIP_RETCODE SYMcomputeSymmetryGenerators | ( | SCIP * | scip, |
| int | maxgenerators, | ||
| SYM_MATRIXDATA * | matrixdata, | ||
| int * | nperms, | ||
| int * | nmaxperms, | ||
| int *** | perms, | ||
| SCIP_Real * | log10groupsize | ||
| ) |
compute generators of symmetry group
| scip | SCIP pointer |
| maxgenerators | maximal number of generators constructed (= 0 if unlimited) |
| matrixdata | data for MIP matrix |
| nperms | pointer to store number of permutations |
| nmaxperms | pointer to store maximal number of permutations (needed for freeing storage) |
| perms | pointer to store permutation generators as (nperms x npermvars) matrix |
| log10groupsize | pointer to store size of group |
Definition at line 297 of file compute_symmetry_bliss.cpp.
References blisshook(), FALSE, fillGraphByColoredCoefficients(), BLISS_Data::maxgenerators, BLISS_Data::nmaxperms, nnodes, BLISS_Data::nperms, BLISS_Data::npermvars, SYM_Matrixdata::npermvars, BLISS_Data::perms, BLISS_Data::scip, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VERBLEVEL_MINIMAL, SCIPallocBlockMemoryArray, SCIPdebugMsg, and SCIPverbMessage().
Referenced by computeSymmetryGroup().