Solving Constraint Integer Programs

compute_symmetry.h File Reference

Detailed Description

interface for symmetry computations

Marc Pfetsch

Definition in file compute_symmetry.h.

Go to the source code of this file.


SCIP_Bool SYMcanComputeSymmetry (void)
const char * SYMsymmetryGetName (void)
const char * SYMsymmetryGetDesc (void)
SCIP_RETCODE SYMcomputeSymmetryGenerators (SCIP *scip, int maxgenerators, SYM_MATRIXDATA *matrixdata, SYM_EXPRDATA *exprdata, int *nperms, int *nmaxperms, int ***perms, SCIP_Real *log10groupsize)

Function Documentation

◆ SYMcanComputeSymmetry()

SCIP_Bool SYMcanComputeSymmetry ( void  )

return whether symmetry can be computed

Definition at line 950 of file compute_symmetry_bliss.cpp.

References FALSE, initStaticBlissName(), and TRUE.

Referenced by computeSymmetryGroup(), determineSymmetry(), and SCIPincludePropSymmetry().

◆ SYMsymmetryGetName()

const char* SYMsymmetryGetName ( void  )

return name of external program used to compute generators

Definition at line 974 of file compute_symmetry_bliss.cpp.

References blissname.

Referenced by SCIPincludePropSymmetry().

◆ SYMsymmetryGetDesc()

const char* SYMsymmetryGetDesc ( void  )

return description of external program used to compute generators

Definition at line 980 of file compute_symmetry_bliss.cpp.

Referenced by SCIPincludePropSymmetry().

◆ SYMcomputeSymmetryGenerators()

SCIP_RETCODE SYMcomputeSymmetryGenerators ( SCIP scip,
int  maxgenerators,
SYM_MATRIXDATA matrixdata,
SYM_EXPRDATA exprdata,
int *  nperms,
int *  nmaxperms,
int ***  perms,
SCIP_Real log10groupsize 

compute generators of symmetry group

scipSCIP pointer
maxgeneratorsmaximal number of generators constructed (= 0 if unlimited)
matrixdatadata for MIP matrix
exprdatadata for nonlinear constraints
npermspointer to store number of permutations
nmaxpermspointer to store maximal number of permutations (needed for freeing storage)
permspointer to store permutation generators as (nperms x npermvars) matrix
log10groupsizepointer to store size of group

Definition at line 986 of file compute_symmetry_bliss.cpp.

References blisshook(), createVariableNodes(), FALSE, fillGraphByLinearConss(), fillGraphByNonlinearConss(), BLISS_Data::maxgenerators, BLISS_Data::nmaxperms, nnodes, BLISS_Data::nperms, BLISS_Data::npermvars, SYM_Matrixdata::npermvars, NULL, SYM_Matrixdata::nuniquevars, BLISS_Data::perms, BLISS_Data::scip, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VERBLEVEL_MINIMAL, SCIPdebugMsg, and SCIPverbMessage().

Referenced by computeSymmetryGroup().