compute_symmetry.h File Reference

Detailed Description

interface for symmetry computations

Author

Marc Pfetsch

Definition in file compute_symmetry.h.

#include "scip/scip.h"
#include "symmetry/struct_symmetry.h"

Go to the source code of this file.

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

Function Documentation

SYMcanComputeSymmetry()

SCIP_EXPORT SCIP_Bool SYMcanComputeSymmetry

(

void

)

return whether symmetry can be computed

Definition at line 284 of file compute_symmetry_bliss.cpp.

References FALSE, and TRUE.

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

SYMsymmetryGetName()

SCIP_EXPORT const char* SYMsymmetryGetName

(

void

)

return name of external program used to compute generators

Definition at line 293 of file compute_symmetry_bliss.cpp.

References blissname.

Referenced by SCIPincludePropSymmetry().

SYMsymmetryGetDesc()

SCIP_EXPORT const char* SYMsymmetryGetDesc

(

void

)

return description of external program used to compute generators

Definition at line 304 of file compute_symmetry_bliss.cpp.

Referenced by SCIPincludePropSymmetry().

SYMcomputeSymmetryGenerators()

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

compute generators of symmetry group

Parameters

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 310 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, NULL, BLISS_Data::perms, BLISS_Data::scip, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VERBLEVEL_MINIMAL, SCIPdebugMsg, and SCIPverbMessage().

Referenced by computeSymmetryGroup().