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().